<?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>2012</bug_id>
          
          <creation_ts>2005-09-07 20:08:54 +0000</creation_ts>
          <short_desc>R-034: Potential problem with description of final for simpleType in Structures</short_desc>
          <delta_ts>2009-04-21 19:24:50 +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>Structures: XSD Part 1</component>
          <version>1.0 only</version>
          <rep_platform>All</rep_platform>
          <op_sys>All</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Sandy Gao">sandygao</reporter>
          <assigned_to name="Henry S. Thompson">ht</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>5814</commentid>
    <comment_count>0</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-07 20:08:54 +0000</bug_when>
    <thetext>Section 3.14.6 of Structures states the following for bullet 4:

If the {base type definition} is not the simple ur-type definition, all of the 
following must be true:

4.1 The definition must be a valid restriction as defined in Derivation Valid 
(Restriction, Simple).

4.2 If {variety} is not atomic, then the appropriate case among the following 
must be true:

4.2.1 If the {variety} is list, then the {final} of the {base type definition} 
must not contain list. 
4.2.2 If the {variety} is union, then the {final} of the {base type definition} 
must not contain union. 
However, lists and unions have the ur-type definition as a base.

And, shouldn&apos;t the following rules be stated?

If the {variety} is list, then the {final} of the {item type definition} must 
not contain list. 
If the {variety} is union, then the {final} of all the {member type 
definitions} must not contain union.

See
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0294.html

Henry&apos;s response:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0296.html</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5815</commentid>
    <comment_count>1</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-07 20:09:56 +0000</bug_when>
    <thetext>The WG determined that the commentator is correct, and bullet 4 of Section 
3.14.6 of Structures need to be modified to include the following rules:
- If the {variety} is list, then the {final} of the {item type definition} must 
not contain list. 
- If the {variety} is union, then the {final} of all the {member type 
definitions} must not contain union. 

Proposed text (E1-15) available at: 
http://www.w3.org/XML/Group/2002/09/xmlschema-1/structures-with-
errata.html#coss-st 

Revised text :
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2002Sep/att-0224/01-e1-
15.html

reviewed and approved at Oct. 3 telecon.

Erratum E1-22 added</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>