Decision Procedures for Multisets with Cardinality Constraints.
Ruzica PiskacViktor KuncakPublished in: VMCAI (2008)
Keyphrases
- cardinality constraints
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- quantifier elimination
- functional dependencies
- inference rules
- conjunctive queries
- entity relationship
- integrity constraints
- database schema
- deductive databases
- satisfiability problem
- closed sets
- query containment
- search algorithm
- relational databases