Reactive Consistency Control In Deductive Databases.
Guido MoerkottePeter C. LockemannPublished in: ACM Trans. Database Syst. (1991)
Keyphrases
- deductive databases
- update propagation
- integrity constraints
- logic programming
- query evaluation
- disjunctive deductive databases
- fixpoint
- integrity checking
- semantic query optimization
- constraint checking
- declarative semantics
- closed world assumption
- fixpoint semantics
- logic programs
- horizontal fragmentation
- declarative language
- conjunctive queries
- semantics of logic programs
- data mining
- logical implication
- hypothetical reasoning
- object oriented database systems
- cost model
- knowledge representation
- relational databases
- metadata
- machine learning