主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图的方法来判定可终止性都存在一定的局限性。

Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach.

youdao

主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图的方法来判定可终止性都存在一定的局限性。

Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach.

youdao