Makoto Murata, Dongwon Lee and Murali Mani

Abstract

Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present a formal framework for XML schema languages. This framework helps to describe, compare, and implement such schema languages. Our main results are as follows: (1) four classes of tree languages, namely "local", "single-type", "restrained competition" and "regular"; (2) document validation algorithms for these classes; and (3) classification and comparison of schema languages: DocumentTypeDefinition, XMLSchema, DSD, XDuce, RELAX Core, and TREX.

Download

http://citeseer.nj.nec.com/murata00taxonomy.html

Related

ReasoningAboutXMLSchemaLanguagesUsingFormalLanguageTheory is an extended version of this paper with a more formal approach and proofs.

-- MartinBravenboer - 30 May 2002