The Essence of XML (Preliminary Version)

  • Jérôme Siméon
  • Philip Wadler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2441)

Abstract

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath specification, one of the first uses of formal methods by a standards body. XML Schema features both named and structural types, with structure based on tree grammars. While structural types and matching have been studied in other work (notably XDuce, Relax NG, and previous formalizations of XML Schema), this is the first work to study the relation between named types and structural types, and the relation between matching and validation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Tim Bray, Jean Paoli, and C.M. Sperberg-McQueen. Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998. 21Google Scholar
  2. [2]
    Allen Brown, Matthew Fuchs, Jonathan Robie, and Philip Wadler. MSL-a model for W3C XML Schema. In Proceedings of International World Wide Web Conference, pages 191–200, Hong Kong, China, 2001. 22Google Scholar
  3. [3]
    James Clarke. XSL Transformations (XSLT) version 1.0. W3C Proposed Recommendation, October 1999. 21Google Scholar
  4. [4]
    James Clarke. TREX — Tree Regular Expressions for XML. Thai Open Source Software Center, February 2001. 21Google Scholar
  5. [5]
    James Clarke and Murata Makoto. RELAX NG specification. Oasis, December 2001. 21, 22Google Scholar
  6. [6]
    Sophie Cluet, Claude Delobel, Jérôme Siméon, and Katarzyna Smaga. Your mediators need data conversion! In Proceedings of ACM Conference on Management of Data (SIGMOD), pages 177–188, Seattle, Washington, June 1998. 21Google Scholar
  7. [7]
    H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications, 1997. 26, 30, 43Google Scholar
  8. [8]
    Haruo Hosoya and Benjamin C. Pierce. XDuce: an XML processing language. In International Workshop on the Web and Databases (WebDB’2000), Dallas, Texas, May 2000. 21, 22Google Scholar
  9. [9]
    Michael Kay. XSL Transformations (XSLT) version 2.0. W3C Working Draft, April 2002. 21Google Scholar
  10. [10]
    Murata Makoto. Document description and processing languages — regular language description for XML (relax), October 2000. 21Google Scholar
  11. [11]
    Yannis Papakonstantinou and Victor Vianu. DTD inference for views of XML data. In Proceedings of ACM Symposium on Principles of Database Systems (PODS), Dallas, Texas, May 2000. 26Google Scholar
  12. [12]
    Grzegorz Rozenberg and Arto Salomaa, editors. Handbook of Formal Languages. Springer-Verlag, 1997. 30, 43Google Scholar
  13. [13]
    Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. W3C Recommendation, May 2001. 21Google Scholar
  14. [14]
    XPath 2.0. W3C Working Draft, April 2002. 21Google Scholar
  15. [15]
    XQuery 1.0: An XML query language. W3C Working Draft, April 2002. 21Google Scholar
  16. [16]
    XQuery 1.0 formal semantics. W3C Working Draft, March 2002. 22, 24Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jérôme Siméon
    • 1
  • Philip Wadler
    • 2
  1. 1.Bell LaboratoriesMurray HillUSA
  2. 2.Avaya Labs ResearchBasking RidgeUSA

Personalised recommendations