<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>2045</bug_id>
          
          <creation_ts>2005-09-08 22:20:11 +0000</creation_ts>
          <short_desc>R-181:  clarify equality and identity of lists (error, corrigendum needed)</short_desc>
          <delta_ts>2007-03-29 18:48:46 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XML Schema</product>
          <component>Datatypes: XSD Part 2</component>
          <version>1.0 only</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Linux</op_sys>
          <bug_status>ASSIGNED</bug_status>
          <resolution></resolution>
          
          
          <bug_file_loc>http://www.w3.org/2001/05/xmlschema-rec-comments.html#pfiListEquality</bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>needsDrafting</keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          <blocked>2423</blocked>
          <everconfirmed>1</everconfirmed>
          <reporter name="C. M. Sperberg-McQueen">cmsmcq</reporter>
          <assigned_to name="C. M. Sperberg-McQueen">cmsmcq</assigned_to>
          
          
          <qa_contact name="XML Schema comments list">www-xml-schema-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>5899</commentid>
    <comment_count>0</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2005-09-08 22:20:11 +0000</bug_when>
    <thetext>[This issue was originally raised by Stefan Wachter in
November 2002.  It was booked as Rec Comment R-181 and is
now being transferred into Bugzilla.]
 
When a list valued element or attribute is used as a key
then the equality of the values is important. In the
following example there are 3 lists with item types &quot;Name&quot;,
&quot;double&quot;, &quot;nameOrDouble&quot;:

  &lt;simpleType name=&quot;l1&quot;&gt;
    &lt;list itemType=&quot;Name&quot;/&gt;
  &lt;simpleType&gt;
  
  &lt;simpleType name=&quot;l2&quot;&gt;
    &lt;list itemType=&quot;double&quot;/&gt;
  &lt;simpleType&gt;
  
  &lt;simpleType name=&quot;l3&quot;&gt;
    &lt;list itemType=&quot;tns:nameOrDouble&quot;/&gt;
  &lt;simpleType&gt;
  
  &lt;simpleType name=&quot;nameOrDouble&quot;&gt;
    &lt;union memberTypes=&quot;Name double&quot;/&gt;
  &lt;simpleType&gt;
  
Are these lists equal?
  
     1. Items types of lists are different but item types of
        items are equal: 

          &lt;element xsi:type=&quot;l1&quot;&gt;1.0 2.0&lt;element&gt; 
          = &lt;element xsi:type=&quot;l3&quot;&gt;1.0 2.0&lt;element&gt;

     2. Item types of lists are different but there are no
        items.

          &lt;element xsi:type=&quot;l1&quot;/&gt; 
          = &lt;element xsi:type=&quot;l2&quot;/&gt;

What are the exact rules for comparing lists?

Originally raised in:
http://lists.w3.org/Archives/Public/xmlschema-dev/2002Nov/0066.html

Response from Henry Thompson on 18 November 2002, agreeing
that the rules should be cleaned up.
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2002OctDec/0051.html

Proposal from Ashok Malhotra, 29 November 2003:
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2003Nov/0054.html

Discussed at the 2004-02-12 telecon. Decided that we need
new draft text based on current 2E.

Discussed again at the May 2005 face to face meeting.

Action NC2005-15: Datatype editors to resolve R-181 by
defining identity and equality of lists in terms of pairwise
member identity and equality, respectively.

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.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5902</commentid>
    <comment_count>1</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2005-09-08 22:30:54 +0000</bug_when>
    <thetext>See bug 2046 and bug 2047 for the 1.1 version of this issue.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>