关于主动数据库的汇流性问题

Confluence Property of Active Database

针对主动数据库主动规则汇流性分析问题,必须考虑规则与规则之间的相互影响,讨论了带有规则交互关系的主动数据库中的汇流性属性,并在分析了规则的交互关系的基础上,给出了保证主动数据库汇流的充分条件。

Confluence analysis of active rules in active database is a difficult and important problem, and in the process of analyzing, rules triggering and the effect between rules should be taken into account. In this paper, we relate the confluence property of active database with rules interaction relation. On the basis of analyzing the interaction between rules we propose the sufficient conditions that ensure active database is confluent.