src enthält zwei Arten von Zeilen: "heiße" (kind = 'hot') und "kalte" (kind = 'cold'). Kalte Zeilen müssen atomar nach dest verschoben werden — ohne Race-Window zwischen dem Löschen aus der einen und dem Einfügen in die andere. src(id, kind) enthält vier Zeilen: ein Paar heiße und ein Paar kalte. dest(id, kind) hat dieselbe Struktur und ist leer. Löschen Sie in einer einzigen Anweisung alle kalten Zeilen aus src und fügen Sie sie direkt in dest ein. Nach der Operation behält src nur die heißen Zeilen, während dest die kalten erhält.