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

摘要：

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

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

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：黑龙江省自然科学基金F00-06

在线出版日期：2006-09-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：163-167