11th hour datatype testing proposal

I expect to do some worksmithing to clarify the semantics of types
derived from decimal near [[

XML Schema [] defines a set of types derived from decimal: integer,
nonPositiveInteger, negativeInteger, long, int, short, byte,
nonNegativeInteger, unsignedLong, unsignedInt, unsignedShort,
unsignedByte and positiveInteger. These are all treated as decimals
for computing effective boolean values.
]]

Other than that, I think that section 11 is reasonably implementable
and somewhat readable. Howard has given it a brief sanity check and
supplemented my understanding of how XQuery does numeric comparison.

I have a few relevent tests to help the WG decide if this is a good
idea (vs. the more computationlly intensive and scarier space of
numbers being equivilent in the FILTER when they weren't in the
graph match).

whether different datatypes restricted from decimal have the same
value (I said "no"):
http://dev.w3.org/cvsweb/perl/modules/W3C/Rdf/test/SPARQL-DT-0-alg.sh?rev=HEAD&content-type=text/x-cvsweb-markup

whether known datatypes restricted from decimal can be cast to an
equivalent values (I said "yes"):
http://dev.w3.org/cvsweb/perl/modules/W3C/Rdf/test/SPARQL-DT-1-alg.sh?rev=HEAD&content-type=text/x-cvsweb-markup

whether non-0 datatypes restricted from decimal have an ebv of true.
(I said "yes"):
http://dev.w3.org/cvsweb/perl/modules/W3C/Rdf/test/SPARQL-DT-2-alg.sh?rev=HEAD&content-type=text/x-cvsweb-markup

whether uncastables yield an error. (I said "yes"):
http://dev.w3.org/cvsweb/perl/modules/W3C/Rdf/test/SPARQL-DT-3-alg.sh?rev=HEAD&content-type=text/x-cvsweb-markup
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +81.90.6533.3882

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Tuesday, 5 April 2005 11:37:42 UTC