Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- lambda calculus
- datalog programs
- higher order
- logic programming
- integrity constraints
- database query languages
- transitive closure
- data complexity
- relational algebra
- relational calculus
- fixed order
- database languages
- databases
- datalog queries
- predicate invention
- pairwise
- database systems
- existentially quantified
- recursive programs
- containment of conjunctive queries
- conjunctive queries
- data exchange
- special case
- data model
- high level
- decision trees
- machine learning