Lists Home |
Date 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.