[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 #10 from John Snelson <john.snelson@oracle.com>  2010-02-12 00:51:02 ---
(In reply to comment #9)
> In discussion, I put forward an alternative suggestion: it should not be
> permitted to bind a function item to a non-deterministic function. This would
> mean that the compiler will always know statically when calling a dynamic
> function invocation that the result is deterministic. This seems important for
> optimization.

Given time to reconsider, I've got sympathy with this suggestion. I don't think
that the optimization options are totally lost with the possibility of
non-deterministic function items (ie: partial specialization, data flow
analysis), but they are complicated and I don't see an important use case for
them.

This approach would seem to require a firming up of the static analysis of
determinism, so that the error conditions are well defined.


-- 
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, 12 February 2010 00:51:04 UTC