Re: [Bulk] Re: XPath "validation"

Anthony B. Coates presented "'Full Impact' Schema differencing" at XML
Prague 2010. It uses a thing called XML Zebra, available from
http://www.xmlzebra.com, to generate all XPaths from an XML Schema.

-W

On 06/12/2011, Norm Birkett <Norm.Birkett@xxxxxxxxx> 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? Or anything like it? Or anything like it for any other restricted set
of XPath expressions?

Related question: Does there exist software that infers schema information
from XPath expressions?

"Software" here doesn't have to be commercial, or much more than just some
researcher's script collection. :)

Norm Birkett