Re: clarification/errata: circular attributeGroup, ur-type & include

sandygao@ca.ibm.com writes:

> [3] include
> 
> Assume schema document A includes schema documents B and C, where B has the
> same target namespace as A does, and C has no target namespace. Then from
> within a certain document, components from which document(s) can be
> referred to? That is, how to fill the following table? (R(A,B)=Y means
> components in A can refer to components in B.)
> R A B C
> A Y Y Y
> B ? Y ?
> C ? ? Y
> 
> >From the spec, it seems that B can refer to A (bullet 4 of QName resolution
> (Schema Document)). How about the other question marks?

The WG discussed your questions, and requested me to answer this one.

All three documents contribute components to and resolve their
references in the single target namespace, so all cells in the table
should be 'Y'.

This results from lazy resolution of references and the impact of
so-called 'chameleon' include (A, with a target namespace, includes C,
which does not, with the consequence that C's components are defined
in A's target namespace, and C's unqualified references are redirected
to that namespace as well).

If there are specific places in the text of the spec. which encourage
other conclusions, please let us know and we'll try to improve them.

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 Wednesday, 24 October 2001 06:40:15 UTC