Containment, Equivalence and Coreness from CSP to QCSP and beyond
Florent R. MadelaineBarnaby MartinPublished in: CoRR (2012)
Keyphrases
- constraint satisfaction problems
- query containment
- constraint satisfaction
- np complete
- conjunctive queries
- constraint programming
- constraint propagation
- arc consistency
- search space
- datalog programs
- query answering
- np hard
- constraint solving
- constraint networks
- query evaluation
- temporal constraints
- query language
- special case