[Bug 5244] Move co-constraints into types

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





------- Comment #1 from cmsmcq@w3.org  2008-01-25 15:59 -------
This is an interesting idea, but it makes me very nervous.  It seems to 
invite the construction of logical circularities we can't promise to detect
or require implementations to detect, and we have advice from computer
scientists who have looked at it whose comments can be summarized roughly
as "Do not go here; there are dragons."

The existing design is not in fact an end run around restriction
constraints; there is a (rather elaborate) set of rules to ensure that 
the type selected for any element E in the context of a complex type B
and the type selected for E in a type R which restricts T are in a 
suitable restriction relation.

So my recommendation is that the Working Group close this regretefuly as
INVALID.

Received on Friday, 25 January 2008 15:59:40 UTC