• From: Michael Kay <mike@s...>
• To: rjelliffe <rjelliffe@a...>
• Date: Fri, 28 Jan 2011 14:56:31 +0000

can say.
>
> ?? If the constraint is that  sum(//order/@value) > 826 must be true, 
> then it follows that //order/@value must have at least one member.

Fair enough. I was thinking the question was "what class of documents 
does this expression apply to", not "for what class of documents does 
this expression return true".

Michael Kay
Saxonica

• References:
  • Which algorithm do XML Schema validators use to decide if a stringmatches a regular expression?
    • From: "Costello, Roger L." <costello@m...>
  • Re: Which algorithm do XML Schema validators use to decideif a string matches a regular expression?
    • From: Michael Kay <mike@s...>
  • What class of grammars is an =?UTF-8?Q?XPath=3F?=
    • From: rjelliffe <rjelliffe@a...>
  • Re: What class of grammars is an XPath?
    • From: Dimitre Novatchev <dnovatchev@g...>
  • Re: What class of grammars is an XPath?
    • From: Michael Kay <mike@s...>
  • Re: What class of grammars is an =?UTF-8?Q?XPath=3F?=
    • From: rjelliffe <rjelliffe@a...>
  • Re: What class of grammars is an XPath?
    • From: Michael Kay <mike@s...>
  • Re: What class of grammars is an =?UTF-8?Q?XPath=3F?=
    • From: rjelliffe <rjelliffe@a...>