W3C home > Mailing lists > Public > xmlschema-dev@w3.org > February 2006

Re: E rcase-RecurseLax.1: Group's occurrence range, (1,unbounded), is not a valid restriction of base group's occurrence range, (1,1).

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>
Message-ID: <f5bhd72p9fi.fsf@erasmus.inf.ed.ac.uk>

-----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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 11 January 2011 00:14:53 GMT