如果一个事务正在故障之前执行完，但是它并没有到达检查点，那么应执行下列哪种操作()