[Bug 2048] R-182: clarify equality and identity of union values

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





------- Additional Comments From davep@iit.edu  2005-10-14 00:42 -------
(In reply to comment #0)

> Response from Henry:
> http://lists.w3.org/Archives/Public/www-xml-schema-comments/2002OctDec/0052.html
> 
> The Working Group discussed this issue at the May 2005 face
> to face meeting and instructed the editors to prepare
> wording proposals.  [The minutes do not explicitly say, but
> the editors' recollection is, that the agreement was that
> two unions may have overlapping value spaces, and that
> equality of values is based on the identity of the value
> (viewed as a member of a primitive datatype's value space),
> not on the additional identity or structural similarity of
> the datatypes whose value spaces it may be a member of.  In
> other words, the two values in the example offered by Stefan
> Wachter are identical.]
> 
> Note that we need both a 1.0 corrigendum and a wording
> proposal for 1.1.  Because identity and equality are
> distinct relations in 1.1 but not in 1.0, the wording
> proposals will not necessarily be the same.  This
> record is for the 1.0 corrigendum.

That is also my understanding of identity and equality for 1.1:  IF
the two values are in the same primitive datatype's value space,
and are equal/identical, then in all derivations and unions they
are also equal/identical.

Received on Friday, 14 October 2005 00:42:41 UTC