Solving SQL Constraints by Incremental Translation to SAT.
Robin LohfertJames J. LuDongfang ZhaoPublished in: IEA/AIE (2008)
Keyphrases
- sat encodings
- pseudo boolean
- relational databases
- query language
- sat solving
- linear programming problems
- stochastic local search
- propositional satisfiability
- database
- integer program
- sat instances
- sql queries
- graph coloring
- np complete problems
- integer linear programming
- constrained problems
- variable ordering
- databases
- sat solvers
- relational database systems
- mixed integer program
- constraint problems
- global constraints
- relational model
- database management
- database language
- boolean satisfiability
- pseudo boolean constraints
- linear programming
- database applications
- linear program
- combinatorial optimization
- relational algebra
- propositional logic
- column generation