W3C home > Mailing lists > Public > xmlschema-dev@w3.org > November 2005

RE: XSV choice validation

From: Vaughan, Dallas <VAUGHAN@scra.org>
Date: Wed, 2 Nov 2005 16:34:15 -0500
Message-ID: <03642EC064085F4DBB3B40DB5D82F2A2633B90@SCRA_NT1.SCRA.ORG>
To: "Henry S. Thompson" <ht@inf.ed.ac.uk>
Cc: <xmlschema-dev@w3.org>
Thank you very much. 

-----Original Message-----
From: Henry S. Thompson [mailto:ht@inf.ed.ac.uk]
Sent: Wed 11/2/2005 3:29 PM
To: Vaughan, Dallas
Cc: xmlschema-dev@w3.org
Subject: Re: XSV choice validation
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.

- -- 
 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]
Version: GnuPG v1.2.6 (GNU/Linux)

Received on Wednesday, 2 November 2005 21:37:42 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:56:09 UTC