[Bug 1452] New: [XQuery]: "deterministic" indicator for external functions


           Summary: [XQuery]: "deterministic" indicator for external
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
               URL: http://lists.w3.org/Archives/Public/public-qt-
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: cmsmcq@w3.org
         QAContact: public-qt-comments@w3.org
                CC: dengovatov@bea.com

[Copied into Bugzilla from the comments list by
CMSMcQ.  See also thread beginning at 

We propose to add an optional clause to the external function
declaration to indicate whether the external function always returns the
same results for given argument values ("deterministic").


An example use case would be to allow users to indicate that two
external functions embedded into xquery: f:random() and
f:verySlowDeterministicExternalWebService() should be treated
differently by the query processor.


That can be implemented by changing FunctionDecl to


[26]    FunctionDecl    ::=    "declare" "function" QName "(" ParamList?
(")" | (")" "as" SequenceType)) (EnclosedExpr | ("external" (<"not"
"deterministic"> | "deterministic")?))



Received on Monday, 16 May 2005 15:39:04 UTC