Re: Relax-ng test suites & sample data?; Pre-pre-announce: rel

To: Dan Shoutis <dan.shoutis@g...>
Subject: Re: Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
From: Daniel Veillard <veillard@g...>
Date: Sat, 22 Oct 2005 10:27:21 +0200
Cc: xml-dev@l...
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=X5FpuJgOwRmGnj//RLcJu+uEeu9SEDjg2fIWryBEqOIUvZ3e49S/z+HIKQDrlsq6Og0ewt+Q+K/Ik8fn41WOe6HV58m4INujHt/VuWlZsv8rQV4AlmP/IZAzpaIA6kaFgfIXCSm1wPzr1BSRSfzowVK93w8mf1tDTMV8ovXWOro=
In-reply-to: <48be98d70510210813u23eaa302w5f3880b6b2cb07ce@m...>
References: <48be98d70510201848x52ec40f2q87601ccabe7f44d@m...> <43588CDC.2030504@b...> <48be98d70510210803x1cd588cbwd6d1acdae0652e51@m...> <48be98d70510210813u23eaa302w5f3880b6b2cb07ce@m...>

Play the video

On 10/21/05, Dan Shoutis <dan.shoutis@g...> wrote:

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

Certainly; I'm not the one who came up with it so here are some
references -- and thank you for yours, a quick glance indicates that
it's taking a slightly different approach & may be very worthwhile to
read:

libxml2 also uses its own algorithm which is not based on derivations (let's say it is data driven, instead of
accumulating derivations I accumulate state based on (subexpr, current node) tuples when the part of the RNG expression can't be compiled to a regexp like automata).
For test data there is James Clark test suite and my own accumulated data, both can be found in libxml2
source tree under test/relaxng .
For containment work you could check the recent papers from Nabil Layaida, though he has been working
on this more in an XPath perspective, but I guess some of the tools and techniques could be reused in other
contexts like RNG validation.

Daniel

References:
- Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
  - From: Dan Shoutis <dan.shoutis@g...>
- Re: Relax-ng test suites & sample data?; Pre-pre-announce:relax-ng subtype checker
  - From: Anders Møller <amoeller@b...>
- Re: Relax-ng test suites & sample data?; Pre-pre-announce: relax-ng subtype checker
  - From: Dan Shoutis <dan.shoutis@g...>

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

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Subscribe in XML format

RSS 2.0
Atom 0.3

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.

Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >