[Bug 3235] Acyclicity of union type definitions

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

           Summary: Acyclicity of union type definitions
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: mike@saxonica.com
         QAContact: www-xml-schema-comments@w3.org


QT approved comment:

In 2.6.1.3, the definitions of "transitive membership" et seq make the
unstated assumption that the relation between a union type and its member
types is acyclic.