Keyphrases
- deductive databases
- integrity constraints
- semantics of logic programs
- fixpoint
- disjunctive deductive databases
- logic programming
- query evaluation
- event calculus
- general logic programs
- semantic query optimization
- closed world assumption
- causal theories
- integrity checking
- update propagation
- declarative semantics
- fixpoint semantics
- databases
- logic programs
- stable models
- sensor networks