> I have been trying to find a related tool/function for some time (and
> may well have missed it in my search) - an x-path validation tool.
> Such a tool would be capable of validating a given x-path against a
> schema.
This problem is undecidable. I've written a program that can determine
whether a path is a subpath of another path given a DTD, but it cannot deal
with arbitrary expressions.
For example, the path id('foo')/bar/baz cannot be checked since you cannot
be certain that the element with id 'foo' will be an element that has 'bar'
as a child.
In any case, my code is not in a presentable form at the moment, it's
ongoing research :)
Christian Nentwich
