Some Notes on Knowledge Assimilation in Deductive Databases.
Hendrik DeckerPublished in: Transactions and Change in Logic Databases (1998)
Keyphrases
- deductive databases
- integrity constraints
- query evaluation
- logic programming
- knowledge base
- domain knowledge
- semantic query optimization
- fixpoint
- closed world assumption
- knowledge representation
- integrity checking
- constraint checking
- declarative semantics
- hypothetical reasoning
- declarative language
- programming language
- expert systems