Taxonomy Of XMLSchema Languages Using Formal Language Theory
Program-Transformation.Org: The Program Transformation Wiki
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
