<?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>2728</bug_id>
          
          <creation_ts>2006-01-19 12:48:13 +0000</creation_ts>
          <short_desc>super/sub -set constraints missing for born-binary pattern, enumeration respectively</short_desc>
          <delta_ts>2007-09-21 15:16:27 +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/1.1 both</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Linux</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard>medium, easy</status_whiteboard>
          <keywords>needsDrafting</keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Henry S. Thompson">ht</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>7873</commentid>
    <comment_count>0</comment_count>
    <who name="Henry S. Thompson">ht</who>
    <bug_when>2006-01-19 12:48:15 +0000</bug_when>
    <thetext>Nothing in the REC stops me from having an enumeration facet whose value is a
superset of its base type definition&apos;s, or a pattern facet whose value a subset
of its base type definition&apos;s.  This violates subsumption.  The XML
representations of such facets are disallowed, but nothing stops born-binary ones.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>8044</commentid>
    <comment_count>1</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2006-01-30 18:13:23 +0000</bug_when>
    <thetext>This only applies to &quot;pattern&quot;. For enumeration, it&apos;s already covered by 
the &quot;enumeration valid restriction&quot; constraint in section 4.3.5.5 of part 2.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11957</commentid>
    <comment_count>2</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2006-09-22 13:18:01 +0000</bug_when>
    <thetext>I propose to resolve this by noting, first, that Sandy Gao is
correct to say in comment #2 that there is after all such a 
constraint for enumeration, in section 4.3.5.5 of Datatypes. 
To deal with pattern, I propose to add a section 4.3.4.5:

  4.3.5.5 Constraints on pattern Schema Components

  Schema Component Constraint: valid restriction of pattern

  It is an ·error· if there is any member of the {value} of the
  pattern facet on the {base type definition} which is not also a
  member of the {value}.

The Working Group has not yet taken action on this proposal.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>16631</commentid>
    <comment_count>3</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2007-09-17 20:03:18 +0000</bug_when>
    <thetext>On the teleconference of 7 September 2007, the XML Schema WG discussed
this issue and decided to resolve it by adopting the proposal in comment
#2.  Additionally, the editors were instructed, if they can agree on
wording, to add a note pointing out that for components described in 
schema documents, the satisfaction of this constraint is guaranteed 
by the XML mapping rules and that special attention thus need be paid 
only for &apos;born binary&apos; components.  The Working Group did not wish to
review the wording on that non-normative note.

I&apos;m marking this needsDrafting until the editors have inserted the text
of that note; once they have done so, and the text is in the status quo
document, this issue can be marked resolved / fixed.
</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>16752</commentid>
    <comment_count>4</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2007-09-21 15:16:27 +0000</bug_when>
    <thetext>The correction mentioned in comment #2 has been made and appears in the 
current status-quo draft.  The note described in comment #3 has been
drafted and agreed on by the editors and will appear in the status quo
document the next time it&apos;s re-genererated.  So I&apos;m marking this as
FIXED.

Henry, as the originator, if you would mark it CLOSED to indicate your
agreement with the disposition, that would be good.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>