Integrity Enforcement on Deductive Databases.
Hendrik DeckerPublished in: Expert Database Conf. (1986)
Keyphrases
- deductive databases
- integrity checking
- integrity constraints
- constraint checking
- semantic query optimization
- logic programming
- query evaluation
- disjunctive deductive databases
- fixpoint
- model theoretic
- access control
- declarative language
- closed world assumption
- data management
- query answering
- functional dependencies
- declarative semantics
- databases
- datalog programs
- hypothetical reasoning
- artificial intelligence