Keyphrases
- datalog programs
- deductive databases
- containment of conjunctive queries
- logic programming
- disjunctive datalog
- expressive power
- fixpoint
- datalog programs with negation
- logic programs
- query answering
- integrity constraints
- disjunctive logic programming
- fixpoint semantics
- existentially quantified
- monotonicity constraints
- transitive closure
- model theoretic
- databases
- conjunctive queries
- declarative semantics
- recursive programs
- query evaluation
- artificial intelligence
- data complexity
- answer set programming
- query language