W3C home > Mailing lists > Public > xmlschema-dev@w3.org > February 2001

Re: Quick technical question.

From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
Date: 19 Feb 2001 12:52:48 +0000
To: Michael Anderson <michael@research.canon.com.au>
Cc: "xmlschema-dev@w3.org" <xmlschema-dev@w3.org>
Message-ID: <f5bbsrykf6n.fsf@cogsci.ed.ac.uk>
Michael Anderson <michael@research.canon.com.au> writes:

> Hi all,
> Does someone understand clause 1.6 of
> http://www.w3.org/TR/xmlschema-1/#rcase-NameAndTypeOK ?
> 
> "R's { type definition } is validly derived given {extension } from B's
> {type definition} as defined by Type Derivation OK (Complex)(5.11) or
> Type Derivation OK(Simple)(5.12) as appropriate".

This means that the derivation can't involve {extension} -- it's as if 
B had had block='extension'.  The point is that to derive by
restriction, the type derivation path can't involve extension.

ht
-- 
  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 Monday, 19 February 2001 07:52:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:55:51 UTC