[Bug 17312] [QT3] alternate result for K-DocumentURIFunc-2a

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17312

--- Comment #2 from Andrew Eisenberg <andrew.eisenberg@us.ibm.com> 2012-09-27 21:53:21 UTC ---
Michael, I agree that we want implementations to behave as you describe in
comment #1. 

I'm looking now at the note at the end of section 2.6, fn:document-uri:

"In the case of a document node $D returned by the fn:doc function, or a
document node at the root of a tree containing a node returned by the
fn:collection function, it will always be true that either fn:document-uri($D)
returns the empty sequence, or that the following expression is true:
fn:doc(fn:document-uri($D)) is $D. It is ·implementation-defined· whether this
guarantee also holds for document nodes obtained by other means, for example a
document node passed as the initial context node of a query or transformation."

The first sentence describes behavior for both fn:doc and fn:collection. I
suggest that these two cases should be separated. Add the following sentence to
Rules:

"In the case of a document node $D returned by the fn:doc function, it will
always be true that the following expression is true:
fn:doc(fn:document-uri($D)) is $D."

Change the Note to read:

"In the case of a document node $D at the root of a tree containing a node
returned by the fn:collection function, it will always be true that either
fn:document-uri($D) returns the empty sequence, or that the following
expression is true: fn:doc(fn:document-uri($D)) is $D. It is
·implementation-defined· whether this guarantee also holds for document nodes
obtained by other means, for example a document node passed as the initial
context node of a query or transformation."

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 27 September 2012 21:53:22 UTC