Indefinite and GCWA Inference in Indefinite Deductive Databases.
Lawrence J. HenschenHyung-Sik ParkPublished in: AAAI (1986)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- hypothetical reasoning
- query evaluation
- fixpoint
- disjunctive deductive databases
- declarative language
- semantic query optimization
- model theoretic
- closed world assumption
- integrity checking
- logical implication
- declarative semantics
- data mining
- constraint checking
- query processing
- datalog programs
- probabilistic inference
- programming language
- general purpose
- artificial intelligence
- general logic programs
- databases