Em um banco de dados relacional, a instrução que desfaz todas as modificações feitas pelo programa, desde o último ponto de sincronia, é a: