Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas.
Christoph WernhardPublished in: SOQE (2017)
Keyphrases
- quantifier elimination
- quantifier free
- constraint propagation
- first order logic
- functional programming
- presburger arithmetic
- constraint databases
- cardinality constraints
- relational databases
- higher order
- expert systems
- multi relational
- database schema
- horn clauses
- data model
- relational model
- query answering
- relational learning
- constraint programming
- integrity constraints
- constraint satisfaction
- constraint satisfaction problems
- programming language
- natural language