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

• 作者: 刘云生 徐长醒 许贵平
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 主动数据库 主动规则模型 嵌套事务模型 并发性
• 年，卷（期）: 2002,（5）
• 页码范围: 600-602
• 页数: 3页
• 分类号: TP311.13
• 字数: 2791字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2002.05.023

摘要

本文研究主动数据库的E-RG主动规则的执行模型.E-RG主动规则包含由CA规则间基本时序关系导出控制结构,是一种高层次的主动规则.它既支持CA规则的并发执行,又易于规范规则集的行为特性.E-RG主动规则的执行需要扩展的嵌套事务模型,我们已经使用一种形式框架准确、完整地刻画该事务模型.本文依据扩展的嵌套事务模型的正确性准则,给出正确实现并发的嵌套事务原子性和隔离性的锁规则,并使用一种调度算法保证主动规则E-RG中所包含的时序语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘云生	华中科技大学计算机学院	179	2028	24.0	33.0
2	许贵平	华中科技大学计算机学院	11	90	5.0	9.0
3	徐长醒	华中科技大学计算机学院	1	8	1.0	1.0