Re: [xml-dev] Duality of quantifiers

[Michael Kay <mike@saxonica.com>]

A decent optimizer will convert count(XXX)=0 to empty(XXX), but you run the risk that without a decent optimizer, the processor will carefully count how many items satisfy the predicate rather than returning a result as soon as it finds the first.

Michael Kay
Saxonica

> On 10 Jul 2018, at 23:06, Peter Flynn <peter@silmaril.ie> wrote:
> 
> On 10/07/18 22:42, Costello, Roger L. wrote:
>> Hi Folks,
>> 
>> So, you’ve got an XML document containing a bunch of integers:
>> 
>> <Test>
>>     <x>2</x>
>>     <x>4</x>
>>     <x>5</x>
>>     <x>7</x>
>>     <x>10</x>
>>    …
>> </Test>
>> 
>> You want to know: Is it true that not all the integers are even?
> 
> I'd test if count(Test/x[. mod 2 gt 0])=0
> 
> But I don't know if there is a penalty in processing that compared with
> the more complex solutions.
> 
> ///Peter
> -- 
> Peter Flynn | Principal Consultant | Silmaril Consultants | Cork 🇮🇪
> Ireland | ☎ +353 86 824 5333 | ✉ peter@silmaril.ie | 🌍
> blogs.silmaril.ie/peter
> 
> _______________________________________________________________________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php