- From: Henry S. Thompson <ht@inf.ed.ac.uk>
- Date: Wed, 02 Nov 2005 20:29:33 +0000
- To: "Vaughan, Dallas" <VAUGHAN@scra.org>
- Cc: <xmlschema-dev@w3.org>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Vaughan, Dallas writes:
> When using the online XSV tool at http://www.w3.org/2001/03/webdata/xsv, the following schema did not pass because of a "non-deterministic content model" within the choice element. Here is what didn't pass:
>
> [ ((a{1,5},b?,c?)|(b{1,5},c?)|c) ]
> The output from XSV was:
>
> "Invalid: non-deterministic content model for type None: {None}:B/{None}:B"
>
> However, changing the maxOccurs="5" in the first element ("A") to maxOccurs="1" results in a successful validation.
>
> Is there a faulty algorithm in XSV that decides what is
> non-deterministic and what is not?
No, but there is a conspiracy between the UPA checking algorithm and
the numeric exponent translator which amounts to a bug.
Fixed in the next release.
Thanks for the reproducable example.
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)
iD8DBQFDaSGtkjnJixAXWBoRAoLjAJ0SmTwTK32V36PfptjxzHv3GDM+VACfdnZE
jQCo6TvlujRFmTznk6ysdhA=
=XrUM
-----END PGP SIGNATURE-----
Received on Wednesday, 2 November 2005 20:29:46 UTC