Skip to main content

Algebraic Semantics of XML Schema

  • Conference paper
Advances in Databases and Information Systems (ADBIS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3631))

  • 462 Accesses

Abstract

The semantics of the core features of XML Schema in terms of the XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many-sorted algebra whose sorts are sets of data type values and different kinds of nodes and whose operations are data type operations and node accessors. It is shown that a document can be easily mapped to its implementation in terms of nodes and accessors defined on them.

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

Access this chapter

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. Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: A model for W3C XML Schema. In: Proc. 10th Int’l World Wide Web Conf., Hong Kong, pp. 191–200 (2001)

    Google Scholar 

  2. Clarke, C., Makoto, M.: RELAX NG specification. Oasis (2001), http://www.relaxng.org/spec-20011203.html

  3. Fernandez, M., Siméon, J., Wadler, P.: An Algebra for XML Query. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol. 1974, pp. 11–45. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Jagodish, H.V., Lakshmanan, V.S., Srivastatva, D., Thompson, K.: Tax: A Tree Algebra for XML. In: Proc. Intl. Workshop on databases and Programming Languages, Marino, Italy (2001)

    Google Scholar 

  5. Lellahi, K., Zamulin, A.: An object-oriented database as a dynamic system with implicit state. In: Caplinskas, A., Eder, J. (eds.) ADBIS 2001. LNCS, vol. 2151, pp. 239–252. Springer, Heidelberg (2001)

    Google Scholar 

  6. Murata, M., Lee, D., Mani, M.: Taxonomy of XML Schema Languages using Formal Language Theory. In: Extreme Markup Languages, Montreal, Canada (2001)

    Google Scholar 

  7. Novak, L., Kuznetsov, S.: Canonical Forms of XML Schemas. Programming and Computer Software 5, 65–80 (2003)

    Google Scholar 

  8. Novak, L., Zamulin, A.: Algebraic Semantics of XML Schema. Preprint No. 117, Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (2004), http://www.iis.nsk.su/persons/zamulin/zam-preprint117.ps

  9. Siméon, J., Wadler, P.: The Essence of XML. In: POPL 2003, New Orlean, Loisiana, USA, January 15-17 (2003)

    Google Scholar 

  10. Extensible Markup Language (XML) 1.0 (Third Edition). W3C Working Draft (2004), http://www.w3.org/TR/2004/REC-xml-20040204

  11. XML Schema Part 1: Structures Second Edition, W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-1

  12. XML Schema Part 2: Datatypes Second Edition. W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-2

  13. XQuery 1.0 and XPath 2.0 Data Model, W3C Working Draft (2005), http://www.w3.org/TR/xpath-datamodel

  14. XQuery 1.0: An XML Query Language. W3C Working Draft (2005), http://www.w3.org/TR/xquery

  15. XML Information Set, W3C Working Draft (2004), http://www.w3.org/TR/xml-infoset

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Novak, L., Zamulin, A. (2005). Algebraic Semantics of XML Schema. In: Eder, J., Haav, HM., Kalja, A., Penjam, J. (eds) Advances in Databases and Information Systems. ADBIS 2005. Lecture Notes in Computer Science, vol 3631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11547686_16

Download citation

  • DOI: https://doi.org/10.1007/11547686_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28585-4

  • Online ISBN: 978-3-540-31895-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics