[Bug 8724] [XQuery 1.1] Function items need to know if they are non-deterministic

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





--- Comment #3 from John Snelson <john.snelson@oracle.com>  2010-02-05 11:47:47 ---
Proposal:

Data Model 1.1, 2.7 Function Items

Insert 4th bullet

* Whether the function is deterministic (either declared or determined by
static analysis)

XQuery 1.1, 3.1.8 Dynamic Function Invocation

Insert 4th and 5th paragraph

A function item can be deterministic or non-deterministic. When rewriting
expressions into equivalent expressions, as described in 2.3.4 Errors and
Optimization, a conforming XQuery implementation must ensure that each run-time
dynamic invocation of a non-deterministic function item in the original
expression results in exactly one run-time invocation of the function item in
the rewritten expression.

NOTE: The deterministic behaviour of a function item is a dynamic run-time
property, but may be available through static analysis in some cases. Unless
otherwise determined, it is most correct to assume a function item for any
given dynamic function invocation will be non-deterministic.


-- 
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 Friday, 5 February 2010 11:47:48 UTC