Cuando finaliza, una transacción debe dejar todos los datos en un estado coherente.