Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10321222 | Data & Knowledge Engineering | 2005 | 61 Pages |
Abstract
The main contribution of the CQC method is threefold: it handles broader cases of queries and database schemas than most previous methods, it checks “true” containment instead of uniform containment (which is a sufficient but not necessary condition for containment) and it is not less efficient than other methods for the cases that they handle. Moreover, we prove also soundness and completeness of our method both for success and for failure.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Carles Farré, Ernest Teniente, Toni UrpÃ,