Keyphrases
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- disjunctive deductive databases
- declarative language
- integrity checking
- event calculus
- semantic query optimization
- closed world assumption
- constraint checking
- model theoretic
- declarative semantics
- knowledge base
- stable models
- normal logic programs
- hypothetical reasoning
- conjunctive queries
- complex objects
- general logic programs
- expert systems