Advertisement

Algebraic Semantics of XML Schema

  • Leonid Novak
  • Alexandre Zamulin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3631)

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.

Keywords

Complex Type Element Node Algebraic Semantic Node Accessor Document Schema 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Clarke, C., Makoto, M.: RELAX NG specification. Oasis (2001), http://www.relaxng.org/spec-20011203.html
  3. 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)CrossRefGoogle Scholar
  4. 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. 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. 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. 7.
    Novak, L., Kuznetsov, S.: Canonical Forms of XML Schemas. Programming and Computer Software 5, 65–80 (2003)Google Scholar
  8. 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. 9.
    Siméon, J., Wadler, P.: The Essence of XML. In: POPL 2003, New Orlean, Loisiana, USA, January 15-17 (2003)Google Scholar
  10. 10.
    Extensible Markup Language (XML) 1.0 (Third Edition). W3C Working Draft (2004), http://www.w3.org/TR/2004/REC-xml-20040204
  11. 11.
    XML Schema Part 1: Structures Second Edition, W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-1
  12. 12.
    XML Schema Part 2: Datatypes Second Edition. W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-2
  13. 13.
    XQuery 1.0 and XPath 2.0 Data Model, W3C Working Draft (2005), http://www.w3.org/TR/xpath-datamodel
  14. 14.
    XQuery 1.0: An XML Query Language. W3C Working Draft (2005), http://www.w3.org/TR/xquery
  15. 15.
    XML Information Set, W3C Working Draft (2004), http://www.w3.org/TR/xml-infoset

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Leonid Novak
    • 1
  • Alexandre Zamulin
    • 2
  1. 1.Institute of System ProgrammingRussian Academy of SciencesMoscowRussia
  2. 2.A.P. Ershov Institute of Informatics SystemsSiberian Branch of Russian Academy of SciencesNovosibirskRussia

Personalised recommendations