Integrating Persistence and Deductive Databases.
Richard CooperDavid MackenziePublished in: DAISD (1993)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- semantic query optimization
- integrity checking
- disjunctive deductive databases
- query evaluation
- declarative language
- declarative semantics
- model theoretic
- datalog programs
- closed world assumption
- constraint checking
- query optimization
- data mining
- stable models
- hypothetical reasoning
- nonmonotonic reasoning
- fixpoint semantics
- data model