OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

ubl-dev message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: RE: [ubl-dev] SBS and Restricted Data Types


>>2. a way to say (and maybe
>>validate/verify) that a schema is a strict subset of another schema
>>of which it therefore uses the same namespace. Too late for XSD 1.1?

Stephen,

That's an interesting question to ask, or re-phrasing it,
"is there a way to determine if the entire set of all possible
instances that are validated as acceptable by a given schema (A)
are also validated as acceptable by another given schema (B)" ?

Call this "sub-of" operator operating on 2 parameters (A) & (B)
each of type schema.

But I suspect as long as a schema can metamorph into another
form during runtime through redefine, phrasing the question
itself might need to involve the notion of *when*.  In other words,
it may be necessary to cope with the idea of (A) being "sometimes"
sub-of (B) and "sometimes" not...

This "sub-of" operator, taking inputs which are schema themselves,
would likely be outside of the realm in which XSD specifies.
But of course, whatever XSD does (or doesn't) specify would 
affect the realisability of this "sub-of" operator that you suggested.




Chin Chee-Kai
SoftML
Tel: +65-6820-2979
Fax: +65-6820-2979
Email: cheekai@SoftML.Net
http://SoftML.Net/





[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]