DL-LITER in the Light of Propositional Logic for Decentralized Data Management.
Nada AbdallahFrançois GoasdouéMarie-Christine RoussetPublished in: IJCAI (2009)
Keyphrases
- propositional logic
- data management
- first order logic
- belief revision
- database management systems
- database systems
- database
- lattice theory
- quantified boolean formulae
- data warehouse
- query processing
- possibilistic logic
- propositional satisfiability
- satisfiability testing
- np hard
- davis putnam
- multi agent
- horn logic
- valued logic
- databases