Checking query containment with the CQC method

Data and Knowledge Engineering

Volumn 53, Issue 2, 2005, Pages 163-223

  Farré, Carles ^a   Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Constraint management; Deductive databases; Query containment

Indexed keywords

CONSTRAINT MANAGEMENT; DEDUCTIVE DATABASES; QUERY CONTAINMENT; VARIABLE INSTANTIATION PATTERNS (VIP);

ALGORITHMS; DATA REDUCTION; INFORMATION RETRIEVAL; KNOWLEDGE BASED SYSTEMS; PERSONNEL; QUERY LANGUAGES;

DATABASE SYSTEMS;

EID: 11144253513     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.08.002     Document Type: Article

References (56)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison Wesley Reading, MA
2. A.V. Aho, Y. Sagiv, and J.D. Ullman Equivalences among relational expressions SIAM Journal on Computing 8 2 1979 218 246
3. F. Bry, N. Eisinger, H. Schütz, S. Torge, SIC: Satisfiability checking for integrity constraints, in: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98), 1998, pp. 25-36
4. M. Buchheit, M.A. Jeusfeld, W. Nutt, and M. Staudt Subsumption of queries in object-oriented databases Information Systems 19 1 1994 33 54
5. A. Borgida On the relative expressiveness of description logics and predicate logics Artificial Intelligence 82 1-2 1996 353 367
6. F. Bry, R. Manthey, Checking consistency of database constraints: a logical basis, in: Proceedings of the 12th International Conference on Very Large Data Bases (VLDB'86), 1986, pp. 13-20
7. F. Bry, S. Torge, A deduction method complete for refutation and finite satisfiability, in: Proceedings of Logics in Artificial Intelligence, JELIA'98, LNCS 1489, Springer, Berlin, 1998, pp. 122-138
8. F. Bry, S. Torge, Solving database satisfiability problems, in: Proceedings of the Workshop Grundlagen von Datenbanken, Friedrich Schiller Universität Jena, 1999, pp. 122-126
9. D. Calvanese, G. De Giacomo, M. Lenzerini, On the decidability of query containment under constraints, in: Proceedings of the 17th ACM Symposium on Principles of Database Systems (PoDS'98), 1998, pp. 149-158
10. E.P.F. Chan, Containment and minimization of positive conjunctive queries in OODB's, in: Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'92), 1992, pp. 202-211
11. L. Cavedon, and J.W. Lloyd A completeness theorem for SLDNF resolution Journal of Logic Programming 7 3 1989 177 191
12. K.L. Clark Negation as failure Logic and Data Bases 1977 Plenum Press New York 293 322
13. A.K. Chandra, P.M. Merlin, Optimal implementation of conjunctive queries in relational data bases, in: Proceedings of the 9th ACM SIGACT Symposium on Theory of Computing, 1977, pp. 77-90
14. S. Cohen, W. Nutt, A. Serebrenik, Rewriting aggregate queries using views, in: Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'99), 1999, pp. 155-166
15. C. Chekuri, A. Rajaraman, Conjunctive query containment revisited, in: Proceedings of the 6th International Conference on Database Theory (ICDT'97), LNCS (1186), Springer, Berlin, 1997, pp. 56-70
16. S. Chaudhuri, and M.Y. Vardi On the equivalence of recursive and nonrecursive datalog programs Journal of Computer and System Sciences 54 1 1997 61 78
17. F. Donini, M. Lenzerini, D. Nardi, and W. Nutt The complexity of concept languages Information and Computation 134 1 1997 1 58
18. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf AL-log: integrating datalog and description logics Journal of Intelligent Information Systems 10 3 1998 227 252
19. G. Dong, and J. Su Conjunctive query containment with respect to views and constraints Information Processing Letters 57 2 1996 95 102
20. H. Decker, E. Teniente, T. Urp, How to tackle schema validation by view updating, in: Proceedings of the 5th International Conference on Extending Database Technology (EDBT'96), LNCS 1057, Springer, 1996, pp. 535-549
21. M. Fitting First-Order Logic and Automated Theorem Proving 1990 Springer Berlin
22. C. Farré, E. Teniente, T. Urp, The constructive method for query containment checking, in: Proceedings of the 10th International Conference on Database and Expert Systems Applications (DEXA'99), LNCS 1677, 1999, pp. 583-593
23. C. Farré, A New method for query containment checking in databases, Ph.D. Thesis, Universitat Politècnica de Catalunya, 2003
24. C. Farré, E. Teniente, T. UrpIÍ, Query containment with negated IDB predicates, in: Proceedings of the 7th European Conference on Advances in Databases and Information Systems (ADBIS 2003), 2003, pp. 411-429
25. A. Gupta, Y. Sagiv, J.D. Ullman, J. Widom, Constraint checking with partial information, in: Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'94) 1994, pp. 45-55
26. A.Y. Halevy Answering queries using views: A survey VLDB Journal 10 4 2001 270 294
27. A.Y. Halevy, I.S. Mumick, Y. Sagiv, and O. Shmueli Static analysis in datalog extensions Journal of the ACM 48 5 2001 971 1012
28. B. Hollunder, W. Nutt, M. Schmidt-Schauß. Subsumption algorithms for concept description languages, in: Proceedings of the 9th European Conference on Artificial Intelligence (ECAI'90), 1990, pp. 348-353
29. I. Horrocks, U. Sattler, S. Tessaris, S. Tobies, How to decide query containment under constraints using a description logic, in: Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), CEUR Workshop Proceedings
30. D.S. Johnson, and A. Klug Testing containment of conjunctive queries under functional and inclusion dependencies Journal of Computer and System Sciences 28 1 1984 167 189
31. A. Klug On conjunctive queries containing inequalities Journal of the ACM 35 1 1988 146 160
32. M. Lenzerini, Description logics and their relationships with databases, in: Proceedings of the 7th International Conference on Database Theory (ICDT'99), LNCS 1540, Springer, Berlin, 1999, pp. 32-38
33. J.W. Lloyd Foundations of Logic Programming 1987 Springer
34. A. Levy, M-C. Rousset. CARIN: a representation language combining Horn rules and description logics, in: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), 1996, pp. 323-327
35. A. Levy, and M.-C. Rousset Verification of knowledge bases based on containment checking Artificial Intelligence 101 1-2 1998 227 250
36. A. Levy, Y. Sagiv, Queries independent of updates, in: Proceedings of the 19th International Conference on Very Large Data Bases (VLDB'93), 1993, pp. 171-181
37. A. Levy, Y. Sagiv, Semantic query optimization in datalog programs, in: Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'95), 1995, pp. 163-173
38. A. Levy, D. Suciu, Deciding containment for queries with complex objects, in: Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'97), 1997, pp. 20-31
39. J.W. Lloyd, and R.W. Topor Making prolog more expressive Journal of Logic Programming 1 3 1984 225 240
40. W. Nutt, Y. Sagiv, S. Shurin, Deciding equivalences among aggregate queries, in: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PoDS'98), 1998, pp. 214-223
41. W. Nutt, Algorithms for constraints in deduction and knowledge representation, Ph.D. Thesis, University of Saarland, 1993
42. M. Penabad, N. Brisaboa, H. Hernández, and J. Param A general procedure to check conjunctive query containment Acta Informatica 38 7 2002 489 529
43. J.A. Robinson A machine-oriented logic based on the resolution principle Journal of ACM 12 1 1965 23 41
44. R. Ramakrishnan, Y. Sagiv, J.D. Ullman, M.Y. Vardi, Proof-tree transformation theorems and their applications, in: Proceedings of the 8th ACM Symposium on Principles of Database Systems (PoDS'89), 1989, pp. 172-181
45. Y. Sagiv Optimizing datalog programs Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann 659 698
46. R. Smullyan First-Order Logic 1968 Springer
47. M. Staudt, K.v. Thadden, A generic subsumption testing toolkit for knowledge base queries, in: Proceedings of the 7th International Conference on Database and Expert Systems Applications (DEXA'96), LNCS 1134, 1996, pp. 834-844
48. Y. Sagiv, and M. Yannakakis Equivalences among relational expressions with the union and difference operators Journal of the ACM 27 4 1980 633 655
49. J.D. Ullman, Principles of Database an Knowledge-Base Systems, vol. 2. Computer Science Press, 1989
50. J.D. Ullman, Information integration using logical views, in: Proceedings of the 6th International Conference on Database Theory (ICDT'97), 1997, pp. 19-40
51. R. van der Meyden, The Complexity of Querying Indefinite Data about Linearly Ordered Domains, in: Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database 7Systems (PoDS'92): 1992, 331-345
52. F. Wei, G. Lausen, Conjunctive query containment in the Presence of Disjunctive Integrity Constraints, in: Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), CEUR Workshop
53. F. Wei, G. Lausen, Containment of Conjunctive Queries with Safe Negation, in: Proceedings of the 9th International Conference on Database Theory (ICDT 2003): 346-360, LNCS (2572), Springer, 2003
54. J. Wang, R.W. Topor, M.J. Maher, Reasoning with disjunctive constrained tuple-generating dependencies, in: Proceedings of the 12th International Conference on Database and Expert Systems Applications (DEXA 2001), LNCS 2113, Springer, Berlin, 2001, pp. 963-973
55. X. Zhang, M.Z. Ozsoyoglu, On efficient reasoning with implication constraints, in: Proceedings of the Third International Conference on Deductive and Object-Oriented Databases (DOOD'93), LNCS 760, Springer, Berlin, 1993, pp. 236-252
56. X. Zhang, and M.Z. Ozsoyoglu Implication and referential constraints: a new formal reasoning IEEE Transactions on Knowledge and Data Engineering 9 6 1997 894 910