min/max exclusive facets

"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? Should be either
minEx < base.maxIn && maxEx > base.minIn
or
minEx <= base.maxIn && maxEx >= base.minIn

Thanks,
Sandy Gao
Software Developer, IBM Canada
(1-905) 413-3255
sandygao@ca.ibm.com

Received on Monday, 27 January 2003 14:51:37 UTC