[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 #7 from John Snelson <john.snelson@oracle.com>  2010-02-06 02:41:30 ---
(In reply to comment #6)
> (In reply to comment #5)
> > No; it can always be determined statically at the point of function item
> > creation. It's at invocation that it can't always be accurately determined
> > statically
> 
> Consider a function item (A) whose function's body is basically a dynamic
> function invocation (DFI). Since the determinism of the function item (B)
> invoked by the DFI can't necessarily be determined statically, neither can the
> determinism of the original function item (A).

But the determinism of a dynamic function invocation can always be statically
determined - just not always accurately.


-- 
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 Saturday, 6 February 2010 02:41:32 UTC