Keyphrases
- quantifier free
- real numbers
- first order logic
- quantifier elimination
- propositional logic
- rewrite systems
- expressive power
- constraint propagation
- relational data model
- term rewriting
- constraint databases
- fixed point
- cardinality constraints
- functional programming
- fuzzy numbers
- finitely representable
- np complete
- transitive closure
- inference rules
- temporal reasoning
- data types
- query language
- databases