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

Re: XPath "validation"

Subject: Re: XPath "validation"
From: Michael Kay <mike@xxxxxxxxxxxx>
Date: Tue, 06 Dec 2011 15:52:06 +0000
Re:  XPath "validation"
On 06/12/2011 15:23, Norm Birkett wrote:
Given

(1) an XML schema (expressed in any schema language, though my strong preference would be RNG/C)

and

(2) an XPath path expression (whether XPath 1.0 or 2.0),

it should be possible to compute the "possibility" of the path expression's finding anything in an XML document that is valid under the schema, understood as one of the three following values:

* Guaranteed
* Possible
* Impossible

Question: Does there exist any software to compute "possibility" in this way?
Absolutely. Schema-aware XPath 2.0 (and XSLT/XQuery) processors such as Saxon-EE do exactly this.

Note that it makes much more sense with XSD than with RNG, because XSD associates types with nodes in the instance document, whereas RNG merely assesses validity or non-validity.

Michael Kay
Saxonica

Current Thread

PURCHASE STYLUS STUDIO ONLINE TODAY!

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

Buy Stylus Studio Now

Download The World's Best XML IDE!

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

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.