Deductive Database Tools.
Rodney W. ToporTeresa KeddisDerek W. WrightPublished in: Aust. Comput. J. (1985)
Keyphrases
- deductive databases
- integrity constraints
- disjunctive deductive databases
- logic programming
- semantic query optimization
- fixpoint
- query evaluation
- integrity checking
- update propagation
- general logic programs
- event calculus
- declarative semantics
- database
- response time
- logic programs
- artificial intelligence
- machine learning