Title: Taxonomy of XML schema languages using formal language theory
Abstract: On the basis of regular tree grammars, we present a formal framework for XML schema languages. This framework helps to describe, compare, and implement such schema languages in a rigorous manner. Our main results are as follows: (1) a simple framework to study three classes of tree languages (local, single-type, and regular); (2) classification and comparison of schema languages (DTD, W3C XML Schema, and RELAX NG) based on these classes; (3) efficient document validation algorithms for these classes; and (4) other grammatical concepts and advanced validation algorithms relevant to an XML model (e.g., binarization, derivative-based validation).
Publication Year: 2005
Publication Date: 2005-11-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 409
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot