Intuitionistic Interpretation of Deductive Databases with Incomplete Information.
Fangqing DongLaks V. S. LakshmananPublished in: Formal Methods in Databases and Software Engineering (1992)
Keyphrases
- incomplete information
- deductive databases
- logic programming
- integrity constraints
- fixpoint
- query evaluation
- partial information
- autonomous agents
- disjunctive deductive databases
- missing information
- semantic query optimization
- query answering
- first order logic
- classical logic
- theorem prover
- closed world assumption
- fuzzy set theory
- logic programs
- stable models
- default logic
- high level
- machine learning
- database