事务框架下主动规则的并发控制算法

探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系，提出一个关发控制算法，并基于层次可串行性标准证明算法的正确性。