Checking Functional Consistency in Deductive Databases.
Erik LambrichtsPeter NeesJan ParedaensPeter PeelmanLetizia TancaPublished in: Inf. Process. Lett. (1990)
Keyphrases
- deductive databases
- constraint checking
- update propagation
- integrity checking
- integrity constraints
- consistency checking
- logic programming
- query evaluation
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- model theoretic
- declarative language
- datalog programs
- declarative semantics
- hypothetical reasoning
- closed world assumption
- high level
- logic programs
- knowledge representation
- relational databases
- expert systems