• To: Dan Shoutis <dan.shoutis@g...>
• Subject: Re: Relax-ng test suites & sample data?; Pre-pre-announce:relax-ng subtype checker
• From: Anders Møller <amoeller@b...>
• Date: Fri, 21 Oct 2005 08:38:20 +0200
• Cc: xml-dev@l...
• In-reply-to: <48be98d70510201848x52ec40f2q87601ccabe7f44d@m...>
• Organization: BRICS, Department of Computer Science, University of Aarhus
• References: <48be98d70510201848x52ec40f2q87601ccabe7f44d@m...>
• User-agent: Mozilla Thunderbird 1.0.6 (X11/20050716)

Dan Shoutis wrote:
> ...
> Additionally, I'd like to let anyone who is interested know that I'm in 
> the process of building a (toy) relax-ng subtype checker: given two 
> simple-syntax grammars a and b, it can check that all instances matched 
> by a will also be matched by b (that is, a <= b).
> ...

Can you tell more about how your "regular hedge grammar subtype prover" 
works?

You might be interested in this paper: 
http://www.brics.dk/~amoeller/papers/xactschemas/abstract.html
(in particular the last part of Section 6) which also discusses these 
issues.

/Anders

• References:
  • Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
    • From: Dan Shoutis <dan.shoutis@g...>

• Prev by Date: Re: XPath/XQuery - Typed Value Determination
• Next by Date: Call for Demonstration Proposals - PLAN-X 2006
• Previous by thread: Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
• Next by thread: Re: Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
• Index(es):
  • Date
  • Thread