W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2002

Re: Substitution Groups in Local Elements?

From: Jerome Simeon <simeon@simeon-ltmh.research.bell-labs.com>
Date: 22 Apr 2002 14:17:35 -0400
To: "Henry S. Thompson" <ht@cogsci.ed.ac.uk>
Cc: W3C XML Schema IG <w3c-xml-schema-ig@w3.org>, Jerome Simeon <simeon@research.bell-labs.com>, Philip Wadler <wadler@research.avayalabs.com>, www-xml-schema-comments@w3.org
Message-Id: <1019499456.4540.309.camel@simeon-ltmh.research.bell-labs.com>
Henry,

Thank you. This will go right away in the semantics of XQuery!

- Jerome and Phil

On Mon, 2002-04-22 at 14:11, Henry S. Thompson wrote:
> [technical discussion on the IG, please]
> 
> Jerome Simeon <simeon@simeon-ltmh.research.bell-labs.com> writes:
> 
> > Can a local element belong to a substitution group?
> > 
> > We can find nothing in Schema Part I that prohibits this, but if it is
> > permitted, it is not clear what it would mean.
> 
> The Schema for Schemas rules this out:
> 
>  <xs:complexType name="localElement">
>   <xs:complexContent>
>    <xs:restriction base="xs:element">
>     . . .
>     <xs:attribute name="substitutionGroup" use="prohibited"/>
>                                            ^^^^^^^^^^^^^^^^
>    </xs:restriction>
>   </xs:complexContent>
>  </xs:complexType>
> 
> This only applies to the XML representation layer, of course.
> 
> It's a bug that there's no clause in "Schema Component Constraint:
> Element Declaration Properties Correct" ruling this out for components 
> as well.
> 
> ht
> -- 
>   Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
>           W3C Fellow 1999--2002, 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/
>  [mail really from me _always_ has this .sig -- mail without it is forged spam]
-- 
Jerome Simeon -
Bell Laboratories --- Lucent Technologies
600 Mountain Avenue, Murray Hill, NJ, USA
Tel: +1 908 582 5473 Fax: +1 908 582 7308
Received on Monday, 22 April 2002 14:20:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:00 GMT