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

针对两种典型的主动数据库系统HiPAC和Starburst系统中主动规则模型的不足,提出主动数据库的E-RG规则模型.该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,既支持CA规则的并发执行,又易于规范规则集的行为特性.同时给出由规则间基本时序关系导出S,Y与P的关系,并保证时间语义无损的转换算法.     

分布式主动实时事务预分析与预测的集成框架

为改善分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,并基于该模型提出了一个分布式主动实时事务预分析处理与动态预测的集成框架,包括事务生成时的静态预分析、事务接纳时的初始动态预分析和事务运行阶段的即席分析与预测,它可以有效地支持分布式主动实时事务的静动结合分析,改善事务处理的实时性能．     

Researching in Execution Modes for Concurrent Active Rules

It is known as Coupling Modes that how the rule in active database system is triggered to execute by rule monitor when some special events occurs.In general,the Coupling Modes may be divided into immediate,deferred and detached modes in active database systems.This paper classifies the coupling modes into syn-coupling and asyn-coupling modes,according to the key issue,synchrony/asynchrony,in parallel programming language.Rule execution semantics for various coupling modes is distinctly defined.It is beneficial to implementation and usage of the active rule system.After graph-based rule system(E-RG)and its execution model,which have been researched in their previous works,are chiefly described,the authors show the various strategies to construct the syn-coupling and asyn-coupling modes in E-RG rule system,based on semantics of coupling modes.     

基于图的主动数据库规则模型E—RG

针对两种典型的主动数据库系统的ＨｉＰＡＣ和Ｓｔｒａｂｕｒｓｔ系统中主要动规则模型的不足,提出主动数据库的Ｅ－ＲＧ规则模型,该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,即支持Ｃ－Ａ规则的并发执行,又易于规范规则集的行为特性,同时给出由规则间基本时序关系导出Ｓ,Ｙ与Ｐ的关系,并保证时间语义无损的转换算法。