<?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>6161</bug_id>
          
          <creation_ts>2008-10-15 12:21:23 +0000</creation_ts>
          <short_desc>3.10.6.2 Wildcard Subset</short_desc>
          <delta_ts>2009-03-16 14:33:37 +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.1 only</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows NT</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>editorial, resolved</keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Michael Kay">mike</reporter>
          <assigned_to name="C. M. Sperberg-McQueen">cmsmcq</assigned_to>
          <cc>David_E3</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>22175</commentid>
    <comment_count>0</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2008-10-15 12:21:23 +0000</bug_when>
    <thetext>I&apos;m struggling to understand the structure of this contraint. 

It starts with a definition

&quot;sub is a wildcard subset of super  if and only if  one of the following is true...&quot;

and then continues:

&quot;And all of the following must be true...&quot;

Is this part of the definition? (if so, why &quot;must&quot;?)

I would expect the structure here to be

... all of the following are true:

1 One of the following is true:
  1.1
  1.2
  1.3
  1.4
2 Each QName member of super.{disallowed names} is not allowed by sub..
3 If super.{disallowed names} contains defined, then...
4 If super.{disallowed names} contains sibling, then...

(Note also the use of apostrophe rather than dot in the last clause)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>22195</commentid>
    <comment_count>1</comment_count>
    <who name="David Ezell">David_E3</who>
    <bug_when>2008-10-17 16:14:30 +0000</bug_when>
    <thetext>The WG decided that the editors need to make sure that ands and ors are unambiguous, and that &quot;must&quot; should be changed to &quot;are&quot;.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>24263</commentid>
    <comment_count>2</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2009-03-16 14:23:54 +0000</bug_when>
    <thetext>During its 2009-03-13 telecon, the schema WG adopted a proposal to address this issue.

The proposal can be found at (member-only):
  http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.omni.20090313.html

This implements the WG decision recorded in comment #1, by changing &quot;must&quot; to &quot;are&quot;.

Another change made (not shown in the above proposal) was to replace clause 3 &quot;... super&apos;s {disallowed names} ...&quot; with &quot;... super.{disallowed names} ...&quot;, as suggested in the bug report.

With these changes, the WG believes that the issue raised in this bug report is fully addressed. I&apos;m marking this RESOLVED accordingly.

Michael, as the persons who opened and reopened this issue, if you would indicate your concurrence with or dissent from the WG&apos;s disposition of the comment by closing or reopening the issue, we&apos;ll be grateful. If we don&apos;t hear from you in the next two weeks, we&apos;ll assume that silence implies consent.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>