Keyphrases
- deductive databases
- integrity constraints
- fixpoint
- logic programming
- disjunctive deductive databases
- query evaluation
- declarative language
- semantic query optimization
- declarative semantics
- closed world assumption
- constraint checking
- model theoretic
- integrity checking
- hypothetical reasoning
- constraint logic programming
- fixpoint semantics
- multiple inheritance
- database
- complex objects
- logic programs
- data management
- knowledge base