| 主权项 |
一种用于到数据库的先前状态的数据库回滚的计算机实现的方法(300)，其中所述数据库(101)包含页面的第一集合(D＝{1，...，N},N≥1,110)，其中所述数据库与预写式日志(102)WAL相关，表示页面的第二集合(D′＝{P′<sub>1</sub>，...},130)的已修正内容的帧的集合(S＝{F<sub>1</sub>，...},120)已经被记录到所述WAL内，每个帧(F<sub>j</sub>，j≥1)表示相应的页面的已修正内容(P′<sub>j</sub>∈[1，L]，L≥N)，其中所述数据库还与检查点信息相关，所述检查点信息指示至少一个页面的已修正内容在至少一个检查点的集合(C＝{c<sub>1</sub>，...})被从所述WAL转移到所述数据库，每个检查点(c<sub>l</sub>，l≥1)相应于一个时间点，以及在所述帧的集合中的每个帧相应于所述至少一个检查点之一，其中所述WAL还包括允许所述帧被按时间先后顺序排序的信息，所述方法包括以下步骤：在所述帧的集合中选择表示相应的特定页面(P<sub>M</sub>)的特定已修正内容的特定帧(F<sub>M</sub>)(S301)，所述特定帧相应于按时间先后顺序在所述至少一个检查点的集合(C)中的零个或多于零个检查点之前的检查点；在所述帧的集合中识别帧的第一子集<img file="FDA0000972279840000011.GIF" wi="253" he="83" />所述帧的第一子集<img file="FDA0000972279840000012.GIF" wi="229" he="79" />包含所述特定帧和零个或多于零个按时间先后顺序在其之前的帧(S302)；从所述页面的第一集合提取页面的第一子集<img file="FDA0000972279840000013.GIF" wi="254" he="69" />(S303)；从所述帧的第一子集(S<sub>f</sub>)的相应页面提取页面的第二子集<img file="FDA0000972279840000021.GIF" wi="267" he="81" />(S304)；基于所述页面的第一子集(D<sub>1</sub>)的内容和所述页面的第二子集(D′<sub>f</sub>)的已修正内容执行所述数据库到包含所述特定页面(P<sub>M</sub>)的特定已修正内容的先前状态的回滚(S305)，其特征在于：所述特定帧相应于按时间先后顺序在所述至少一个检查点的集合(C)中的多于一个检查点之前的检查点，以及在于所述方法还包括以下步骤：确定所述页面的第一集合(D)是否包含不是所述页面的第二子集的部分<img file="FDA0000972279840000022.GIF" wi="241" he="80" />的至少一个页面(P<sub>B</sub>∈D)，以及当确定所述页面的第一集合(D)包含不是所述页面的第二子集的部分<img file="FDA0000972279840000023.GIF" wi="254" he="91" />的至少一个页面(P<sub>B</sub>∈D)时，指示先前状态不是真实的先前状态。 |
