含有非独立型触发环的主动规则集归约算法研究

计算机科学 ›› 2006, Vol. 33 ›› Issue (6): 163-167.

含有非独立型触发环的主动规则集归约算法研究

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
该项目受到黑龙江省自然科学基金资助（F00-06）.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 可终止性判定问题是主动数据库的一个核心问题。现有的研究工作提出了运用触发图和活化图的方法解决这个问题，其中的一个关键技术就是利用归约算法对主动规则集进行归约。已有的计算方法对一些可归约规则无法识别。本文提出了独立型触发环、非独立型触发环、活化路径、禁止活化环、禁止活化规则等概念。基于这些概念，提出了一个新的归约算法，从而可识别出更多的可归约规则。

关键词: 主动数据库非独立型触发环活化路径归约算法

Abstract: Termination decision of an active rule set is an important problem in active database. Several recent works have suggested to prove termination using triggering and activation graphs. In these works, a crucial problem which should be solved is to compute

Key words: Active database, Dependent triggering cycle, Activation path, Rule reduction algorithm

. 含有非独立型触发环的主动规则集归约算法研究[J]. 计算机科学, 2006, 33(6): 163-167. https://doi.org/