Subsumption for XML Types

  • Gabriel M. Kuper
  • Jérôme Siméon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1973)

Abstract

XML data is often used (validated, stored, queried, etc) with respect to different types. Understanding the relationship between these types can provide important information for manipulating this data. We propose a notion of subsumption for XML to capture such relationships. Subsumption relies on a syntactic mapping between types, and can be used for facilitating validation and query processing. We study the properties of subsumption, in particular the notion of the greatest lower bound of two schemas, and show how this can be used as a guide for selecting a storage structure. While less powerful than inclusion, subsumption generalizes several other mechanisms for reusing types, notably extension and refinement from XML Schema, and subtyping.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. L. Wiener. The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68–88, Apr. 1997.Google Scholar
  2. 2.
    C. Beeri and T. Milo. Schemas for integration and translation of structured and semi-structured data. In Proceedings of International Conference on Database Theory (ICDT), Lecture Notes in Computer Science, Jerusalem, Israel, Jan. 1999.Google Scholar
  3. 3.
    R. Bourret, J. Cowan, I. Macherius, and S. St. Laurent. Document definition markup language (ddml) specification, version 1.0, Jan. 1999. W3C Note.Google Scholar
  4. 4.
    T. Bray, C. Frankston, and A. Malhotra. Document content description for XML. Submission to the World Wide Web Consortium, July 1998.Google Scholar
  5. 5.
    T. Bray, J. Paoli, and C. M. Sperberg-McQueen. Extensible markup language (XML) 1.0. W3C Recommendation, Feb. 1998. http://www.w3.org/TR/REC-xml/.
  6. 6.
    P. Buneman, S. B. Davidson, M. F. Fernandez, and D. Suciu. Adding structure to unstructured data. In Proceedings of International Conference on Database Theory (ICDT), volume 1186 of LNCS, pages 336–350, Delphi, Greece, Jan. 1997.Google Scholar
  7. 7.
    D. Calvanese, G. D. Giacomo, and M. Lenzerini. Representing and reasoning on xml documents: A description logic approach. Journal of Logic and Computation, 9(3):205–318, 1999.CrossRefGoogle Scholar
  8. 8.
    L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138–164, 1988.CrossRefMATHMathSciNetGoogle Scholar
  9. 9.
    V. Christophides, S. Cluet, and J. Siméon. On wrapping query languages and efficient XML integration. In SIGMOD’2000, Dallas, Texas, May 2000.Google Scholar
  10. 10.
    S. Cluet, C. Delobel, J. Siméon, and K. Smaga. Your mediators need data conversion! In SIGMOD’1998, pages 177–188, Seattle, Washington, June 1998.Google Scholar
  11. 11.
    S. Cluet and J. Siméon. YATL: a functional and declarative language for XML. Draft manuscript, Mar. 2000.Google Scholar
  12. 12.
    A. Davidson, M. Fuchs, M. Hedin, M. Jain, J. Koistinen, C. Lloyd, M. Maloney, and K. Schwarzhof. Schema for object-oriented XML 2.0, July 1999. W3C Note.Google Scholar
  13. 13.
    A. Deutsch, M. F. Fernandez, D. Florescu, A. Y. Levy, and D. Suciu. A query language for XML. In Proceedings of International World Wide Web Conference, Toronto, May 1999.Google Scholar
  14. 14.
    A. Deutsch, M. F. Fernandez, and D. Suciu. Storing semistructured data with STORED. In SIGMOD’1999, pages 431–442, Philadelphia, Pennsylvania, June 1999.Google Scholar
  15. 15.
    M. F. Fernandez and J. Robie. XML Query data model. W3C Working Draft, May 2000. http://www.w3.org/TR/query-datamodel/.
  16. 16.
    M. F. Fernandez, J. Siméon, and P. Wadler (editors). XML query languages: Experiences and exemplars. draft manuscript, communication to the W3C, Sept. 1999.Google Scholar
  17. 17.
    M. F. Fernandez and D. Suciu. Optimizing regular path expressions using graph schemas. In ICDE’1998, Orlando, Florida, Feb. 1998.Google Scholar
  18. 18.
    M. N. Garofalakis, A. Gionis, R. Rastogi, S. Seshadri, and K. Shim. XTRACT: A system for extracting document type descriptors from XML documents. In SIGMOD’2000, pages 165–176, Dallas, Texas, May 2000.Google Scholar
  19. 19.
    R. Goldman and J. Widom. Data guides: Enabling query formulation and optimization in semistructured databases. In VLDB’1997, pages 436–445, Athens, Greece, Aug. 1997.Google Scholar
  20. 20.
    H. Hosoya and B. C. Pierce. XDuce: an XML processing language. In International Workshop on the Web and Databases (WebDB’2000), Dallas, Texas, May 2000.Google Scholar
  21. 21.
    H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. Submitted for publication, Mar. 2000.Google Scholar
  22. 23.
    N. Klarlund, A. Moller, and M. I. Schwartzbach. DSD: A schema language for XML. In Workshop on Formal Methods in Software Practice, Portland, Oregon, Aug. 2000.Google Scholar
  23. 24.
    M. Makoto. Tutorial: How to relax. http://www.xml.gr.jp/relax/.
  24. 25.
    T. Milo and D. Suciu. Type inference for queries on semistructured data. In PODS’1999, pages 215–226, Philadephia, Pennsylvania, May 1999.Google Scholar
  25. 26.
    T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In PODS’2000, Dallas, Texas, May 2000.Google Scholar
  26. 27.
    J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.Google Scholar
  27. 28.
    Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In PODS’2000, Dallas, Texas, May 2000.Google Scholar
  28. 29.
    F. Pottier. Synthèse de types en présence de sous-typage: de la théorie à la pratique. Thèse de doctorat, Université Paris VII, July 1998. http://pauillac.inria.fr/~fpottier/publis/these-fpottier.ps.gz.
  29. 30.
    R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, 2000.Google Scholar
  30. 31.
    J. Shanmugasundaram, K. Tufte, C. Zhang, G. He, D. J. DeWitt, and J. F. Naughton. Relational databases for querying XML documents: Limitations and opportunities. In Proceedings of International Conference on Very Large Databases (VLDB), Edinburgh, Scotland, Sept. 1999.Google Scholar
  31. 32.
    J. Siméon and S. Cluet. Using YAT to build a web server. In International Workshop on the Web and Databases (WebDB’98), volume 1590 of LNCS, pages 118–135, Valencia, Spain, Mar. 1998.Google Scholar
  32. 33.
    H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML schema part 1: Structures. W3C Working Draft, Feb. 2000.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Gabriel M. Kuper
    • 1
  • Jérôme Siméon
    • 1
  1. 1.Bell LaboratoriesNJUSA

Personalised recommendations