An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations.
Sarah MalletMireille DucasséPublished in: DDLP (1997)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- integrity checking
- query evaluation
- fixpoint
- event calculus
- decision trees
- semantic query optimization
- closed world assumption
- update propagation
- declarative semantics
- semantics of logic programs
- data mining
- data management
- artificial intelligence