Compile Time Constraint Solving in a Constraint Database System.
Roman GrossRobert W. MartiPublished in: ILPS Workshop: Constraints and Databases (1994)
Keyphrases
- constraint solving
- database systems
- constraint propagation
- constraint logic programming
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- constraint solvers
- constraint programming
- data model
- databases
- database management systems
- integrity constraints
- finite domain
- database design
- data types
- database
- query optimization
- np hard
- database server
- special case
- query processing
- optimal solution