[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

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

• To: xml-dev@l...
• Subject: [ANN] RelaxMeter (related to: XQuery and DTD/Schema?)
• From: Kohsuke Kawaguchi <kk@k...>
• Date: Mon, 08 Jul 2002 08:53:40 -0400
• In-reply-to: <00fa01c222bf$e0e13a30$4bc8a8c0@A...>
• References: <AOEKKCOOGNDOAHCLNEIFOEMEDCAA.mike@w...> <00fa01c222bf$e0e13a30$4bc8a8c0@A...>

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

http://www.kohsuke.org/relaxng/meter/

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

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.


regards,
----------------------
Kohsuke Kawaguchi
E-Mail: kk@k...

• References:
  • RE: XQuery and DTD/Schema?
    • From: "Michael Fitzgerald" <mike@w...>
  • Re: XQuery and DTD/Schema?
    • From: "Rick Jelliffe" <ricko@a...>

• Prev by Date: RE: XQuery and DTD/Schema?
• Next by Date: Re: ANN: Building Web Services the REST Way
• Previous by thread: Re: XQuery and DTD/Schema?
• Next by thread: RE: XQuery and DTD/Schema?
• Index(es):
  • Date
  • Thread