The Essence of XML (Preliminary Version)

Jérôme Siméon, Philip Wadler

Research output: Chapter in Book/Report/Conference proceedingChapter

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.
Original languageEnglish
Title of host publicationFunctional and Logic Programming
Subtitle of host publication6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
EditorsZhenjiang Hu, Mario Rodríguez-Artalejo
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages21-46
Number of pages26
ISBN (Electronic)978-3-540-45788-6
ISBN (Print)978-3-540-44233-2
DOIs
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2441
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'The Essence of XML (Preliminary Version)'. Together they form a unique fingerprint.

Cite this