Keyphrases
- constraint satisfaction
- view update
- functional dependencies
- database
- constraint satisfaction problems
- partial order
- heuristic search
- constraint relaxation
- constraint programming
- russian doll search
- constraint propagation
- machine translation
- formally define
- relational databases
- soft constraints
- xml views
- database design
- constraint optimization
- databases
- constrained problems
- dynamic programming