Versioning of Objects in Deductive Databases.
Fehime Nihan KesimMarek J. SergotPublished in: DOOD (1993)
Keyphrases
- deductive databases
- integrity constraints
- object identity
- fixpoint
- logic programming
- query evaluation
- semantic query optimization
- disjunctive deductive databases
- constraint checking
- closed world assumption
- model theoretic
- declarative language
- integrity checking
- hypothetical reasoning
- declarative semantics
- data objects
- logic programs
- relational databases