[Bug 10733] [XQuery11] Definition of group by expression not sufficent

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

--- Comment #3 from Jonathan Robie <jonathan.robie@redhat.com> 2010-12-05 19:48:23 UTC ---
(In reply to comment #2)
> We missed two cases:
> 
> 1. We need to say that no two items with different grouping keys are deep equal
> to each other.

I believe this part is already covered by the "if and only if" condition here:

[Definition: Two tuples T1 and T2 have equivalent grouping keys if and only if,
for each grouping variable GV, the atomized value of GV in T1 is deep-equal to
the atomized value of GV in T2, as defined by applying the function
fn:deep-equal using the appropriate collation.]

For each grouping variable, if two items are deep equal to each other, they
have equivalent grouping keys. For each grouping variable, if two items are not
deep equal to each other, they do not have equivalent grouping keys.

Am I missing something?

-- 
Configure bugmail: http://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 Sunday, 5 December 2010 19:48:25 UTC