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

It's a Very Bad Idea to "determine" that anything is deterministic 
when it is not.  The other way around -- claiming that it's not 
deterministic when it in fact is -- isn't nearly as bad.  And that's 
why SQL uses the phrases "deterministic" and "possibly nondeterministic".

Hope this helps,
    Jim

At 2/5/2010 07:41 PM, bugzilla@wiggum.w3.org wrote:
>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.

========================================================================
Jim Melton --- Editor of ISO/IEC 9075-* (SQL)     Phone: +1.801.942.0144
   Chair, W3C XML Query WG; XQX (etc.) editor       Fax : +1.801.942.3345
Oracle Corporation        Oracle Email: jim dot melton at oracle dot com
1930 Viscounti Drive      Standards email: jim dot melton at acm dot org
Sandy, UT 84093-1063 USA          Personal email: jim at melton dot name
========================================================================
=  Facts are facts.   But any opinions expressed are the opinions      =
=  only of myself and may or may not reflect the opinions of anybody   =
=  else with whom I may or may not have discussed the issues at hand.  =
========================================================================

Received on Saturday, 6 February 2010 23:02:29 UTC