[Bug 2069] R-079: Ambiguity in statements about valid type derivation

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

           Summary: R-079: Ambiguity in statements about valid type
                    derivation
           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


In various places in the Structures spec, statements like the following appear: 

"type definition A must be validly derived from type definition B given its 
{prohibited substitutions}, as defined in Type Derivation OK (Complex) 
(213.4.6) (if it is a complex type definition), or given the empty set, as 
defined in Type Derivation OK (Simple) (213.14.6) (if it is a simple type 
definition)." 

Questions: 

Which type does each reference of "it" refer to in the paragraph above? 
There is no constraint for the case where A is a simple type and B is a complex 
type; how do we check whether the type "string" is a valid derivation 
from "anyType"?

See bullet 2 from:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001OctDec/0049.html

Received on Friday, 9 September 2005 02:59:52 UTC