This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 2750 - wd-24: Regarding upper and lower bounds (another problem with paternalism)
Summary: wd-24: Regarding upper and lower bounds (another problem with paternalism)
Status: RESOLVED WONTFIX
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Datatypes: XSD Part 2 (show other bugs)
Version: 1.1 only
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema comments list
URL:
Whiteboard:
Keywords: needsAgreement
Depends on:
Blocks:
 
Reported: 2006-01-20 21:34 UTC by Mary Holstege
Modified: 2006-09-21 00:00 UTC (History)
0 users

See Also:


Attachments

Description Mary Holstege 2006-01-20 21:34:06 UTC
The definition of maxInclusive defines a constraint on schemas that says:

Schema Component Constraint: maxInclusive valid restriction

It is an error if any of the following conditions is true:

1 maxInclusive is among the members of {facets} of {base type definition} and 
{value} is greater than the {value} of that maxInclusive.

2 maxExclusive is among the members of {facets} of {base type definition} and 
{value} is greater than or equal to the {value} of that maxExclusive.

3 minInclusive is among the members of {facets} of {base type definition} and 
{value} is less than the {value} of that minInclusive.

4 minExclusive is among the members of {facets} of {base type definition} and 
{value} is less than or equal to the {value} of that minExclusive.

This suggests that incompatible or nonsensical values for upper and lower bounds 
are illegal, but only if imposed in different steps. Does that mean that it's 
legal to write the following?
<xsd:simpleType> <xsd:restriction base="xsd:integer"> <xsd:maxInclusive 
value="10"/> <xsd:maxExclusive value="10"/> </xsd:restriction> </xsd:simpleType>

Or have I missed some rule elsewhere?

I take this as another instantiation of the principle that a paternalist's work 
is never done, and that life will be simpler and we will have more confidence in 
the correctness of our spec if we abandon paternalism.

Proposal concerning
Part 2
maxInclusive
Schema Component Constraint: maxInclusive valid restriction

Discussion history
27 Jan 2005 (http://lists.w3.org/Archives/Public/www-xml-schema-comments/
2005JanMar/0019.html)

Transition history
raised on 27 Jan 2005 by C. M. Sperberg-McQueen (http://lists.w3.org/Archives/
Public/www-xml-schema-comments/2005JanMar/0018.html)
Comment 1 Dave Peterson 2006-01-20 22:50:29 UTC
(In reply to comment #0)

> This suggests that incompatible or nonsensical values for upper and lower bounds 
> are illegal, but only if imposed in different steps.

Without having time to search, it's my recollection that one cannot put
"In" and "Ex" (for the same one of "max" and "min") in the same step.
So that excludes some of the silly options.
Comment 2 C. M. Sperberg-McQueen 2006-09-21 00:00:31 UTC
At the face to face meeting of January 2006 in St. Petersburg,
the Working Group decided not to take further action on this
issue in XML Schema 1.1.  (This issue was not discussed
separately; it was one of those which were dispatched by a
blanket decision that all other open issues would be closed
without action, unless raised again in last-call comments.)  Some
members of the Working Group expressed regret over not being able
to resolve all the issues dealt with in this way, but on the
whole the Working Group felt it better not to delay Datatypes 1.1
in order to resolve all of them.

This issue should have been marked as RESOLVED /WONTFIX at that
time, but apparently was not.  I am marking it that way now, to
reduce confusion.