[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 #2 from John Snelson <john.snelson@oracle.com>  2010-02-03 11:34:48 ---
(In reply to comment #1)
> Indicating determinism in the signature of the function item would make it part
> of the item's type, which I'm not convinced is wanted.

Well I guess I was thinking that determinism is part of the information
statically known about a function item. But maybe your right that this is
different to the function signature.

> Either way, shouldn't this be raised against Data Model 1.1 (Section 2.7)
> rather than XQuery 1.1?

It's against both Data Model 1.1 and XQuery 1.1. The XQuery 1.1 part is to add
rules to restrict optimization of dynamic function invocations if the function
item is 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 Wednesday, 3 February 2010 11:34:50 UTC