Suppose I have an unvalidated XSD input (B) that claims to be a subset of another XSD (A). The subsets are handled via xs:redefine via restriction. Now schema validators will throw errors if types under xs:redefine are incorrectly derived. However, AFAIK there is not a way to assert B ⊆ A, which is a problem if B never references A, B simply extends A, or defines any of its own elements (in my use case its ok for B to define subtypes via restriction from types in A).
Is there a way to mechanically determine if a profile is a subset of another?
