Back to Search
Start Over
Taxonomy of XML schema languages using formal language theory
- Source :
- ACM Transactions on Internet Technology. 5:660-704
- Publication Year :
- 2005
- Publisher :
- Association for Computing Machinery (ACM), 2005.
-
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).
- Subjects :
- Document Structure Description
Computer Networks and Communications
Computer science
business.industry
Schematron
Programming language
XML validation
computer.software_genre
XML Schema Editor
Document Schema Definition Languages
Regular Language description for XML
Document Definition Markup Language
ComputingMethodologies_DOCUMENTANDTEXTPROCESSING
RELAX NG
Artificial intelligence
business
computer
Natural language processing
Subjects
Details
- ISSN :
- 15576051 and 15335399
- Volume :
- 5
- Database :
- OpenAIRE
- Journal :
- ACM Transactions on Internet Technology
- Accession number :
- edsair.doi...........ee0cb951145a67668e453b31ff30515b