- From: Michael Kay <mike@saxonica.com>
- Date: Fri, 4 Apr 2008 10:26:34 +0800
- To: <daniel@veillard.com>, <xmlschema-dev@w3.org>
I've put this on the WG agenda by means of a bugzilla entry http://www.w3.org/Bugs/Public/show_bug.cgi?id=5625 which you can track. Michael Kay http://www.saxonica.com/ > -----Original Message----- > From: xmlschema-dev-request@w3.org > [mailto:xmlschema-dev-request@w3.org] On Behalf Of Daniel Veillard > Sent: 03 April 2008 19:47 > To: xmlschema-dev@w3.org > Subject: "finite-length sequence" exact semantic > > > For all the XSD-1.0 decimal derived types the lexical > representation is defined using something like (e.g for byte): > > http://www.w3.org/TR/xmlschema-2/#byte > "byte has a lexical representation consisting of an > optional sign followed > by a finite-length sequence of decimal digits > (#x30-#x39). If the sign is > omitted, "+" is assumed. For example: -1, 0, 126, +100." > > Similary it is used for string: > http://www.w3.org/TR/xmlschema-2/#string > "...The .value space. of string is the set of > finite-length sequences of > characters..." > > from my math antique background an empty sequence is a > finite-length sequence. > But I could be wrong, I doubt it's what expect by the authors > since the example of minLength explicitely shows how to avoid > empty strings ... > http://www.w3.org/TR/xmlschema-2/#rf-minLength > > So I guess either: > - "finite-length sequence" is not used in a consistent way > in the spec > - or all those definitions for decimal and derived types > need to specify > that sequence to be non-empty > > Can someone confirm "" need to be rejected, and if not what > the value should be associated (0 ?), > > I checked http://www.w3.org/2004/03/xmlschema-errata and it's > empty, really ?? > > Daniel > > -- > Daniel Veillard | libxml Gnome XML XSLT toolkit > http://xmlsoft.org/ > daniel@veillard.com | Rpmfind RPM search engine > http://rpmfind.net/ http://veillard.com/ | virtualization > library http://libvirt.org/ >
Received on Friday, 4 April 2008 02:27:17 UTC