src contient deux types de lignes : « chaudes » (kind = 'hot') et « froides » (kind = 'cold'). Les lignes froides doivent être déplacées de manière atomique vers dest — sans fenêtre de concurrence entre la suppression dans l'une et l'insertion dans l'autre. src(id, kind) contient quatre lignes : une paire de chaudes et une paire de froides. dest(id, kind) a la même structure et est vide. En une seule instruction, supprimez toutes les lignes froides de src et insérez-les directement dans dest. Après l'opération, src ne conserve que les lignes chaudes, tandis que dest reçoit les froides.