Integrity Checking in Deductive Databases.
Robert A. KowalskiFariba SadriPaul SoperPublished in: VLDB (1987)
Keyphrases
- integrity checking
- deductive databases
- integrity constraints
- semantic query optimization
- logic programming
- disjunctive deductive databases
- fixpoint
- query evaluation
- hard and soft constraints
- model theoretic
- closed world assumption
- general purpose
- data mining
- query answering
- query processing
- functional dependencies
- np hard
- special case
- datalog programs
- data model
- constraint checking
- high level
- artificial intelligence