[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 #6 from Michael Dyck <jmdyck@ibiblio.org>  2010-02-06 01:51:27 ---
(In reply to comment #5)
> (In reply to comment #4)
> > (In reply to comment #3)
> > > 
> > > * Whether the function is deterministic (either declared or determined by
> > > static analysis)
> > 
> > The parenthetical is incorrect, as it implies that the property can be
> > determined statically, which you point out is not (always) the case.
> 
> 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).


-- 
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 01:51:29 UTC