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 8222 - [XQuery11] Equivalence of two [atomic values in Group By, distinct-values()
Summary: [XQuery11] Equivalence of two [atomic values in Group By, distinct-values()
Status: RESOLVED WONTFIX
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Working drafts
Hardware: PC Linux
: P2 normal
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: 2009-11-06 19:31 UTC by Jonathan Robie
Modified: 2010-05-11 21:45 UTC (History)
2 users (show)

See Also:


Attachments

Description Jonathan Robie 2009-11-06 19:31:39 UTC
Should we define equivalence of two atomic values in Group By so that it is the same definition used for equivalence in distinct-values()?
Comment 1 Michael Kay 2010-01-13 08:43:33 UTC
The simple answer is yes. But it's not quite as simple as that, because of transitivity problems: see erratum E44

http://www.w3.org/XML/2007/qt-errata/xpath-functions-errata.html#E44

In fact distinct-values() provides rules for partitioning a set of atomic values into groups that, except in edge cases, satisfy the principle that all the values in a single group are equal, while the values found in one group are not-equal to the values found in another group. xsl:for-each-group uses the same rules (but not by reference), and XQuery 1.1 grouping should do likewise.
Comment 2 Jonathan Robie 2010-05-11 21:45:18 UTC
I'm closing this as WONTFIX, as decided in today's WG telcon.

There's no proposal, this is editorial in nature, it's not urgent, and it's a potential time swamp. We are willing to reopen if someone produces a clean proposal.