The essence of XML

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of 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 a previous formalization 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.

[1]  Sophie Cluet,et al.  Your mediators need data conversion! , 1998, SIGMOD '98.

[2]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[3]  Benjamin C. Pierce,et al.  XDuce: A Typed XML Processing Language (Preliminary Report) , 2000, WebDB.

[4]  Philip Wadler,et al.  The Essence of XML (Preliminary Version) , 2002, FLOPS.

[5]  Frank Neven,et al.  Automata theory for XML researchers , 2002, SGMD.

[6]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[7]  John C. Reynolds,et al.  The essence of ALGOL , 1997 .

[8]  Philip Wadler,et al.  MSL — a model for W3C XML schema , 2001, WWW '01.

[9]  John C. Mitchell,et al.  Theoretical aspects of object-oriented programming: types, semantics, and language design , 1994, Choice Reviews Online.

[10]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[11]  Peter Buneman,et al.  Theoretical Aspects of Object-Oriented Programming , 1994 .

[12]  John C. Reynolds,et al.  Syntactic control of interference , 1978, POPL.

[13]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[14]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[15]  S. Boag,et al.  XQuery 1.0 : An XML query language, W3C Working Draft 12 November 2003 , 2003 .

[16]  Hubert Comon,et al.  Tree automata techniques and applications , 1997 .

[17]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[18]  Benjamin C. Pierce,et al.  Xduce: an xml processing language , 1999 .

[19]  Yannis Papakonstantinou,et al.  DTD inference for views of XML data , 2000, PODS.