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

A Concurrency Control Algorithm for Active Rules Execution in the Framework of Database Transactions

作　　者：左万利[1] 金阳[1] 

机构地区：[1]吉林大学计算机科学系,长春130012

出　　处：《吉林大学自然科学学报》2001年第2期28-32,共5页Acta Scientiarum Naturalium Universitatis Jilinensis

基　　金：国家自然科学基金! (批准号 :6 96 730 15 );吉林省科技发展计划项目基金! (批准号 :吉科合字第 2 0 0 0 111)

摘　　要：探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .The present paper deals with lock inheritance and lock preemption among the concurrent rule transactions when shared data objects are accessed, and presents an concurrency control algorithm. The correctness of the algorithm is proven in the sense of layered serializability.

关 键 词：主动数据库 ECA规则 耦合方式 并发控制算法 层次可串行性 主动规则 事务框架 

分 类 号：TP311.133[自动化与计算机技术—计算机软件与理论]