请教checkpoint和redo log的数据库原理问题
例如现在有一个checkpoint C1,然后有个故障点E1
在C1到E1之间有个事务 T1,他已经commit,
按照书上的说法,这个T1事务是要redo的,但问题是这是建立T1操作的相应数据没有
从缓存中写入数据库的.如果数据已经写入数据库了,明显是不用redo的
但是书上好象从来没有提到这一点
只是说checkpoint前的已经提交的事务其操作的数据肯定也写入了数据库,所以不用redo
那么在checkpoint和故障点之间的事务是如何保证
那些已经commited的事务哪些要redo,哪些又不用redo的呢