Re: [xml-dev] Duality of quantifiers

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 <[email protected]> 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 | ✉ [email protected] | 🌍
> 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: [email protected]
> subscribe: [email protected]
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php


_______________________________________________________________________

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: [email protected]
subscribe: [email protected]
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php