Intergrity Constraint Checking for Updates in Deductive Databases, a different approach.
Ron SeljéePublished in: Bull. EATCS (1994)
Keyphrases
- constraint checking
- deductive databases
- update propagation
- integrity constraints
- logic programming
- disjunctive deductive databases
- fixpoint
- semantic query optimization
- query evaluation
- model theoretic
- database transactions
- integrity checking
- active rules
- closed world assumption
- functional dependencies
- data mining
- xml documents
- metadata