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. -- Main.MartinBravenboer - 30 May 2002