[Bug 6175] New: Wildcard overlap

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

           Summary: Wildcard overlap
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: mike@saxonica.com
         QAContact: www-xml-schema-comments@w3.org


Appendix M states:

Two non-group particles overlap if ...

They are both wildcards, and the {variety} of the wildcard intersection of
their {namespace constraint}s as defined in Attribute Wildcard Intersection
(§3.10.6.4) is not any and the {namespaces} of such intersection is not the
empty set.

This implies that the two particles

<xs:any namespace="##any"/>

<xs:any namespace="##any"/>

do not overlap. Can't be right! I think it should say

<quote>
or    * They are both wildcards, and the {variety} of the wildcard intersection
of their {namespace constraint}s as defined in Attribute Wildcard Intersection
(§3.10.6.4) is *any* or *not*.

or    * They are both wildcards, and the {variety} of the wildcard intersection
of their {namespace constraint}s as defined in Attribute Wildcard Intersection
(§3.10.6.4) is *enumeration* and the {namespaces} of such intersection is not
the empty set.
</quote>

(This is assuming we continue to rely on wildcard intersection, which is
problematic, as I'm not sure it's defined on element wildcards. An alternative
would be to say simply <quote>They are both wildcards, and there is at least
one URI that matches both wildcards as defined in Wildcard allows Namespace
Name (§3.10.4.3)</quote>)


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 21 October 2008 10:50:54 UTC