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