OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   [ANN] RelaxMeter (related to: XQuery and DTD/Schema?)

[ Lists Home | Date Index | Thread Index ]

I wrote a simple tool that checks if a particular grammar written in RELAX
NG grammar is ambiguous or not.


I hope this tool contributes something to the discussion of the thread 
of "XQuery and DTD/Schema?"

One of the alleged problem of RELAX NG wrt XQuery (and several other
application domains) is its ability to express ambiguous grammars, which
makes it impossible to do PSVI with RELAX NG. This tool is a
proof-of-concept that unambiguous subset of RELAX NG can be easily

A schema judged as "unambiguous" by this tool is guaranteed to yield
only one type assignment, and the process of assigning types to XML
documents can be done *independently* from RELAX NG validation process.

The tool is licensed under the MIT license.

To be precise, this tool roughly checks if a grammar is in a class
called "single type". For detailed discussion about "single typeness",
wait for upcoming paper by MURATA Makoto et al.

Kohsuke Kawaguchi
E-Mail: kk@kohsuke.org


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS