Realizing Update Requests in Deductive Databases with Constraints.
Beat WüthrichPublished in: Grundlagen von Datenbanken (1992)
Keyphrases
- deductive databases
- constraint checking
- update propagation
- integrity constraints
- logic programming
- fixpoint
- semantic query optimization
- query evaluation
- closed world assumption
- disjunctive deductive databases
- integrity checking
- declarative semantics
- declarative language
- model theoretic
- hypothetical reasoning
- fixpoint semantics
- database systems
- distributed databases
- logic programs