[Bug 5089] [XQuery] Namespace undeclarations in the query prolog

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





------- Comment #2 from mike@saxonica.com  2007-10-16 13:06 -------
Proposal. In 4.12 after the production rule, add a new paragraph:

A NamespaceDecl represents a *Namespace Declaration* or (when the URILiteral is
zero-length) a *Namespace Undeclaration".

In the second paragraph, replace "If the URILiteral part of a namespace
declaration is a zero-length string, any existing namespace binding for the
given prefix is removed from the statically known namespaces." with
"[Definition: A Namespace Undeclaration removes any existing namespace binding
for the given prefix from the statically known namespaces.]"

In the 7th paragraph, starting "The namespace prefix specified in a namespace
declaration ..." change both occurrences of "declaration" to "declaration or
undeclaration".