[Bug 4643] inheritance of identity constraints through substitution - align with XSD?

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

           Summary: inheritance of identity constraints through substitution
                    - align with XSD?
           Product: SML
           Version: unspecified
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: cmsmcq@w3.org
         QAContact: public-sml@w3.org


In section 3.5, the draft spec says 

    If an SML identity constraint is specified for an element 
    declaration E, then this constraint is applicable to all 
    instances of E in a model, i.e., the identity constraint 
    MUST be satisfied for each instance of E  in a valid model

XSD 1.0 does not impose any analogous constraint on identity
constraints within single documents. 

Should we align with XSD by removing this constraint?

Should we align with XSD by persuading the XML Schema Working
Group to impose an analogous constraint in XSD?

Or should we decide that on this point we believe alignment
with XSD is not desirable or necessary?  

Some thinking and research will be needed, and discussion with
the Schema WG.

Received on Wednesday, 13 June 2007 16:37:13 UTC