A Slick Procedure for Integrity Checking in Deductive Databases.
Hendrik DeckerMatilde CelmaPublished in: ICLP (1994)
Keyphrases
- integrity checking
- deductive databases
- integrity constraints
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- hard and soft constraints
- logic programming
- query evaluation
- constraint checking
- model theoretic
- closed world assumption
- fixpoint semantics
- artificial intelligence
- functional dependencies
- datalog programs