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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Clarke, C., Makoto, M.: RELAX NG specification. Oasis (2001), http://www.relaxng.org/spec-20011203.html
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)
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)
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)
Murata, M., Lee, D., Mani, M.: Taxonomy of XML Schema Languages using Formal Language Theory. In: Extreme Markup Languages, Montreal, Canada (2001)
Novak, L., Kuznetsov, S.: Canonical Forms of XML Schemas. Programming and Computer Software 5, 65–80 (2003)
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
Siméon, J., Wadler, P.: The Essence of XML. In: POPL 2003, New Orlean, Loisiana, USA, January 15-17 (2003)
Extensible Markup Language (XML) 1.0 (Third Edition). W3C Working Draft (2004), http://www.w3.org/TR/2004/REC-xml-20040204
XML Schema Part 1: Structures Second Edition, W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-1
XML Schema Part 2: Datatypes Second Edition. W3C Working Draft (2004), http://www.w3.org/TR/xmlschema-2
XQuery 1.0 and XPath 2.0 Data Model, W3C Working Draft (2005), http://www.w3.org/TR/xpath-datamodel
XQuery 1.0: An XML Query Language. W3C Working Draft (2005), http://www.w3.org/TR/xquery
XML Information Set, W3C Working Draft (2004), http://www.w3.org/TR/xml-infoset
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)