[Bug 3243] Definition of anySimpleType

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





------- Comment #5 from mike@saxonica.com  2007-10-14 18:47 -------
I did some musing on this on the flight home.

It seems to me we identified two concepts, which I will call the "potential
value space" and the "effable value space". The potential value space contains
all values that meet the criteria implicit in the definition of the type. The
effable value space contains that subset of the values that have a lexical
representation.

Rather than arguing about which of these is the one true meaning of the term
"value space", it would seem useful (a) to introduce and name both concepts,
(b) to explain that as far as the XSDL 1.1 spec is concerned, there would be no
operational differences caused by using one concept rather than the other, but
(c) because other specifications may use the same type system and allow means
of constructing values other than by mapping from the lexical space, the term
"value space" is taken to mean the "potential value space" unless otherwise
specified.

There is also another subset, of course, namely the "implemented value space",
which takes into account implementation limitations on the range of values.

Received on Sunday, 14 October 2007 18:47:36 UTC