๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Conjunctive-Query Containment and Constraint Satisfaction

โœ Scribed by Phokion G. Kolaitis; Moshe Y. Vardi


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
310 KB
Volume
61
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

โœฆ Synopsis


Conjunctive-query containment is recognized as a fundamental problem in database query evaluation and optimization. At the same time, constraint satisfaction is recognized as a fundamental problem in artificial intelligence. What do conjunctive-query containment and constraint satisfaction have in common? Our main conceptual contribution in this paper is to point out that, despite their very different formulation, conjunctive-query containment and constraint satisfaction are essentially the same problem. The reason is that they can be recast as the following fundamental algebraic problem: given two finite relational structures A and B, is there a homomorphism h: A ร„ B? As formulated above, the homomorphism problem is uniform in the sense that both relational structures A and B are part of the input. By fixing the structure B, one obtains the following nonuniform problem: given a finite relational structure A, is there a homomorphism h: A ร„ B? In general, nonuniform tractability results do not uniformize. Thus, it is natural to ask: which tractable cases of nonuniform tractability results for constraint satisfaction and conjunctive-query containment do uniformize? Our main technical contribution in this paper is to show that several cases of tractable nonuniform constraint-satisfaction problems do indeed uniformize. We exhibit three nonuniform tractability results that uniformize and, thus, give rise to polynomial-time solvable cases of constraint satisfaction and conjunctivequery containment. We begin by examining the tractable cases of Boolean


๐Ÿ“œ SIMILAR VOLUMES


PROLOG, conjunctive queries and rules
โœ D.L. Massart; M. De Smet ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 234 KB
Belief updating from integrity constrain
โœ Luc De Raedt; Maurice Bruynooghe ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 962 KB

It is argued that the problems of intensional knowledge base updating and incremental concept-learning--when formulated in a logical framework--can be understood as instances of the more general problem of belief updating. This insight allows interesting crossfertilization between both areas. To sup

Reachability and connectivity queries in
โœ Michael Benedikt; Martin Grohe; Leonid Libkin; Luc Segoufin ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 401 KB

It is known that standard query languages for constraint databases lack the power to express connectivity properties. Such properties are important in the context of geographical databases, where one naturally wishes to ask queries about connectivity (What are the connected components of a given set