- From: Henry S. Thompson <ht@inf.ed.ac.uk>
- Date: Tue, 14 Feb 2006 09:38:09 +0000
- To: "Michael Kay" <mike@saxonica.com>
- Cc: <richard.liu@ubs.com>, <xmlschema-dev@w3.org>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Michael Kay writes:
> Xerces reports this invalid, but Saxon, XSV, MSXML, and the .NET parser all
> report it valid.
>
> So it may be a Xerces problem.
>
> (Saxon's evidence in this case isn't particularly reliable, because it uses
> a different algorithm for determining whether one type is a valid
> restriction of another, an algorithm which is closer to the intent of the
> spec than the published rules. This might also apply to XSV, I'm not sure.)
Indeed XSV uses a simplified rule, which is closer to the _intent_,
although not the letter, of the spec. I _hope_ version 1.1 of W3C XML
Schema will shift to the simplified rule.
I agree that the fact that the constructive rules of 1.0 rule this
case out is perverse.
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]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)
iD4DBQFD8aUFkjnJixAXWBoRApMRAJj7kruAxAr9alC/pw4DSOGGPUdNAJ96rsyD
1i2Emk2q5QATsqp8nOIdVg==
=dQdn
-----END PGP SIGNATURE-----
Received on Tuesday, 14 February 2006 09:38:25 UTC