[Bug 3227] Mapping value space to lexical space

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

           Summary: Mapping value space to lexical space
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: mike@saxonica.com
         QAContact: www-xml-schema-comments@w3.org


QT approved comment.

(Note, in all these comments I am using section numbers as they appear in the
change-highlighted version of the document).

For completeness it might be worth mentioning in 2.4 that every value in
the value space of a datatype has at least one lexical representation: ff
indeed this is true (see discussion on union and list types below). 

In the first sentence of 2.4.1 the word "generally" is misused to mean
"usually".

In 2.6.1.2 I would expect a more formal statement that the value space of a
list type is the set of sequences of values of the item type, minus any values
of the item type all of whose lexical representations contain whitespace.

In 2.6.1.3: is it true that the value space of a union type is the union
of the value spaces of the basic member types? Possibly not, because if
there are lexical representations shared by the member value spaces, then
values of some of the member types may become "unreachable", in which case
they are presumably excluded from the value space (because every value must
have at least one lexical representation).

Received on Tuesday, 9 May 2006 09:57:35 UTC