src contiene dos tipos de filas: "calientes" (kind = 'hot') y "frías" (kind = 'cold'). Las filas frías deben moverse atómicamente a dest — sin ventana de carrera entre borrar de una e insertar en la otra. src(id, kind) contiene cuatro filas: un par de calientes y un par de frías. dest(id, kind) tiene la misma estructura y está vacía. En una sola sentencia, borra todas las filas frías de src e insértalas directamente en dest. Tras la operación src conserva solo filas calientes, mientras que dest recibe las frías.