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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
R. Bourret, J. Cowan, I. Macherius, and S. St. Laurent. Document definition markup language (ddml) specification, version 1.0, Jan. 1999. W3C Note.
T. Bray, C. Frankston, and A. Malhotra. Document content description for XML. Submission to the World Wide Web Consortium, July 1998.
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/.
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.
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.
L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138–164, 1988.
V. Christophides, S. Cluet, and J. Siméon. On wrapping query languages and efficient XML integration. In SIGMOD’2000, Dallas, Texas, May 2000.
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.
S. Cluet and J. Siméon. YATL: a functional and declarative language for XML. Draft manuscript, Mar. 2000.
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.
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.
A. Deutsch, M. F. Fernandez, and D. Suciu. Storing semistructured data with STORED. In SIGMOD’1999, pages 431–442, Philadelphia, Pennsylvania, June 1999.
M. F. Fernandez and J. Robie. XML Query data model. W3C Working Draft, May 2000. http://www.w3.org/TR/query-datamodel/.
M. F. Fernandez, J. Siméon, and P. Wadler (editors). XML query languages: Experiences and exemplars. draft manuscript, communication to the W3C, Sept. 1999.
M. F. Fernandez and D. Suciu. Optimizing regular path expressions using graph schemas. In ICDE’1998, Orlando, Florida, Feb. 1998.
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.
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.
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.
H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. Submitted for publication, Mar. 2000.
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.
M. Makoto. Tutorial: How to relax. http://www.xml.gr.jp/relax/.
T. Milo and D. Suciu. Type inference for queries on semistructured data. In PODS’1999, pages 215–226, Philadephia, Pennsylvania, May 1999.
T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In PODS’2000, Dallas, Texas, May 2000.
J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In PODS’2000, Dallas, Texas, May 2000.
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.
R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, 2000.
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.
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.
H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML schema part 1: Structures. W3C Working Draft, Feb. 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuper, G.M., Siméon, J. (2001). Subsumption for XML Types. In: Van den Bussche, J., Vianu, V. (eds) Database Theory — ICDT 2001. ICDT 2001. Lecture Notes in Computer Science, vol 1973. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44503-X_21
Download citation
DOI: https://doi.org/10.1007/3-540-44503-X_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41456-8
Online ISBN: 978-3-540-44503-6
eBook Packages: Springer Book Archive