若DBMS的事务处理机制中，采用具有静态检查点技术来进行系统故障的恢复，在下图所示的Tc时刻系统设置了一个静态检查点，随后在设置下一个检查点前的Tf时刻，系统崩溃，图中用横线段表示事务的开始时刻到结束时刻的运行状态，则（）事务需要重做