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

熊中敏; 郝忠孝

首页> 中文期刊> 《计算机科学》 >含有非独立型触发环的主动规则集归约算法研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机科学》 |2006年第6期|163-167|共5页
作者
熊中敏; 郝忠孝;
展开▼
作者单位

哈尔滨理工大学计算机与控制学院;

哈尔滨150080;

哈尔滨理工大学计算机与控制学院;

哈尔滨150080;

哈尔滨工业大学计算机科学系;

哈尔滨150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
主动数据库; 非独立型触发环; 活化路径; 归约算法;

相似文献

中文文献
外文文献
专利

1. 含环触发图对应的主动规则集可终止性分析 [J] . 郝忠孝 ,任超 ,赵龄强 . 计算机研究与发展 . 2005,第012期
2. 计算主动数据库中不可归约规则集的有效算法 [J] . 郝忠孝 ,熊中敏 . 计算机研究与发展 . 2006,第002期
3. 基于触发路径的主动规则集终止性分析 [J] . 熊伟 ,吴烨 ,张震 . 计算机学报 . 2012,第001期
4. Janu2亚型酪氨酸激酶在环匹阿尼酸触发的大鼠主动脉血管环收缩效应中的作用 [J] . 林默君 ,关永源 ,贺华 . 福建医科大学学报 . 2001,第004期
5. 工期约束下加工型产品准确率串归约算法研究 [J] . 罗智勇 ,汪鹏 ,尤波 . 电子科技大学学报 . 2017,第006期
6. 中介逻辑系统MP与MP*~**中之命题联结词的独立性问题及其归约 [C] . 肖奚安 . 中国系统工程学会模糊数学与模糊系统委员会第五届年会 . 1990
7. 关于主动数据库中主动规则集可终止性理论的研究 [A] . 熊中敏 . 2006

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

摘要

著录项

相似文献

相关主题

期刊订阅