[Bug 4992] Object identity needs to be clarified

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


virginia.smith@hp.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|editorial                   |needsReview




------- Comment #11 from virginia.smith@hp.com  2007-11-29 16:49 -------
The following has been added to section 4.2.2 Consistent Reference Schemes. The
complete section now reads:

----------------
4.2.2 Consistent Reference Schemes

An SML model MUST be declared invalid when a recognized scheme resolves to a
target that's different from the target resolved to by another recognized
scheme or when one recognized scheme resolves and another does not.

To determine if two targets are the same or different, a model validator MUST
obey the following rules.

   1. A model validator MUST consider both targets to be the same when the
scheme is defined such that all information required to locate the target is
contain within the scheme and a case-sensitive, codepoint-by-codepoint
comparison of the two reference scheme instances determines that the scheme
representations are identical. This is the case with the 4.3.1 SML URI Scheme.
Two targets MUST be considered the same if they are identified by the same URI
as determined by a case-sensitive, codepoint-by-codepoint comparison. New
schemes MUST state whether they fall into this category or not.
   2. A model validator MUST consider both targets to be different when there
is something available in the element information items for the targets that
tells them apart. For example, if there is an infoset property for which the 2
targets have different values, they are different. This applies recursively for
complex-valued properties.
   3. For all other cases, it is implementation-defined whether to treat the
targets as the same or not. 

============
Note: the EPR scheme definition must be updated to comply with #1.

Received on Thursday, 29 November 2007 16:49:36 UTC