W3C home > Mailing lists > Public > xmlschema-dev@w3.org > April 2008

RE: "finite-length sequence" exact semantic

From: Michael Kay <mike@saxonica.com>
Date: Fri, 4 Apr 2008 10:26:34 +0800
To: <daniel@veillard.com>, <xmlschema-dev@w3.org>
Message-ID: <00f801c895fb$4ee79970$e4f9a8c0@turtle>

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 GMT

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