Systematic Testing of Database Engines Using a Relational Constraint Solver.
Shadi Abdul KhalekSarfraz KhurshidPublished in: ICST (2011)
Keyphrases
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction problems
- linear constraints
- arc consistency algorithm
- relational databases
- constraint satisfaction
- real numbers
- qualitative and quantitative
- constraint logic programming
- data model
- image sequences
- orders of magnitude
- xml documents
- constraint solvers
- objective function