[Bug 11076] Element Declarations Consistent: comparing type tables

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

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsDrafting               |needsReview
             Status|NEW                         |ASSIGNED

--- Comment #3 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-03-07 17:39:59 UTC ---
A wording proposal intended to implement the WG's instructions in comment 2 is
now available for review and comment; it's on the server at

  http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.b11076.html
  (member-only link)

Essentially, it defines a simple mechanical comparison of type tables and type
alternatives which should (a) be safe (it should recognize type tables as
equivalent only when they really are) and (b) be straightforward to implement. 
Additionally, it defines equivalence in purely declarative terms, requires
processors to detect equivalence in all cases covered by the simple mechanical
comparison, and allows processors to detect equivalence in other cases. 

Note that it poses a choice of the WG:  should implementations be encouraged to
detect equivalence more aggressively than the minimum defined?  or allowed to
do so without being encouraged to do so?

-- 
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 Monday, 7 March 2011 17:40:02 UTC