[Bug 2012] R-034: Potential problem with description of final for simpleType in Structures

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

           Summary: R-034: Potential problem with description of final for
                    simpleType in Structures
           Product: XML Schema
           Version: 1.0
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSD Part 1: Structures
        AssignedTo: ht@w3.org
        ReportedBy: sandygao@ca.ibm.com
         QAContact: www-xml-schema-comments@w3.org


Section 3.14.6 of Structures states the following for bullet 4:

If the {base type definition} is not the simple ur-type definition, all of the 
following must be true:

4.1 The definition must be a valid restriction as defined in Derivation Valid 
(Restriction, Simple).

4.2 If {variety} is not atomic, then the appropriate case among the following 
must be true:

4.2.1 If the {variety} is list, then the {final} of the {base type definition} 
must not contain list. 
4.2.2 If the {variety} is union, then the {final} of the {base type definition} 
must not contain union. 
However, lists and unions have the ur-type definition as a base.

And, shouldn't the following rules be stated?

If the {variety} is list, then the {final} of the {item type definition} must 
not contain list. 
If the {variety} is union, then the {final} of all the {member type 
definitions} must not contain union.

See
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0294.html

Henry's response:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0296.html

Received on Wednesday, 7 September 2005 20:09:02 UTC