[Bug 2782] Structures description of anySimpleType needs work

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

           Summary: Structures description of anySimpleType needs work
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: ht@w3.org
        ReportedBy: cmsmcq@w3.org
         QAContact: www-xml-schema-comments@w3.org


The Schema Component Constraint: Simple Type Definition Properties
Correct in section 3.14.6 of Structures reads in part:

  All of the following must be true:

  2 All simple type definitions are derived ultimately from the
    ·simple ur-type definition (so· circular definitions are
    disallowed). That is, it is possible to reach a built-in primitive
    datatype or the ·simple ur-type definition· by repeatedly
    following the {base type type definition}.

Since 'derived' is not defined in Datatypes so as to be a reflexive
relation, this wording is problematic.  Possible recastings include:

Take I

    2 All simple type definitions are, or are derived ultimately from,
    the ·simple ur-type definition (so· circular definitions are
    disallowed). That is, it is possible to reach a built-in primitive
    datatype or the ·simple ur-type definition· by following the {base
    type type definition} zero or more times.

Take II

  2 All simple type definitions are, or are derived ultimately from,
    the ·simple ur-type definition (so· circular definitions are
    disallowed). That is, from any ordinary simple type definition it
    is possible to reach a built-in primitive datatype or the ·simple
    ur-type definition· by following the {base type type definition}
    zero or more times.

Received on Monday, 30 January 2006 18:37:41 UTC