On a theory of probabilistic deductive databases.
Laks V. S. LakshmananFereidoon SadriPublished in: Theory Pract. Log. Program. (2001)
Keyphrases
- deductive databases
- closed world assumption
- model theoretic
- integrity constraints
- logic programming
- fixpoint
- semantic query optimization
- integrity checking
- query evaluation
- semantics of logic programs
- disjunctive deductive databases
- declarative language
- hypothetical reasoning
- bayesian networks
- fixpoint semantics
- natural language
- constraint checking
- probability theory
- knowledge base
- artificial intelligence
- machine learning
- data exchange
- logic programs