Keyphrases
- quantifier free
- quantifier elimination
- first order logic
- rewrite systems
- real numbers
- relational data model
- term rewriting
- cardinality constraints
- constraint propagation
- theorem proving
- functional programming
- inference rules
- constraint databases
- relational database systems
- transitive closure
- databases
- expressive power
- expert systems