[Bug 2750] wd-24: Regarding upper and lower bounds (another problem with paternalism)

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2750

           Summary: wd-24: Regarding upper and lower bounds (another problem
                    with paternalism)
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Keywords: needsAgreement
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: holstege@mathling.com
         QAContact: www-xml-schema-comments@w3.org


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)

Received on Friday, 20 January 2006 21:34:10 UTC