Elementary recursive quantifier elimination based on Thom encoding and sign determination.

Daniel Perrucci Marie-Françoise Roy

Published in: CoRR (2016)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
cardinality constraints
functional programming
first order logic
constraint databases
general purpose
databases
database systems
relational databases
expressive power
set theory