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

Re: XPath and XSD/RNG

• To: Stefan Tilkov <stefan.tilkov@i...>
• Subject: Re: XPath and XSD/RNG
• From: Vladimir Gapeyev <vgapeyev@s...>
• Date: Wed, 1 Jun 2005 11:33:27 -0400 (EDT)
• Cc: xml-dev@l...
• In-reply-to: <A0785E55-7250-4F74-BC2C-847C37C3B80F@i...>
• References: <43571.64.81.75.3.1117141555.squirrel@w...><f5bhdgpqbdt.fsf@p...> <f5b1x7mp5rn.fsf_-_@p...><A0785E55-7250-4F74-BC2C-847C37C3B80F@i...>

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

• References:
  • Showcase of useful pipelines from Markup Technology
    • From: ht@m... (Henry S. Thompson)
  • XPath and XSD/RNG
    • From: Stefan Tilkov <stefan.tilkov@i...>

• Prev by Date: xml faq has moved. May 05
• Next by Date: Why XML for Messaging?
• Previous by thread: XPath and XSD/RNG
• Next by thread: RE: XPath and XSD/RNG
• Index(es):
  • Date
  • Thread