Testing containment of conjunctive queries under functional and inclusion dependencies

摘要

Much of the work to date on the optimization of queries for relational databases has focussed on the case where the only dependencies allowed are functional dependencies. We extend this work to the case where inclusion dependencies are also allowed. We show that there are substantial special cases where the presence of inclusion dependencies does not make the basic problems of optimization any harder than they are when there are no dependencies at all. In particular, we show that the problems of query containment, equivalence, and nonminimality remain in NP when either (a) all dependencies are inclusion dependencies or (b) the set of dependencies is what we call “key-based.” These results assume that infinite databases are allowed. If only finite databases are allowed, new containments and equivalences may arise, as we illustrate by an example, and the problems may be substantialy more difficult. We can, however, prove a “finite controllability” theorem that shows that no such examples exist for case (b), or for (a) when the only inclusion dependencies allowed are those having “width” equal to one.