Keyphrases
- functional programming
- expressive power
- deductive databases
- query answering
- functional language
- programming language
- execution model
- datalog programs
- quantifier elimination
- logic programming
- query language
- transitive closure
- object oriented programming
- relational algebra
- integrity constraints
- data exchange
- database systems