DMCA
Taxonomy of xml schema languages using formal language theory (2001)
Cached
Download Links
| Venue: | EXTREME MARKUP LANGUAGES |
| Citations: | 234 - 6 self |
BibTeX
@INPROCEEDINGS{Murata01taxonomyof,
author = {Makoto Murata and Dongwon Lee and Murali Mani},
title = {Taxonomy of xml schema languages using formal language theory},
booktitle = {EXTREME MARKUP LANGUAGES},
year = {2001},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
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).
Keyphrases
formal language theory xml schema xml model implement schema language advanced validation algorithm relevant tree language rigorous manner efficient document validation algorithm simple framework formal framework main result schema language regular tree grammar xml schema language derivative-based validation relax ng grammatical concept w3c xml schema
