Keyphrases
- logic programming
- expressive power
- deductive databases
- fixpoint semantics
- database languages
- relational query languages
- query language
- disjunctive datalog
- query answering
- formal semantics
- model theoretic
- logic programs
- transitive closure
- dl programs
- containment of conjunctive queries
- datalog programs
- database
- object oriented databases
- integrity constraints
- neural network