Containment, Equivalence and Coreness from CSP to QCSP and Beyond.
Florent R. MadelaineBarnaby MartinPublished in: CP (2012)
Keyphrases
- constraint satisfaction problems
- query containment
- constraint satisfaction
- conjunctive queries
- np complete
- constraint programming
- constraint propagation
- arc consistency
- search space
- query answering
- finite domain
- constraint networks
- query evaluation
- datalog programs
- constraint solving
- global constraints
- search problems