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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 16 March 2009 11:13:16 GMT