Taxonomy of XML schema languages using formal language theory

Makoto Murata, Dongwon Lee, Murali Mani, Kohsuke Kawaguchi

Research output: Contribution to journalArticle

197 Citations (Scopus)

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).

Original languageEnglish (US)
Pages (from-to)660-674
Number of pages15
JournalACM Transactions on Internet Technology
Volume5
Issue number4
DOIs
StatePublished - Dec 1 2005

Fingerprint

Formal languages
Taxonomies
XML
Derivatives

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications

Cite this

Murata, Makoto ; Lee, Dongwon ; Mani, Murali ; Kawaguchi, Kohsuke. / Taxonomy of XML schema languages using formal language theory. In: ACM Transactions on Internet Technology. 2005 ; Vol. 5, No. 4. pp. 660-674.
@article{b72fbe69f57646a78f3ab6053cf16bad,
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).",
author = "Makoto Murata and Dongwon Lee and Murali Mani and Kohsuke Kawaguchi",
year = "2005",
month = "12",
day = "1",
doi = "10.1145/1111627.1111631",
language = "English (US)",
volume = "5",
pages = "660--674",
journal = "ACM Transactions on Internet Technology",
issn = "1533-5399",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

Taxonomy of XML schema languages using formal language theory. / Murata, Makoto; Lee, Dongwon; Mani, Murali; Kawaguchi, Kohsuke.

In: ACM Transactions on Internet Technology, Vol. 5, No. 4, 01.12.2005, p. 660-674.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Taxonomy of XML schema languages using formal language theory

AU - Murata, Makoto

AU - Lee, Dongwon

AU - Mani, Murali

AU - Kawaguchi, Kohsuke

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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).

AB - 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).

UR - http://www.scopus.com/inward/record.url?scp=33644699458&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33644699458&partnerID=8YFLogxK

U2 - 10.1145/1111627.1111631

DO - 10.1145/1111627.1111631

M3 - Article

AN - SCOPUS:33644699458

VL - 5

SP - 660

EP - 674

JO - ACM Transactions on Internet Technology

JF - ACM Transactions on Internet Technology

SN - 1533-5399

IS - 4

ER -