Monotonic Aggregation in Deductive Database.
Kenneth A. RossYehoshua SagivPublished in: J. Comput. Syst. Sci. (1997)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- semantic query optimization
- event calculus
- disjunctive deductive databases
- query evaluation
- integrity checking
- fixpoint
- closed world assumption
- declarative semantics
- update propagation
- general logic programs
- database management systems
- nonmonotonic reasoning
- logic programs
- normal logic programs
- machine learning
- fixpoint semantics
- database