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 13860 - [XQuery 3.0] tuples in the binding sequence
Summary: [XQuery 3.0] tuples in the binding sequence
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Working drafts
Hardware: PC Windows NT
: P2 minor
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-08-22 09:03 UTC by Michael Kay
Modified: 2013-06-19 08:41 UTC (History)
0 users

See Also:


Attachments

Description Michael Kay 2011-08-22 09:03:40 UTC
Section 3.9.4 has a paragraph that starts: "In the above example, the WindowStartCondition and WindowEndCondition are both true(), which causes each tuple in the binding sequence to be in a separate window."

For "tuple" read "item". The binding sequence is a sequence of items, not a sequence of tuples.

(Also, I think "true", perhaps in code font, is more appropriate than "true()".)

(In passing, I note that this section talks of the items in a sequence as if they are necessarily distinct. When we change the above to say "causes each item in the binding sequence to be in a separate window" we are expecting the reader to understand that when the sequence is ($node, $node, $node, $node, $node) then by "each item" we are thinking of the sequence as containing five items, rather than one. Most of the time the meaning is clear. Occasionally, though, the usage jars: for example the sentence "Thus, no item that occurs in one window can occur in another window drawn from the same binding sequence." could easily be misread as saying that if a node $N occurs in one window, then the same node cannot also occur in another window; but if $N appears twice in the binding sequence, then this reading is incorrect.)
Comment 1 Jonathan Robie 2011-09-10 21:42:01 UTC
(In reply to comment #0)
> Section 3.9.4 has a paragraph that starts: "In the above example, the
> WindowStartCondition and WindowEndCondition are both true(), which causes each
> tuple in the binding sequence to be in a separate window."
> 
> For "tuple" read "item". The binding sequence is a sequence of items, not a
> sequence of tuples.
> 
> (Also, I think "true", perhaps in code font, is more appropriate than
> "true()".)

Fixed.

> (In passing, I note that this section talks of the items in a sequence as if
> they are necessarily distinct. When we change the above to say "causes each
> item in the binding sequence to be in a separate window" we are expecting the
> reader to understand that when the sequence is ($node, $node, $node, $node,
> $node) then by "each item" we are thinking of the sequence as containing five
> items, rather than one. Most of the time the meaning is clear. Occasionally,
> though, the usage jars: for example the sentence "Thus, no item that occurs in
> one window can occur in another window drawn from the same binding sequence."
> could easily be misread as saying that if a node $N occurs in one window, then
> the same node cannot also occur in another window; but if $N appears twice in
> the binding sequence, then this reading is incorrect.)

For that one sentence, I added a parenthetical phrase to clarify:

<quote>
Thus, no item that occurs in one window can occur in another
window drawn from the same binding sequence <phrase diff="add">(unless the sequence contains the same item more than once).</phrase>
</quote>