• From: "Michael Kay" <mike@s...>
• To: "'George Cristian Bina'" <george@o...>,"'Allison Bloodworth'" <abloodworth@b...>
• Date: Tue, 3 Oct 2006 09:10:21 +0100

> 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/

• References:
  • Re: Substituting elements in a group for the group whenredefining
    • From: George Cristian Bina <george@o...>