Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.
Peter Z. ReveszPublished in: ADBIS (2004)
Keyphrases
- quantifier elimination
- cardinality constraints
- boolean algebra
- constraint query languages
- constraint databases
- first order logic
- functional dependencies
- closed sets
- entity relationship
- constraint propagation
- set theory
- database schema
- functional programming
- integrity constraints
- deductive databases
- databases
- probability theory
- objective function