Re: Is this schema valid?

"Dare Obasanjo" <dareo@microsoft.com> writes:

> Is there any reason why myDCT is an invalid restriction of myCT?
> Intuitively it seems it is not but there is verbiage that may imply that
> it is.  

Sigh.  It's not valid as a restriction, because the Emp type
definition is not derived _by restriction_ from the ur type.  XSV gets
this wrong :-(.

I could go either way on whether this is a bug or not . . .

ht
-- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.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]

Received on Thursday, 18 March 2004 04:10:25 UTC