 |
|
|
Stefan Tilkov wrote:
"Is there a way to check whether an XPath expression could possibly be
true for a document conforming to a particular W3C XML Schema (or
Relax NG schema) without having access to the document? Is this
something that toolkits support?
E.g. if the schema disallows /root/element/subelement, the XPath
expression /root/element/subelement[0] cannot yield a non-null result
for any conforming document."
Stefan,
It's not possible to write a general algorithm that determines
whether or not an XPath expression could possibly be true
for all documents that conform to a schema. This problem is
undecidable. Also, the problem of whether or not an XPath
expression is satisfiable is undecidable.
For more details, please see:
http://www.idealliance.org/papers/extreme03/html/2003/Lyons01/EML2003Lyons01.html
Best regards,
Bob Lyons
XML and Java Consultant
www.unidex.com
|
|
| |
These Archives are provided for informational purposes only and have been generated directly from the Altova mailing list archive system and are comprised of the lists set forth on www.altova.com/list/index.html. Therefore, Altova does not warrant or guarantee the accuracy, reliability, completeness, usefulness, non-infringement of intellectual property rights, or quality of any content on the Altova Mailing List Archive(s), regardless of who originates that content. You expressly understand and agree that you bear all risks associated with using or relying on that content. Altova will not be liable or responsible in any way for any content posted including, but not limited to, any errors or omissions in content, or for any losses or damage of any kind incurred as a result of the use of or reliance on any content. This disclaimer and limitation on liability is in addition to the disclaimers and limitations contained in the Website Terms of Use and elsewhere on the site.
| |
| |
|
|
|
