The constructive method for query containment checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1677, Issue , 1999, Pages 583-593

  Farré, Carles ^a   Teniente, Ernest ^a   Urpi, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; EXPERT SYSTEMS;

CANONICAL DATABASE; CONJUNCTIVE QUERIES; CONSTRUCTIVE METHODS; INTEGRITY CONSTRAINTS; QUERY CONTAINMENT;

QUERY PROCESSING;

EID: 84947936573     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48309-8_54     Document Type: Conference Paper

References (21)

1. S. Abiteboul, R. Hull, V. Vianu: Foundations of Databases. Addison-Wesley, 1995.
2. N.R. Brisaboa, H.J. Hernandez: "Testing Bag-Containment of Conjunctive Queries". Acta Informatica, Vol. 34, No.7, 1997, pp. 557-578.
3. M. Buchheit, M.A. Jeusfeld, W. Nutt, M. Staudt: "Subsumption of queries in object-oriented databases". Information Systems, Vol. 19, No. 1, 1994.
4. L. Cavedon, J. Lloyd: "A Completeness Theorem for SLDNF Resolution”, Journal of Logic Programming, vol. 7, 1989, pp. 177-191.
5. S. Chaudhuri, M. Vardi: "Optimizing real conjunctive queries". Proceedings of the PoDS'93. ACM Press, 1993, pp. 59-70.
6. G. Dong, J. Su: "Conjunctive QC with respect to views and constraints". Information Processing Letters, No. 57 1996, pp. 95-102.
7. C. Farré, E. Teniente, T. Urpi: "Query Containment as a View Updating Problem". Proceedings of the DEXA'98. Springer, 1998, pp. 310-321.
8. C. Farré, E. Teniente, T. Urpi: The Constructive Method for Query Containment Checking (extended version). Research Report LSI-99-23-R, Universitat Politècnica de Catalunya, 1999.
9. O.H. Ibarra, J. Su: "On the Containment and Equivalence of Database Queries with Linear Constraints". Proceedings of the PoDS'97. 1997, pp. 32-43
10. A. Klug: "On Conjunctive Queries Containing Inequalities". Journal of the ACM, Vol. 35, No. 1, 1988, pp. 146-160.
11. A. Levy, I.S. Mumick, Y. Sagiv, O. Shmueli: "Equivalence, query-reachability and satisfiability in Datalog extensions". PoDS'93. pp. 109-122.
12. A. Levy, Y. Sagiv: "Queries Independent of Updates". Proceedings of the VLDB'93. Morgan Kaufmann, 1993, pp. 171-181.
13. A. Levy, Y. Sagiv: "Semantic Query Optimization in Datalog Programs". Proceedings of the PoDS'95. ACM Press, 1995, pp. 163-173.
14. A. Levy, D. Suciu: "Deciding Containment for Queries with Complex Objects". Proceedings of the PoDS'97. ACM Press, 1995, pp. 20-31
15. J.W. Lloyd, R.W. Topor: "Making Prolog More Expressive". Journal of Logic Programming, 1984, No. 3, pp. 225-240.
16. Y. Sagiv: "Optimizing Datalog Programs". J. Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988, pp. 659-698.
17. O. Shmueli: "Decidability and expressiveness aspects of logic queries". Proceedings of the PoDS'87, 1987, pp. 237-249.
18. M. Staudt, K.v. Thadden: "A Generic Subsumption Testing Toolkit for Knowledge Base Queries". Proc. of DEXA'96., Springer, 1996, pp. 834-844.
19. E. Teniente, A. Olivé: "Updating Knowledge Bases while Maintaining their Consistency". The VLDB Journal, Vol. 4, No. 2, 1995, pp. 193-241.
20. J.D. Ullman: Principles of Database an Knowledge-Base Systems, Volume 2: The New Technologies. Computer Science Press, Rockville, MD, 1989.
21. J.D. Ullman: Principles of Databases. Lecture notes of the course. http://www-db.stanford.edu/~ullman/cs345-notes.html