Consequences of neocompact quantifier elimination.
Stefano BaratellaSiu-Ah NgPublished in: Math. Log. Q. (2003)
Keyphrases
- quantifier elimination
- presburger arithmetic
- constraint propagation
- functional programming
- first order logic
- constraint databases
- cardinality constraints
- constraint query languages
- expressive power
- transitive closure
- qualitative and quantitative
- geographic information systems
- database
- constraint satisfaction
- database management systems
- general purpose
- database systems
- artificial intelligence
- machine learning