Re: final and derivation by list or union.

Ross Thompson <rthompson@contivo.com> writes:

> ht@cogsci.ed.ac.uk writes:
>  > I think this should have read
>  > 
>  >   4.2.1 If the {variety} is list, then the {final} of the {item type
>  >         definition} must not contain list.
>  >   4.2.2 If the {variety} is union, then the {final} of each of the {member type
>  >         definitions} must not contain union.
> 
> The motivation for 4.2.1 is easy to guess.  Why is 4.2.2 there?  It
> seems to me that XMLSchema without that rule is perfectly meaningful.

Well, if final='list' means you can't make lists out of this type,
then surely final='union' means you can't make unions including this
type.

I don't think _either_ makes much sense, but they're there for
completeness.

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 Friday, 16 November 2001 15:01:47 UTC