基于图的主动数据库E-RG规则执行模型研究  

Graph-Based E-RG Rule Execution Model in Active Database Systems

作　　者：徐长醒[1] 刘云生[1] 许贵平[1] 

机构地区：[1]华中科技大学计算机学院,湖北武汉430074

出　　处：《小型微型计算机系统》2002年第5期600-602,共3页Journal of Chinese Computer Systems

基　　金：国家自然科学基金资助项目 (项目号 :60 0 73 0 45 )

摘　　要：本文研究主动数据库的 E- RG主动规则的执行模型 .E- RG主动规则包含由 CA规则间基本时序关系导出控制结构 ,是一种高层次的主动规则 .它既支持 CA规则的并发执行 ,又易于规范规则集的行为特性 .E- RG主动规则的执行需要扩展的嵌套事务模型 ,我们已经使用一种形式框架准确、完整地刻画该事务模型 .本文依据扩展的嵌套事务模型的正确性准则 ,给出正确实现并发的嵌套事务原子性和隔离性的锁规则 ,并使用一种调度算法保证主动规则 E-In this paper, we research an E RG rule execution model in Active Databases. The E RG rule contains the control structure of the corresponding CA rule, and the rule model have advantages of supporting CA rule parallel execution and easiness of controlling behaviors of the rule sets. Based on the correctness criteria of the extended nested transaction model, we give the locking protocol, in order to guarantee that the parallel execution of nested transactions is island and atomic, and we provide a scheduling algorithm to implement the temporal relation between CA rules.

关 键 词：E-RG规则 主动数据库 主动规则模型 嵌套事务模型 多发性 

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