src contém dois tipos de linhas: "quentes" (kind = 'hot') e "frias" (kind = 'cold'). As linhas frias devem ser movidas atomicamente para dest — sem janela de corrida entre apagar de uma e inserir na outra. src(id, kind) contém quatro linhas: um par de quentes e um par de frias. dest(id, kind) tem a mesma estrutura e está vazia. Em uma única instrução, apague todas as linhas frias de src e insira-as diretamente em dest. Após a operação src mantém apenas linhas quentes, enquanto dest recebe as frias.