On A Theory of Probabilistic Deductive Databases
Laks V. S. LakshmananFereidoon SadriPublished in: CoRR (2003)
Keyphrases
- deductive databases
- closed world assumption
- model theoretic
- integrity constraints
- fixpoint
- disjunctive deductive databases
- logic programming
- semantics of logic programs
- query evaluation
- integrity checking
- semantic query optimization
- declarative language
- hypothetical reasoning
- constraint checking
- bayesian networks
- declarative semantics
- database
- probability theory
- stable models
- logical implication
- probabilistic databases
- probabilistic reasoning
- object oriented
- expert systems
- artificial intelligence