东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

基于约束的主动规则终止性分析

期刊名称：计算机研究与发展，43(5):894-900, 2006
时间：0
分类：TP311.13[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
作者机构：[1]中国科学院软件研究所计算机科学重点实验室,北京100080, [2]中国科学院研究生院,北京100049
相关基金：国家自然科学基金项目（60125207,60421001）
相关项目：软件形式化方法

作者：徐贵红、张健

关键词：主动规则, 终止性, 数据库状态, 约束, 约束求解, active rule, termination, database state, constraint , constraint solving

中文摘要：

终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.

英文摘要：

Detecting termination of rules is in general undecidable. Existing static analysis techniques are very conservative, and the current SQL3 standard does not prescribe methods for ensuring termination, so most commercial database products impose a fixed upper limit on the number of cascading rule firings. The commercial solution has undesirable effects e.g. some correct rule firing sequences may prematurely be halted. Since a rule can be viewed as a database state transformer, in this paper, database states are expressed with linear and Boolean hybrid constraints, and processing of rules is simulated based on constraint expressions and constraint solving. This method can obtain more precise conclusion than the existing methods.

同期刊论文项目