W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > July to September 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 09 Sep 2005 02:59:49 +0000
To: www-xml-schema-comments@w3.org
Cc:
Message-Id: <E1EDZ7F-00046K-QD@wiggum.w3.org>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:09 GMT