First-Order Encodings for Modular Nonmonotonic Datalog Programs.
Minh Dao-TranThomas EiterMichael FinkThomas KrennwallnerPublished in: Datalog (2010)
Keyphrases
- datalog programs
- model theoretic
- deductive databases
- fixpoint
- query answering
- fixpoint semantics
- logic programming
- nonmonotonic reasoning
- inconsistent databases
- first order logic
- conjunctive queries
- magic sets
- recursive queries
- logic programs
- data complexity
- horn clauses
- default logic
- special case
- integrity constraints
- incomplete information
- description logics
- modal logic
- query optimization
- databases
- disjunctive logic programming
- data integration
- query containment
- decision procedures
- programming language
- default reasoning
- query evaluation