Termination and confluence of rule execution
Termination and confluence of rule execution
复制标题
规则执行的终止和汇合
DOI：
10.1145/170088.170142
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
A. Siebes
中科院分区：
文献类型：
--
作者：
L. Voort;A. Siebes
规则提供了约束执行和查看维护的功能。根据规则，可以证明这两个问题的正确误解，需要规则集的流行和终止行为。同一，到目前为止，几乎没有完成这些属性的静态效果。在本文中，开发了00dBMS中规则集的设计发电机。本文介绍了两个谓词，即terninat e（n）和独立，它们分别暗示着释放和汇合。这两种谓词都是在两种规则执行SEMAN，ICS：基于设置和实例的两种规则执行下进行的。 HE谓词的可决定性已得到证明，并且表明基于集合和nstance的语义是在独立的规则和终止的规则时重合的。此外，在两种类型的Senantics下，都有足够的低算法复杂性和独立的条件。
Rules provide the functionality for constraint enforcement and view maintenance. A provably correct mplementation of both issues based on rules, requires onfluent and terminating behaviour of the rule set. Iowever, little work has been done so far on the static letection of these properties. In this paper, a design heory for rule sets in an 00DBMS is developed. This paper introduces two predicates, viz., Terninat e(n) and Independent, which imply respectively ermination and confluence. Both predicates are char~cterised under two kinds of rule execution seman,ics: set and instance based. The decidability of he predicates is proven and it is shown that set and nstance based semantics coincide whenever the rule let is independent and terminates. Moreover, sufficient conditions of low algorithmic complexity for both 17erminate(n) and Independent under both kinds of senantics are given.