基于约束的主动规则终止性分析
| Data(s) |
2006
|
|---|---|
| Resumo |
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
徐贵红; 张健.基于约束的主动规则终止性分析,计算机研究与发展,2006,43(5):894-900 |
| Palavras-Chave | #主动规则 #终止性 #数据库状态 #约束 #约束求解 |
| Tipo |
期刊论文 |
