| 基于图的主动数据库E-RG规则执行模型研究 |
| |
| 引用本文： | 徐长醒,刘云生,许贵平. 基于图的主动数据库E-RG规则执行模型研究[J]. 小型微型计算机系统, 2002, 23(5): 600-602 |
| |
| 作者姓名： | 徐长醒 刘云生 许贵平 |
| |
| 作者单位： | 华中科技大学,计算机学院,湖北,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金资助项目 (项目号 :60 0 73 0 45 ) |
| |
| 摘 要： | 本文研究主动数据库的E－RG主动规则的执行模型。E－RG主规则包含由CA规则间基本时序关系导出控制结构，是一种高层次的主动规则。它既支持CA规则的并发执行，又易于规范规则集的行为特性。E－RG主动规则的执行需要扩展的嵌套事务模型，我们已经使用一种形式框架准确，完整地刻画该事务模型。本文依据扩展的嵌套事务模型的正确性准则，给出正确实现并发的嵌套事务原子性和隔离性的锁规则，并使用一种调度算法保证主动规则E－RG中所包含的时序语义。
|
| 关 键 词： | E－RG规则 主动数据库 主动规则模型 嵌套事务模型 多发性 |
| 文章编号： | 1000-1220(2002)05-0600-03 |
Graph-Based E-RG Rule Execution Model in Active Database Systems |
| |
| XU Chang xing,LIU Yun sheng,XU Gui ping. Graph-Based E-RG Rule Execution Model in Active Database Systems[J]. Mini-micro Systems, 2002, 23(5): 600-602 |
| |
| Authors: | XU Chang xing LIU Yun sheng XU Gui ping |
| |
| Abstract: | 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. |
| |
| Keywords: | active database systems active rule models nested transaction models parallel execution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
