An Algebraic Deductive Database Managing a Mass of Rule Clauses.
Tadashi OhmoriHidehiko TanakaPublished in: IWDM (1987)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- disjunctive deductive databases
- query evaluation
- event calculus
- update propagation
- general logic programs
- declarative semantics
- first order logic
- active databases
- closed world assumption
- data management
- background knowledge
- distributed systems
- databases
- query language
- horn clauses
- artificial intelligence
- machine learning