小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2002年
5期
600-602
,共3页
主动数据库%主动规则模型%嵌套事务模型%并发性
主動數據庫%主動規則模型%嵌套事務模型%併髮性
주동수거고%주동규칙모형%감투사무모형%병발성
本文研究主动数据库的E-RG主动规则的执行模型.E-RG主动规则包含由CA规则间基本时序关系导出控制结构,是一种高层次的主动规则.它既支持CA规则的并发执行,又易于规范规则集的行为特性.E-RG主动规则的执行需要扩展的嵌套事务模型,我们已经使用一种形式框架准确、完整地刻画该事务模型.本文依据扩展的嵌套事务模型的正确性准则,给出正确实现并发的嵌套事务原子性和隔离性的锁规则,并使用一种调度算法保证主动规则E-RG中所包含的时序语义.
本文研究主動數據庫的E-RG主動規則的執行模型.E-RG主動規則包含由CA規則間基本時序關繫導齣控製結構,是一種高層次的主動規則.它既支持CA規則的併髮執行,又易于規範規則集的行為特性.E-RG主動規則的執行需要擴展的嵌套事務模型,我們已經使用一種形式框架準確、完整地刻畫該事務模型.本文依據擴展的嵌套事務模型的正確性準則,給齣正確實現併髮的嵌套事務原子性和隔離性的鎖規則,併使用一種調度算法保證主動規則E-RG中所包含的時序語義.
본문연구주동수거고적E-RG주동규칙적집행모형.E-RG주동규칙포함유CA규칙간기본시서관계도출공제결구,시일충고층차적주동규칙.타기지지CA규칙적병발집행,우역우규범규칙집적행위특성.E-RG주동규칙적집행수요확전적감투사무모형,아문이경사용일충형식광가준학、완정지각화해사무모형.본문의거확전적감투사무모형적정학성준칙,급출정학실현병발적감투사무원자성화격리성적쇄규칙,병사용일충조도산법보증주동규칙E-RG중소포함적시서어의.
