skip to main content
article
Free Access

Containment of conjunctive queries: beyond relations as sets

Published:01 September 1995Publication History
First page image

References

  1. AHO, A., SAGIV, Y., AND ULLMAN, J. 1979. Equivalence among relational expressions. SIAM J. Comput. 8, 2 (May), 218-246.Google ScholarGoogle ScholarCross RefCross Ref
  2. BLAKELEY, J. A., LARSON, P. A., AND TOMPA, F. W. 1986. Efficiently updating materialized views. In Proceedings of the 1986 ACM-SIGMOD Conference on the Management of Data (Washington, D.C., May). ACM, New York, 61-71. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. CHANDRA, A. K., AND MERLIN, P.M. 1977. Optimal imp}ementation of conjunctive queries in relational data bases. In Proceedings of the 9th Annual ACM Symposium on Theory of Computing (Boulder, Colo., May) ACM, New York, 77-90 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. CHAUDHURI, S., AND VARDI, M. 1993. Optimization of real conjunctive queries. In Proceedings of the 12th ACM-PODS Conference (Washington, D.C., June). ACM, New York, 59-70. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. CHAUDHURI, S., KRiSHNAMURTHY, R., POTAMIANOS, S., AND SHIM, K. 1995. Optimizing queries with materialized views. In Proceedings of the IEEE International Conference on Data Engineering (Taipei, Taiwan, Mar.). IEEE, New York, 190 200. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. DAws, M. 1982. Computability and Unsolvabddy. Dover Publications, New York.Google ScholarGoogle Scholar
  7. DAYAL, U., GOODMAN, N., AND KATZ, R.H. 1982. An extended relational algebra with control over duplicate elimination. In Proceedings of the 1st ACM-PODS Conference (Los Angeles, Calif., Mar.). ACM, New York, 117-123. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. GRAEFE, G. 1995. Personal communication, May.Google ScholarGoogle Scholar
  9. GRANT, J., AND MINKER, J. 1981. Optimization in deductive and conventional relational database systems. In Advances zn Data Base Theory, Vol. 1, J. Minker, H. Gallalre, and J. M. Nicolas, Eds., Plenum Press, New York, 195-234.Google ScholarGoogle Scholar
  10. IOANMDIS, Y. E., AND WONG, E. 1991. Towards and algebraic theory of recursion. J. ACM 38, 2 (Apr,), 329-381. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. JOHNSON, D. S., AND KLUG, A. 1982. Testing containment of conjunctive queries under functional and inclusion dependencies. In Proceedings of the 1st ACM-PODS Conference (Los Angeles, Calif., Mar.). ACM, New York, pp. 164-169. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. KING, J.J. 1981. Quist: A system for semantic query optimization in relational databases. In Proceedings of the 7th International VLDB Conference (Cannes, France, Aug ). Pp. 510-517Google ScholarGoogle Scholar
  13. MAHER, M. J., AND RAMAKRISHNAN, R. 1989. D~jfi vu in fixpoints of logic programs. In Proceedlngs of the ALP Symposium on Logic Programming (Cleveland, Ohio, Oct. 1), 963-980.Google ScholarGoogle Scholar
  14. MUMICK, I. S., PmAHESH, H., AND RAMAKmSHNAN, R. 1990. Duplicates and aggregates in deductive databases. In Proceedings of the 16th International VLDB Conl'~Jrence (Brisbane, Australia, Aug.). 264 277. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. NEGRI, M., PELAGATTI, G., AND SBATTELLA, L. 1991. Formal semantics of SQL queries. ACM Trans. Database Syst. 16, 3 (Sept.), 513-534. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. PARSAYE, K., AND CHIGNELL, M. 1988. Expert Systems for Experts. Wfiey, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. SAGIV, Y., AND YANNAKAKIS, M. 1980. Equivalences among relational expressions with the union and difference operators. J. ACM 27, 4 (Oct.), 633-655. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. SELLIS, T.K. 1986. Global query optimization. In Proceedings of the 1986 ACM-SIGMOD Conference on the Management of Data (Washington, D.C., May). ACM, New York, 191-205. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. SHENOY, S., AND OZSOYOGLU, Z. M. 1987. A system for semantic query optimization. In Proeeedzngs of the 1987 ACM-SIGMOD Conference on the Management of Data (San Francisco, Calif., May). ACM, New York, 181-195. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. TSATALOS, O., SOLOMON, M., AND IOANNIDIS, Y. 1994. The gmap: A versatile tool for physmal data independence. In Proceedings ~f the 20th International ~%DB Conference (Santiago, Chile, Sept ), 367-378 Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. VAN EMD~N, M.H. 1986. Quantitative deduction and its fixpoint theory d. Logtc Program 3, 1 (Jan.), 37-53. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. ZABEH, L. 1965. Fuzzy sets Inf. Control 8, 3 (June), 338-353.Google ScholarGoogle Scholar

Index Terms

  1. Containment of conjunctive queries: beyond relations as sets

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Database Systems
              ACM Transactions on Database Systems  Volume 20, Issue 3
              Sept. 1995
              127 pages
              ISSN:0362-5915
              EISSN:1557-4644
              DOI:10.1145/211414
              • Editor:
              • Won Kim
              Issue’s Table of Contents

              Copyright © 1995 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 September 1995
              Published in tods Volume 20, Issue 3

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader