8663 2010-01-06 21:33:05 +0000 [XQuery11] additional rule needed for nondeterministic function 2010-01-26 17:41:18 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Working drafts PC Windows XP RESOLVED INVALID http://www.w3.org/TR/2009/WD-xquery-11-20091215/#FunctionDeclns P2 normal --- 1 andrew.eisenberg jonathan.robie public-qt-comments oldest_to_newest 30684 0 andrew.eisenberg 2010-01-06 21:33:05 +0000 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. 31241 1 jonathan.robie 2010-01-26 17:41:18 +0000 This is related to http://www.w3.org/Bugs/Public/show_bug.cgi?id=7863. Marking invalid, we'll apply the solution from 7863.