假设有如下事务： T1 : 在检查点之前提交；T2：在检查点之前开始执行，在检查点之后故障点之前提交；T3：在检查点之前开始执行，在故障点时还未完成；T4：在检查点之后开始执行，在故障点之前提交；T5：在检查点之后开始执行，在故障点时还未完成。在利用具有检查点的恢复技术进行恢复时，( )需要REDO。