W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2010

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 14 Dec 2010 15:57:45 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PSXG5-0005Qx-WD@jessica.w3.org>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:33 UTC