Uniform Constraint Satisfaction Problems and Database Theory.
Francesco ScarcelloGeorg GottlobGianluigi GrecoPublished in: Complexity of Constraints (2008)
Keyphrases
- database theory
- constraint satisfaction problems
- decomposition methods
- open problems
- constraint satisfaction
- databases
- normal form
- np complete
- constraint programming
- constraint propagation
- conjunctive queries
- search space
- hypertree decomposition
- np hard
- non binary
- constraint solving
- constraint networks
- arc consistency
- soft constraints
- forward checking
- international conference
- database design
- backtracking search
- tree decomposition
- partial constraint satisfaction
- relational database management systems
- database
- solving constraint satisfaction problems
- finite model theory