[Bug 2042] Clause 1.2 of Datatypes Valid is broken

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





------- Additional Comments From sandygao@ca.ibm.com  2005-09-09 02:18 -------
There seem to be other problems in the "Datatype Valid" constraint in 4.1.4 of 
the datatypes spec:
- It assumes that there could be literals in the lexical space that don't 
correspond to any value in the value space. But as pointed out earlier 
(2.4.2) "Constraining the ·value space· consequently constrains the ·lexical 
space·."
- It ignores the fact that the order of member types in union types is 
significant.

Suggestion: something along the following line:
1. The string must be pattern valid if there is a pattern
2. The string must denote a value:
2.1 Primitive type
2.2 Derived atomic type (must be datatype-valid wrt the base/primitive type
2.3 List type (must be a sequence of items, each of which is datatype-valid wrt 
the item type)
2.4 Union type (must be datatype-valid wrt to at least one of the member types) 
(ues the first one in the list to determine the "denoted value")
3. The denoted value must be facet valid wrt all non-pattern facets

Received on Friday, 9 September 2005 02:18:33 UTC