Recursive Query Answering with Non-Horn Clauses.
Shan ChiLawrence J. HenschenPublished in: CADE (1988)
Keyphrases
- query answering
- horn clauses
- datalog programs
- data exchange
- first order logic
- answering queries
- inference rules
- data complexity
- integrity constraints
- incomplete information
- conjunctive queries
- data integration
- logic programs
- inductive logic programming
- fixpoint
- consistency checking
- database queries
- recursive queries
- function symbols
- schema mappings
- query rewriting
- deductive databases
- artificial intelligence
- learning algorithm
- expressive power
- expert systems
- query answers