计算主动数据库中不可归约规则集的有效算法
【摘要】:主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约·
|
|
|
|
1 |
卢炎生,王道忠,刘云生,张文彬;主动的实时数据库管理系统研究[J];华中理工大学学报;1994年09期 |
2 |
李昭文,尤定华;主动数据库及其应用的研究[J];北京理工大学学报;1995年01期 |
3 |
印桂生,王莹,刘大昕,秦奋涛;主动数据库管理系统的特征[J];电脑学习;1997年02期 |
4 |
印桂生,王莹,刘群,刘大昕;基于Petri网的主动数据库规则分析方法[J];哈尔滨工程大学学报;1997年01期 |
5 |
邵佩英,孙淑玲;标准SQL和商用DBMS中的主动数据库功能[J];计算机工程与应用;1999年09期 |
6 |
姜同强;具有主动功能的连锁经营企业配送中心管理信息系统的设计与实现[J];教育信息化;1999年06期 |
7 |
徐长醒,刘云生,许贵平;基于图的主动数据库规则模型E-RG[J];华中理工大学学报;2000年11期 |
8 |
毕利;主动数据库的模型及实现途径[J];计算机工程;2000年09期 |
9 |
王广昌,潘善亮,王申康;一个基于CORBA的分布式主动数据库系统[J];计算机研究与发展;2001年09期 |
10 |
梁雯;主动数据库及其研究现状[J];情报理论与实践;2001年02期 |
|