主动规则的行为分析

【作者】 许向阳； 冯玉才； 王元珍；

【机构】 华中理工大学计算机系数据库所；

【摘要】 本文通过实例分析提出了主动规则处理的终止和聚合问题。给出了一种判定规则处理是否终止和最终数据库状态是否唯一的静态分析方法,指明了规则处理不终止或者不聚合的原因。本文的讨论有助于正确合理的设计主动规则。更多还原

【Abstract】 This article gives termination and confluence problems in active rules design.A static analysis method for determine whether the rules are guaranted to terminate and guaranted to produce a unique final database state is presented.If one of these properties is not guaranteed,the modify method is given out.更多还原