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 2423 - Clearly define value equality
Summary: Clearly define value equality
Status: CLOSED WONTFIX
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Datatypes: XSD Part 2 (show other bugs)
Version: unspecified
Hardware: All All
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema comments list
URL:
Whiteboard: thimble, work, eq cluster
Keywords: resolved
Depends on: 2045 2048
Blocks: 2175 2499
  Show dependency treegraph
 
Reported: 2005-10-28 18:55 UTC by Sandy Gao
Modified: 2009-04-21 19:21 UTC (History)
0 users

See Also:


Attachments

Description Sandy Gao 2005-10-28 18:55:12 UTC
The spec needs to clearly define when actual values are equal. This relates to 
bug 2045 and bug 2048 about equality of values of list and union types.

A specific issue is to answer the question about whether the following 2 values 
are equal:
- a list value that only contains the integer value "5"
- the integer value "5"
Comment 1 C. M. Sperberg-McQueen 2005-11-11 22:03:59 UTC
We discussed this at astonishing length during the Toronto ftf meeting.

As far as the WG can tell, no schema + instance pair can be constructed
for which the result of schema-validity assessment depends on an
answer to this question.  To the extent that we wish to provide an
answer anyway, just to have a complete story, the majority view at the
ftf was that the integer 5 should be neither identical nor equal
to a singleton list containing an integer 5.

We agreed to instruct the editors to draft wording accordingly.
Comment 2 Dave Peterson 2005-11-11 22:48:10 UTC
(In reply to comment #1)
> We discussed this at astonishing length during the Toronto ftf meeting.
> 
> As far as the WG can tell, no schema + instance pair can be constructed
> for which the result of schema-validity assessment depends on an
> answer to this question.

Not at the meeting, but I concur with this conclusion.

>                           To the extent that we wish to provide an
> answer anyway, just to have a complete story, the majority view at the
> ftf was that the integer 5 should be neither identical nor equal
> to a singleton list containing an integer 5.

I strongly concur with this decision as well.
Comment 3 C. M. Sperberg-McQueen 2006-09-21 00:00:30 UTC
At the face to face meeting of January 2006 in St. Petersburg,
the Working Group decided not to take further action on this
issue in XML Schema 1.1.  (This issue was not discussed
separately; it was one of those which were dispatched by a
blanket decision that all other open issues would be closed
without action, unless raised again in last-call comments.)  Some
members of the Working Group expressed regret over not being able
to resolve all the issues dealt with in this way, but on the
whole the Working Group felt it better not to delay Datatypes 1.1
in order to resolve all of them.

This issue should have been marked as RESOLVED /WONTFIX at that
time, but apparently was not.  I am marking it that way now, to
reduce confusion.