RE: [xml-dev] Substituting elements in a group for the group when redefi

["Michael Kay" <mike@saxonica.com>]

> This new algorithm probably will 
> be specified in XML Schema 1.1 - I think some people on the 
> list can confirm/infirm that.
> 
> [1] http://www.ltg.ed.ac.uk/~ht/XML_Europe_2003.html
> 

I think the plan is that Schema 1.1 won't specify an algorithm at all. It
will simply specify that A is a valid restriction of B if and only if every
valid instance of A is a valid instance of B. It will leave implementors to
devise an algorithm (or it might suggest a non-normative algorithm).

Michael Kay
http://www.saxonica.com/