1. Given types B, E, and R where E is an
extension of B, and R is a restriction of E, is R a restriction or extension of
B, or neither?
2. Similarly, given B, E, and R where R is a
restriction of B and E is an extension of R, is E a restriction or
extension of B or neither?
3. For the most derived type in each chain (R in
the first and E in the second), when is it allowed and when prohibited by
{prohibited substitutions} on B?
4. For the most derived type in each chain
(R in the first and E in the second), when is it allowed and when prohibited by
{disallowed substitutions} on some element declared to have type B? That
is, with what values of {disallowed substitions} will such an element validate
with an xsi:type of R and E respectively, and with what values will it not
validate?
Jeff
|