Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- conjunctive queries
- query containment
- satisfiability problem
- database
- temporal logic
- inference rules
- tight complexity bounds
- presburger arithmetic
- quantified boolean formulas
- fixpoint
- np complete
- knowledge representation
- relational databases
- lower bound
- database systems
- data sets