[Bug 2728] super/sub -set constraints missing for born-binary pattern, enumeration respectively

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

           Summary: super/sub -set constraints missing for born-binary
                    pattern, enumeration respectively
           Product: XML Schema
           Version: 1.0/1.1 both
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: ht@inf.ed.ac.uk
         QAContact: www-xml-schema-comments@w3.org


Nothing in the REC stops me from having an enumeration facet whose value is a
superset of its base type definition's, or a pattern facet whose value a subset
of its base type definition's.  This violates subsumption.  The XML
representations of such facets are disallowed, but nothing stops born-binary ones.

Received on Thursday, 19 January 2006 12:48:26 UTC