An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases.
Cyril S. KuHeung D. KimLawrence J. HenschenPublished in: IEEE Trans. Knowl. Data Eng. (1994)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- hypothetical reasoning
- query evaluation
- integrity checking
- closed world assumption
- semantic query optimization
- disjunctive deductive databases
- declarative language
- model theoretic
- declarative semantics
- probabilistic inference
- stable models
- belief networks
- functional dependencies
- data integration
- relational databases
- constraint checking
- fixpoint semantics
- expert systems
- knowledge base