Home. 
.

transparent

transparent

transparent

Altova Mailing List Archives


Re: [xml-dev] XPath and XSD/RNG

From: Vladimir Gapeyev <vgapeyev@----.-----.--->
To: Stefan Tilkov <stefan.tilkov@-----.--->
Date: 6/1/2005 3:34:00 PM
On Wed, 1 Jun 2005, 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.

An XQuery processor that implements static typing should be useful here.
XQuery stipulates that if it can be statically determined that an
expression $x/path (where the variable $x is declared to have your
schema's type) always returns the empty sequence, this should be
manifested as a compile-time error.

The same could apply to XSLT 2.0, but I am not sure.

Vladimir


transparent
Print
Mail
Digg
delicious
Disclaimer
.

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.

.
.

transparent

transparent