This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 8663 - [XQuery11] additional rule needed for nondeterministic function
Summary: [XQuery11] additional rule needed for nondeterministic function
Status: RESOLVED INVALID
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Working drafts
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL: http://www.w3.org/TR/2009/WD-xquery-1...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-01-06 21:33 UTC by Andrew Eisenberg
Modified: 2010-01-26 17:41 UTC (History)
0 users

See Also:

Attachments

Description Andrew Eisenberg 2010-01-06 21:33:05 UTC 
The bnf in section 4.17 Function Declaration states:

[31]    FunctionDecl           ::=    "declare" FunctionOptions "function" QName "(" ParamList? ")" ("as" SequenceType)? (FunctionBody | "external")
[32]    FunctionOptions        ::=    (PrivateOption | DeterministicOption)*
[33]    PrivateOption          ::=    "private" | "public"
[34]    DeterministicOption    ::=    "deterministic" | "nondeterministic"


We later say:

"An XQuery processor can use static analysis to determine whether a user-defined function is deterministic (the syntax of function declarations does not allow a user-defined function to be declared deterministic or nondeterministic)."


We need to raise a static error if DeterministicOption and "external" are both specified.
Comment 1 Jonathan Robie 2010-01-26 17:41:18 UTC 
This is related to http://www.w3.org/Bugs/Public/show_bug.cgi?id=7863.

Marking invalid, we'll apply the solution from 7863.