This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
This is related to http://www.w3.org/Bugs/Public/show_bug.cgi?id=7863. Marking invalid, we'll apply the solution from 7863.