Skip to main content
Springer Nature Link
Log in

The Essence of XML (Preliminary Version)

  • Conference paper
  • First Online:
Functional and Logic Programming (FLOPS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2441))

Included in the following conference series:

  • 264 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Tim Bray, Jean Paoli, and C.M. Sperberg-McQueen. Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998. 21

    Google Scholar 

  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. 22

    Google Scholar 

  3. James Clarke. XSL Transformations (XSLT) version 1.0. W3C Proposed Recommendation, October 1999. 21

    Google Scholar 

  4. James Clarke. TREX — Tree Regular Expressions for XML. Thai Open Source Software Center, February 2001. 21

    Google Scholar 

  5. James Clarke and Murata Makoto. RELAX NG specification. Oasis, December 2001. 21, 22

    Google Scholar 

  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. 21

    Google Scholar 

  7. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications, 1997. 26, 30, 43

    Google Scholar 

  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, 22

    Google Scholar 

  9. Michael Kay. XSL Transformations (XSLT) version 2.0. W3C Working Draft, April 2002. 21

    Google Scholar 

  10. Murata Makoto. Document description and processing languages — regular language description for XML (relax), October 2000. 21

    Google Scholar 

  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. 26

    Google Scholar 

  12. Grzegorz Rozenberg and Arto Salomaa, editors. Handbook of Formal Languages. Springer-Verlag, 1997. 30, 43

    Google Scholar 

  13. Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. W3C Recommendation, May 2001. 21

    Google Scholar 

  14. XPath 2.0. W3C Working Draft, April 2002. 21

    Google Scholar 

  15. XQuery 1.0: An XML query language. W3C Working Draft, April 2002. 21

    Google Scholar 

  16. XQuery 1.0 formal semantics. W3C Working Draft, March 2002. 22, 24

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bell Laboratories, Murray Hill, NJ, 07974, USA

    Jérôme Siméon

  2. Avaya Labs Research, Basking Ridge, NJ, 07920, USA

    Philip Wadler

Authors
  1. Jérôme Siméon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philip Wadler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematical Informatics, University of Tokyo, Hongo 7-3-1, Bunkyo-Ku, Tokyo, 113-8656, Japan

    Zhenjiang Hu

  2. Department of Informatic Languages and Systems, Universidad Complutense de Madrid, Av. Complutense s/n, 28040, Madrid, Spain

    Mario Rodríguez-Artalejo

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Siméon, J., Wadler, P. (2002). The Essence of XML (Preliminary Version). In: Hu, Z., Rodríguez-Artalejo, M. (eds) Functional and Logic Programming. FLOPS 2002. Lecture Notes in Computer Science, vol 2441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45788-7_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-45788-7_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44233-2

  • Online ISBN: 978-3-540-45788-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics