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

【Abstract】 In order to overcome disadvantages of the rule models in active DB of HiPAC and Starburst, we present an E RG rule model and formally defined temporal semantic relationship among rules. An E RG rule contains the control structure of the corresponding CA rule, and the rule model have advantages of supporting C A rules parallel execution and easiness of controlling behaviors of rule sets. The algorithm, to transform the rule temporal graph into the rule graph with lossless semantics, has been also introduced.更多还原