A Parametric Approach to Deductive Databases with Uncertainty.
Laks V. S. LakshmananNematollaah ShiriPublished in: IEEE Trans. Knowl. Data Eng. (2001)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- fixpoint
- query evaluation
- semantic query optimization
- closed world assumption
- declarative language
- constraint checking
- datalog programs
- hypothetical reasoning
- integrity checking
- databases
- multiple inheritance
- data model
- query processing
- machine learning