<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>1452</bug_id>
          
          <creation_ts>2005-05-16 15:33:24 +0000</creation_ts>
          <short_desc>[XQuery]: &quot;deterministic&quot; indicator for external functions</short_desc>
          <delta_ts>2005-09-29 11:19:17 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>XQuery 1.0</component>
          <version>Last Call drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Linux</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>WONTFIX</resolution>
          
          
          <bug_file_loc>http://lists.w3.org/Archives/Public/public-qt-comments/2005May/0217.html</bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>futureConsideration</keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="C. M. Sperberg-McQueen">cmsmcq</reporter>
          <assigned_to name="Don Chamberlin">chamberl</assigned_to>
          <cc>dengovatov</cc>
          
          <qa_contact name="Mailing list for public feedback on specs from XSL and XML Query WGs">public-qt-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>3262</commentid>
    <comment_count>0</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2005-05-16 15:33:24 +0000</bug_when>
    <thetext>[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 (&quot;deterministic&quot;).

 

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    ::=    &quot;declare&quot; &quot;function&quot; QName &quot;(&quot; ParamList?
(&quot;)&quot; | (&quot;)&quot; &quot;as&quot; SequenceType)) (EnclosedExpr | (&quot;external&quot; (&lt;&quot;not&quot;
&quot;deterministic&quot;&gt; | &quot;deterministic&quot;)?))

 

Daniel.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>2732</commentid>
    <comment_count>1</comment_count>
    <who name="Don Chamberlin">chamberl</who>
    <bug_when>2005-06-10 17:34:50 +0000</bug_when>
    <thetext>On May 16, the Query Working Group decided that we do not yet have enough with 
external functions to justify adding a &quot;deterministic&quot; clause to the syntax of 
a function declaration. Your request for this functionality will be 
reconsidered in a future version of XQuery.

Please let us know whether you are satisfied with this resolution of your 
comment.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>