[Bug 6228] New: is float a restriction of double?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6228

           Summary: is float a restriction of double?
           Product: XML Schema
           Version: 1.1 only
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: davep@iit.edu
         QAContact: www-xml-schema-comments@w3.org


Status quo says:

Formally, [Definition:]  A datatype R is a restriction of another datatype B
when
  o  the ·value space· of R is a subset of the ·value space· of B, and
  o  the ·lexical space· of R is a subset of the ·lexical space· of B.

This means that float is a restriction of double, since they both have the same
lexical space (hence a subset) and float's value space is a subset of double's.

I wonder if we meant to say that the lexical mapping (viewed as a set of
ordered pairs) is a subset.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 14 November 2008 16:29:44 UTC