1、背景
��理论证明,两阶段封锁协议对保证调度可串行化来说不仅是必要的而且是充分的。因此,如果要开发非两阶段封锁协议,就需要知道一些额外信息。例如,最简单的模型要求我们应事先知道访问数据项的先后顺序,这样的模型介绍如下:
假设数据项集合D={d1,d2,…,dn}的所有数据项满足偏序关系→。即,如果di→dj,则任何既访问di又访问dj的事务必须首先访问di,然后再访问dj。这种偏序可以是数据的逻辑或物理组织的结果,也可以只是为了并发控制而强加上的。
2、数据库图
��偏序(Partial Ordering)意味着集合D可视为有向无环图,称为数据库图,如图11-2-1所示。为简单起见,在数据库图中,我们只考虑那些带有根的树,为这些带根的树定义一个简单的树形封锁协议,该协议只使用排他锁。
|