Decision Procedures for Constraint Based Extensions of Datalog.
Jim CoxKen McAloonPublished in: WCLP (1991)
Keyphrases
- decision procedures
- presburger arithmetic
- modal logic
- theorem proving
- containment of conjunctive queries
- conjunctive queries
- unions of conjunctive queries
- automated reasoning
- query answering
- query containment
- deductive databases
- expressive power
- datalog programs
- integrity constraints
- query language
- model theoretic
- fixpoint
- default logic
- satisfiability problem
- database
- first order logic
- transitive closure
- data complexity
- data exchange
- constraint satisfaction
- logic programming
- special case
- incomplete information
- quantifier elimination
- xml documents