Consistency preserving updates in deductive databases.
Enric MayolErnest TenientePublished in: Data Knowl. Eng. (2003)
Keyphrases
- deductive databases
- update propagation
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- disjunctive deductive databases
- semantic query optimization
- closed world assumption
- integrity checking
- constraint checking
- model theoretic
- update operations
- declarative semantics
- semantics of logic programs
- hypothetical reasoning
- logic programs
- object oriented
- general purpose
- machine learning