基于约束的主动规则终止性分析
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.
主动规则、终止性、数据库状态、约束、约束求解
43
TP311.13(计算技术、计算机技术)
中国科学院资助项目60125207,60421001
2006-06-01(万方平台首次上网日期,不代表论文的发表时间)
共7页
894-900