Intuitionistic Deductive Databases and the Polynomial Time Hierarchy.
Anthony J. BonnerPublished in: J. Log. Program. (1997)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- linear logic
- integrity checking
- semantic query optimization
- disjunctive deductive databases
- special case
- constraint checking
- closed world assumption
- declarative language
- hypothetical reasoning
- datalog programs
- declarative semantics
- classical logic
- computational complexity
- theorem prover
- logic programming language
- model theoretic
- database
- logic programs
- natural language
- knowledge base