<?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>2232</bug_id>
          
          <creation_ts>2005-09-14 19:33:39 +0000</creation_ts>
          <short_desc>R-240: Question re: Particle Derivation OK (All/Choice/Sequence:Any -- NSRecurseCheckCardinality)</short_desc>
          <delta_ts>2016-06-23 03:56:32 +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>ASSIGNED</bug_status>
          <resolution></resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>unclassified</keywords>
          <priority>P4</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Sandy Gao">sandygao</reporter>
          <assigned_to name="C. M. Sperberg-McQueen">cmsmcq</assigned_to>
          <cc>mostafa.shahdadi</cc>
          
          <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>6258</commentid>
    <comment_count>0</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-14 19:33:39 +0000</bug_when>
    <thetext>I think the following passage in Part 1 is wrong: 

Schema Component Constraint: Particle Derivation OK (All/Choice/Sequence:Any -- 
NSRecurseCheckCardinality) 

For a group particle to be a valid restriction of a wildcard particle all of 
the following must be true: 

1 Every member of the {particles} of the group is a valid restriction of the 
wildcard as defined by Particle Valid (Restriction) (3.9.6). 

[...] 

If understood literally, this is saying that a particle of a model group can be 
a valid restriction of a wildcard. How can a particle be a valid restriction of 
a **wildcard** (as opposed to a **particle whose term is a wildcard**)? 

If, instead, I interpret it as: 

&quot;1 Every member of the {particles} of the group is a valid restriction of the 
wildcard **particle** as defined by Particle Valid (Restriction) (3.9.6).&quot; it 
becomes clearly wrong, given that the min occurs and max occurs of the &quot;base&quot; 
particle and the min occurs and max occurs of the &quot;restricted&quot; particle have a 
role in determining whether a &quot;restricted&quot; particle (say, an element 
declaration particle) is a valid restriction of a &quot;base&quot; particle (say, a 
wildcard particle). 

For example, suppose I want to restrict a wildcard particle (min occurs=4, max 
occurs=8) with a sequence particle whose term has three element declaration 
particles. The statement above would require that **each** of the element 
declaration particles was a valid restriction of the wildcard particle, which 
in turn implies that **each** of the element declaration particles had to have 
min occurs&gt;=4, max occurs&lt;=8 (see 3.9.6, Schema Component Constraint: Particle 
Derivation OK (Elt:Any -- NSCompat)). This makes no sense. 

A possible correction is rewording the sentence as follows: 

1 Every member of the {particles} of the group is a valid restriction of the 
wildcard particle as defined by Particle Valid (Restriction) (3.9.6), except 
that the min occurs of the wildcard particle must be replaced by 0 before 
applying Particle Valid (Restriction) (3.9.6). 

or perhaps as follows: 

1 Every member of the {particles} of the group is a valid restriction (as 
defined by Particle Valid (Restriction) (3.9.6)) of a particle constructed as 
follows: 
min occurs: 0 
max occurs: the same as the max occurs of the wildcard particle 
term: the wildcard 

See:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2003OctDec/0031.html</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>6259</commentid>
    <comment_count>1</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-09-14 19:33:48 +0000</bug_when>
    <thetext>See:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2004JanMar/0000.html</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11981</commentid>
    <comment_count>2</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2006-09-23 22:10:46 +0000</bug_when>
    <thetext>The schema component constraint in which this issue arises has been
deleted from 1.1 as part of the clarification of restriction.  So the
comment applies to 1.0 only, now, and I am changing the &apos;version&apos;
value accordingly. </thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>