<?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>2948</bug_id>
          
          <creation_ts>2006-02-28 04:16:22 +0000</creation_ts>
          <short_desc>Datatypes 2006-02-17 WD: use order relation for min/max facets</short_desc>
          <delta_ts>2006-09-09 02:17:59 +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.1 only</version>
          <rep_platform>Macintosh</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>resolved</keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Xan Gregg">xan.gregg</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>8476</commentid>
    <comment_count>0</comment_count>
    <who name="Xan Gregg">xan.gregg</who>
    <bug_when>2006-02-28 04:16:22 +0000</bug_when>
    <thetext>minExclusive and other facets define how to compare values. From 4.3.9.3:

  Validation Rule: minExclusive Valid
  A value in an ·ordered· ·value space· is facet-valid with respect to ·minExclusive· if and only if:
  1 if the {value} property of the numeric component in {fundamental facets} is true, 
  then the value ·must· be numerically greater than {value};
  2 if the {value} property of the numeric component in {fundamental facets} is false 
  (i.e., {base type definition} is one of the date and time related datatypes), then the 
  value ·must· be chronologically greater than {value}; 

Why not just rely on the already-defined order relation of the type instead of specifying &quot;numerically&quot; or 
&quot;chronologically&quot;?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>8480</commentid>
    <comment_count>1</comment_count>
    <who name="Dave Peterson">davep</who>
    <bug_when>2006-02-28 14:33:00 +0000</bug_when>
    <thetext>(In reply to comment #0)
&gt; minExclusive and other facets define how to compare values. From 4.3.9.3:
  &lt;snip/&gt; 
&gt; Why not just rely on the already-defined order relation of the type instead of specifying &quot;numerically&quot; or 
&gt; &quot;chronologically&quot;?

IIRC, that terminology is left over from 1.0, when we weren&apos;t so careful about defining order for each 
datatype.  In any case, the order we define for numerical and date/time datatypes is the usual &quot;numerical&quot; 
or &quot;chronological&quot; order as appropriate.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>8483</commentid>
    <comment_count>2</comment_count>
    <who name="Xan Gregg">xan.gregg</who>
    <bug_when>2006-02-28 15:12:28 +0000</bug_when>
    <thetext>Thanks for the quick response, Dave.

I&apos;m suggesting the text would be simpler *and* more precise to rely on the
already-defined order relation instead or re-describing it. That is, replace
clauses 1 and 2 with

  1. the value is greater than {value}, according to the datatype&apos;s order relation.

FWIW, I don&apos;t see any definition of &quot;chronologically greater than&quot;.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11538</commentid>
    <comment_count>3</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2006-09-08 23:30:19 +0000</bug_when>
    <thetext>Thank you for the suggestion.

On 1 September, the Working Group considered this issue and instructed
the editors to make the suggested change to all four validation rules
for bounds checking.  The change has been made in the member-only
status-quo copy of the spec, and will be visible the next time a
public working draft is issued.

Please let us know if you agree with this resolution of your issue, 
by adding a comment to the issue record and changing the Status of 
the issue to Closed. Or, if you do not agree with this resolution, 
please add a comment explaining why. If you wish to appeal the WG&apos;s 
decision to the Director, then also change the Status of the record 
to Reopened. If you wish to record your dissent, but do not wish to 
appeal the decision to the Director, then change the Status of the 
record to Closed. If we do not hear from you in the next two weeks, 
we will assume you agree with the WG decision.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11546</commentid>
    <comment_count>4</comment_count>
    <who name="Xan Gregg">xan.gregg</who>
    <bug_when>2006-09-09 02:17:59 +0000</bug_when>
    <thetext>Marking as Closed. Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>