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

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

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

徐长醒、刘云生、许贵平

展开 >

华中科技大学,计算机学院,湖北,武汉,430074

主动数据库 主动规则模型 嵌套事务模型 并发性

国家自然科学基金

60073045

2002

小型微型计算机系统
中国科学院沈阳计算技术研究所

小型微型计算机系统

CSTPCDCSCD北大核心
影响因子：0.564
ISSN：1000-1220
年,卷(期)：2002.23(5)
  • 2
  • 1