Active rules termination is an important problem of active database.To prove termination by using triggering and activation graphs has conservativeness.

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