This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4643 - inheritance of identity constraints through substitution - align with XSD?
Summary: inheritance of identity constraints through substitution - align with XSD?
Status: RESOLVED WONTFIX
Alias: None
Product: SML
Classification: Unclassified
Component: Core (show other bugs)
Version: unspecified
Hardware: Macintosh All
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: SML Working Group discussion list
URL:
Whiteboard:
Keywords: resolved
Depends on:
Blocks: 5063
  Show dependency treegraph
 
Reported: 2007-06-13 16:37 UTC by C. M. Sperberg-McQueen
Modified: 2007-10-16 21:31 UTC (History)
0 users

See Also:


Attachments

Description C. M. Sperberg-McQueen 2007-06-13 16:37:11 UTC
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.
Comment 1 C. M. Sperberg-McQueen 2007-08-02 19:21:49 UTC
The quotation seems to be out of synch with the summary of the issue.  On
the call of 2 August, the WG concluded that the passage we had intended
to point to was a different bullet item in what is now section 3.4 on
Identity Constraints.

    Each SML identity constraint that is specified for a global element 
    declaration G MUST be treated as if it is specified by default 
    for all global element declarations SG   that are in the substitution 
    group hierarchy whose head is G
Comment 2 Pratul Dublish 2007-09-24 04:22:20 UTC
Constraints are an integral part of a type definition or element declaration in SML and can not be removed/overridden by derived types or element declarations in a substitution group. We should NOT align with XSD 1.0 here, but we can consider making a request to the schema working group to consider aligning XSD 1.1 with SML.