<?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>2002</bug_id>
          
          <creation_ts>2005-09-07 19:47:49 +0000</creation_ts>
          <short_desc>R-024: Derivation by Restriction: pointless occurrences</short_desc>
          <delta_ts>2009-04-21 19:24:49 +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>LATER</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>5794</commentid>
    <comment_count>0</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-07 19:47:49 +0000</bug_when>
    <thetext>The constraints for &quot;Particle Valid (Restriction)&quot; indicate that pointless 
occurrences of sequence, all and choice should be ignored. By doing so, it is 
possible that certain derived types which would otherwise be valid restrictions 
of their base types, become invalid.

See the following for more information, and an example: 
http://lists.w3.org/Archives/Public/www-xml-schema-
comments/2001AprJun/0230.html 

Note that Achille Fokoue posted another example illustrating this problem. See 
the following for more information:
http://lists.w3.org/Archives/Public/www-xml-schema-
comments/2001JulSep/0111.html 

Note also that a subsequent email on pointlessness was sent in by Gareth 
Sylvester-Bradley:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2003JulSep/0040.html</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5795</commentid>
    <comment_count>1</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-07 19:48:33 +0000</bug_when>
    <thetext>The WG has discussed various solutions: 
- Leave the rules asis. 
- Modify the rules for pointlessness to indicate that they &quot;may&quot; apply instead 
of &quot;must&quot; apply 
- define a new algorithm 

Resolution
The WG has decided that although the rules have some awkward results, they are 
not in error. It will be put on the list of issues to consider for a future 
revision of XML Schema.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>