Taxonomy of XML Schema Languages Using Formal Language Theory

Taxonomy of XML Schema Languages Using Formal Language Theory. Murata, M., Lee, D., & Mani, M. In
abstract bibtex

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: DTD, XML-Schema, DSD, XDuce, RELAX Core, and TREX.

@inproceedings{ mur01,
  crossref = {xmarkup2001},
  author = {Makoto Murata and Dongwon Lee and Murali Mani},
  title = {Taxonomy of XML Schema Languages Using Formal Language Theory},
  topic = {dtd[0.7] xsd[0.7] dsd2[0.7] xduce[0.7] relax[0.7] trex[0.7]},
  uri = {http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Murata01/EML2001Murata01-toc.html},
  abstract = {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: DTD, XML-Schema, DSD, XDuce, RELAX Core, and TREX.}
}

Downloads: 0

{"_id":{"_str":"53ff72c37c90ec6e1300157a"},"__v":0,"authorIDs":[],"author_short":["Murata, M.","Lee, D.","Mani, M."],"bibbaseid":"murata-lee-mani-taxonomyofxmlschemalanguagesusingformallanguagetheory","bibdata":{"downloads":0,"role":"author","bibbaseid":"murata-lee-mani-taxonomyofxmlschemalanguagesusingformallanguagetheory","uri":"http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Murata01/EML2001Murata01-toc.html","type":"inproceedings","topic":"dtd[0.7] xsd[0.7] dsd2[0.7] xduce[0.7] relax[0.7] trex[0.7]","title":"Taxonomy of XML Schema Languages Using Formal Language Theory","key":"mur01","id":"mur01","crossref":"xmarkup2001","bibtype":"inproceedings","bibtex":"@inproceedings{ mur01,\n crossref = {xmarkup2001},\n author = {Makoto Murata and Dongwon Lee and Murali Mani},\n title = {Taxonomy of XML Schema Languages Using Formal Language Theory},\n topic = {dtd[0.7] xsd[0.7] dsd2[0.7] xduce[0.7] relax[0.7] trex[0.7]},\n uri = {http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Murata01/EML2001Murata01-toc.html},\n abstract = {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: DTD, XML-Schema, DSD, XDuce, RELAX Core, and TREX.}\n}","author_short":["Murata, M.","Lee, D.","Mani, M."],"author":["Murata, Makoto","Lee, Dongwon","Mani, Murali"],"abstract":"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: DTD, XML-Schema, DSD, XDuce, RELAX Core, and TREX."},"bibtype":"inproceedings","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:47.152Z","downloads":0,"keywords":[],"search_terms":["taxonomy","xml","schema","languages","using","formal","language","theory","murata","lee","mani"],"title":"Taxonomy of XML Schema Languages Using Formal Language Theory","year":null,"dataSources":["mL7NKvaepNEWFcMvG"]}