规则的可终止性
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图的方法来判定可终止性都存在一定的局限性。
Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach.
youdao
应用推荐
模块上移
模块下移
不移动