Knowledge Assimilation in Deductive Databases - An Overview.
Hendrik DeckerPublished in: DAISD (1992)
Keyphrases
- deductive databases
- integrity constraints
- query evaluation
- domain knowledge
- logic programming
- hypothetical reasoning
- semantic query optimization
- knowledge base
- knowledge representation
- disjunctive deductive databases
- fixpoint
- model theoretic
- constraint checking
- closed world assumption
- declarative semantics
- declarative language
- databases