This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
What if DTDs are supported in DM, and new name is typed as ID in the DTD, or name typed as ID in DTD gets renamed (same for IDREF/S).
Michael, I think this case is covered. Renaming a node invokes upd:removeType() on the node, which sets its "id" and "idref" properties to False. These properties can be recovered by subsequent revalidation. --Don Chamberlin
I agree that this is covered that way. I still think that adding an editorial note along the line of NOTE: Renaming an node invokes upd:removeType() on the node, which untypes it and sets its "id" and "idref" properties to False. would be very useful for the understanding of the spec.
Michael, I have accepted and implemented this editorial suggestion. However, I did it in a more general way than you suggested. Loss of the "id" property by a rename expression is only one small example of the general rule that updating expressions cause a loss of type information from the affected nodes. I have added the following note to Section 2.4: Note: In general, updating expressions cause a loss of type information from nodes that are affected by the update. Type information for these nodes may be recovered by a revalidation process at the end of the snapshot. For more details on type loss and recovery, see the update primitives associated with each updating expression; see also [3.2.4 upd:removeType] and [3.2.3 upd:revalidate]. Regards, Don Chamberlin