Re: keyref with empty sets

Yes, I can confirm that in my opinion both your examples are valid,
and validators (including XSV) which think otherwise need to be
corrected.  Basically, the REC (correctly, in my view) imposes _no_
requirements on keys if there are no hits for a keyref.  XSV will be
fixed in the next release.  It's the usual "For all x in S, it's an
error if ..." -- if S is empty, there can _be_ no errors.

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 Saturday, 29 May 2004 06:04:44 UTC