It is well-known that there is a close similarity between constraint satisfaction and conjunctive query evaluation. This paper explains this relationship and describes structural query decomposition methods that can equally be used to decompose CSP instances. In particular, we explain how "islands of tractability" can be achieved by decomposing the query on a database, or, equivalently, the scopes of a constraint satisfaction problem. We focus on advanced decomposition methods such as hypertree decompositions, which are hypergraph-based and subsume earlier graph-based decomposition methods. We also discuss generalizations thereof, such as weighted hypertree decompositions, and subedge-based decompositions. Finally, we report on an interesting new type of structural tractability results that, rather than explicitly computing problem decompositions, use algorithms that are guaranteed to find a correct solution in polynomial time if a decomposition exists. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Scarcello, F., Gottlob, G., & Greco, G. (2008). Uniform constraint satisfaction problems and database theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5250 LNCS, pp. 156–195). https://doi.org/10.1007/978-3-540-92800-3_7
Mendeley helps you to discover research relevant for your work.