Taxonomy Of XMLSchema Languages Using Formal Language Theory

Program-Transformation.Org: The Program Transformation Wiki
Makoto Murata, Dongwon Lee and Murali Mani


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.



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

-- MartinBravenboer - 30 May 2002