Re: Redefinition : validity of the redefined schema

Thanks for catching this.  The quote from section 3.4 [1] is a mistake --
it's in the informal section, whereas the formal semantics [2] makes
clear you can't _use_ an abstract type to validate an EII.  Otherwise
the perfectly sensible abstract-element-with-abstract-type in content
model would be disallowed.

However, your general point, which is that a schema must be error-free 
to serve as the target for redefinition, still stands, and I don't
think it should be changed.

ht

[1] http://www.w3.org/TR/xmlschema-1/#Complex_Type_Definition_details
[2] http://www.w3.org/TR/xmlschema-1/#cvc-complex-type
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/

Received on Tuesday, 6 February 2001 03:42:25 UTC