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

Revision: r1.1 - 30 May 2002 - 20:30 - MartinBravenboer
Transform > XDuce > SchemaLanguageForXML > TaxonomyOfXMLSchemaLanguagesUsingFormalLanguageTheory
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback