Keyphrases
- deductive databases
- logic programming
- integrity constraints
- query evaluation
- integrity checking
- semantic query optimization
- context free grammars
- fixpoint
- model theoretic
- disjunctive deductive databases
- declarative language
- constraint checking
- closed world assumption
- natural language
- datalog programs
- declarative semantics
- fixpoint semantics
- multiple inheritance
- data analysis