Towards a Deductive Database for Elementary Algebra and Geometry.
Dennis S. ArnonPublished in: Workshop on Deductive Databases (1990)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- set theory
- query evaluation
- fixpoint
- semantic query optimization
- event calculus
- integrity checking
- declarative semantics
- logic programs
- general logic programs
- update propagation
- stable models
- semantics of logic programs
- knowledge base