[Bug 5293] Subsumption

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





------- Comment #3 from petexmldev@tech-know-ware.com  2007-11-29 10:14 -------
Re:
> B: a(bc?)|b(ac?)|b(ca)|d|e|fc?
> 
> D: a&b

I suppose it is too late to insist that the structure of the derived type
should mirror the structure of the base type.  e.g. to restrict:

B: a(bc?)|b(ac?)|b(ca)|d|e|fc?

you'd have to do:

D: a(bc{0})|(b(ac?)){0}|(b(ca)){0}|d{0}|e{0}|(fc?){0}

It is very ugly, but then the whole restriction syntax is pretty ugly anyway.

Certainly having wildly different structures between the two gives us problems
because we try to store the variables of a restricted derivative in the base,
and this is not possible if the structures are different.

Received on Thursday, 29 November 2007 10:14:12 UTC