W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > October to December 2008

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 14 Nov 2008 16:29:31 +0000
To: www-xml-schema-comments@w3.org
Message-ID: <bug-6228-703@http.www.w3.org/Bugs/Public/>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:16 GMT