[Bug 11147] [XQuery11] The rule for rewriting nondeterministic function calls is too strict

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11147

Oliver Hallam <oliver@cbcl.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |oliver@cbcl.co.uk

--- Comment #1 from Oliver Hallam <oliver@cbcl.co.uk> 2010-12-14 15:57:45 UTC ---
Here is another example:

(for $x in 1 to f() return g($x)) = (for $x in 1 to f() return h($x))

Imagine that f() is a non-deterministic function that returns 1 the first time
it is called and 2 the second time it is called.  This is a perfectly
acceptable non-deterministic function.

However, the number of calls to g and h are determined by the result returned
from f().  That means that the two calls to f() cannot be reordered, and so the
arguments to the = operator cannot be reordered.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 14 December 2010 15:57:47 UTC