A Parametric Approach to Deductive Databases with Uncertainty.
Laks V. S. LakshmananNematollaah ShiriPublished in: Logic in Databases (1996)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- semantic query optimization
- integrity checking
- disjunctive deductive databases
- declarative language
- hypothetical reasoning
- constraint checking
- model theoretic
- multiple inheritance
- conjunctive queries
- conditional probabilities
- datalog programs
- incomplete information
- distributed databases
- logical implication
- closed world assumption
- logic programs