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

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1452

           Summary: [XQuery]: "deterministic" indicator for external
                    functions
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
               URL: http://lists.w3.org/Archives/Public/public-qt-
                    comments/2005May/0217.html
        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 
http://lists.w3.org/Archives/Public/public-qt-comments/2005May/0217.html] 

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")?))

 

Daniel.

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