1893 2005-08-26 13:54:21 +0000 R-203: Inconsistency with constraints on min/maxExclusive 2009-04-21 19:21:32 +0000 1 1 1 Unclassified XML Schema Datatypes: XSD Part 2 1.1 only All All CLOSED FIXED resolved P2 normal --- 1 sandygao w3c-xml-schema-wg www-xml-schema-comments oldest_to_newest 5504 0 sandygao 2005-08-26 13:54:21 +0000 "Schema Component Constraint: minExclusive valid restriction It is an error if any of the following conditions is true: 2 maxInclusive is among the members of {facets} of {base type definition} and {value} is greater the {value} of the parent maxInclusive" So it's an error for minEx > base.maxIn, which implies minEx <= base.maxIn (if minEx == maxIn, it results in an empty value space) "Schema Component Constraint: maxExclusive valid restriction It is an error if any of the following conditions is true: 3 minInclusive is among the members of {facets} of {base type definition} and {value} is less than or equal to the {value} of the parent minInclusive" So it's an error for maxEx <= base.minIn, which implies maxEx > base.minIn Isn't this inconsistent? Shouldn't this be either: minEx < base.maxIn && maxEx > base.minIn or minEx <= base.maxIn && maxEx >= base.minIn See http://lists.w3.org/Archives/Public/www-xml-schema-comments/2003JanMar/0037.html 6643 1 sandygao 2005-10-04 20:45:45 +0000 Discussed at 2005-09-23 telecon. Resolved: Classify 1893 as error with corrigendum against 1.0, but ask implementors which way they resolved the inconsistency before deciding how to resolve this. 7110 2 cmsmcq 2005-11-09 12:27:37 +0000 This appears to apply both to 1.0 and to 1.1; since there is not now a separate issue for 1.1, I'm reassigning this to version 1.0/1.1 both. This assignment is based on a hasty reading of the description and may be wrong. 8804 3 cmsmcq 2006-03-21 00:14:40 +0000 The Working Group discussed this issue in the face to face meeting of January 2006 in St Petersburg, Florida, and adopted a proposal to change (in 1.1) the relevant part of section 4.3.9.4 to read: Schema Component Constraint: minExclusive valid restriction It is an ·error· if any of the following conditions is true: 1 minExclusive is among the members of {facets} of {base type definition} and {value} is less than the {value} of that minExclusive. 2 minInclusive is among the members of {facets} of {base type definition} and {value} is less than the {value} of that minInclusive. 3 maxInclusive is among the members of {facets} of {base type definition} and {value} is greater than or equal to the {value} of that maxInclusive. 4 maxExclusive is among the members of {facets} of {base type definition} and {value} is greater than or equal to the {value} of that maxExclusive. The changed wording appears in the Last Call draft of February 2006.