[Bug 2781] restriction relation among facet values needed

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





------- Comment #2 from davep@iit.edu  2006-11-05 02:01 -------
(In reply to comment #0)
> Clause 1.3.2 of Schema Component Constraint: Derivation Valid
> (Restriction, Simple) in section 3.14.6 of Structures reads:
> 
>     1.3.2 If there is a facet of the same kind in the {facets} of the
>     {base type definition} (call this BF), then the DF's {value} is a
>     valid restriction of BF's {value} as defined in [XML Schema:
>     Datatypes].
> 
> The concept of one facet value being 'at least as strong as' another
> value for the same facet is a very useful one, and it is good that
> Structures appeals to it here.  The problem is that this is a throw
> which the Datatypes spec does not catch very well: the notion is
> reasonably well covered with various component constraints about
> restrictions that are valid or invalid, but the Datatypes spec does
> not provide any single definition for the terminology used in the call
> from Structures, or for any other term for the concept.

See discussion, comment 5 of bug 2246.  This needs to be harmonized with
3.15.6, Schema Component Constraint: Simple Type Restriction (Facets).

Received on Sunday, 5 November 2006 02:02:05 UTC