Re: A question about XML-Schema

[ht@cogsci.ed.ac.uk (Henry S. Thompson)]

Murali Mani <mani@CS.UCLA.EDU> writes:

> I would like to ask one slightly abstract question about w3c's proposal
> for xml-schema -- this regards restriction.
> 
> Is restriction in xml-schema transitive?? -- in other words, if a type
> Type_B is obtained by restriction from Type_A, and Type_C is obtained by
> restriction from Type_B, then is the following statement true: "Type_C can
> always be obtained by restriction from Type_A"

It's true, because of the Unique Particle Attribution constraint.

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/