Amalgamation through quantifier elimination for varieties of commutative residuated lattices.
Enrico MarchioniPublished in: Arch. Math. Log. (2012)
Keyphrases
- quantifier elimination
- cardinality constraints
- constraint propagation
- presburger arithmetic
- functional programming
- boolean algebra
- constraint databases
- first order logic
- constraint query languages
- special case
- transitive closure
- functional dependencies
- expressive power
- heuristic search
- programming language
- database systems
- databases