登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
计算主动数据库中不可归约规则集的有效算法
  • 摘要

    主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点.有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集.现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率.经过深入分析活化规则可无限执行的特点,提出了活化路径等概念.基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约.

  • 作者

    郝忠孝  熊中敏  Hao Zhongxiao  Xiong Zhongmin 

  • 作者单位

    哈尔滨理工大学计算机与控制学院,哈尔滨,150080;哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001;齐齐哈尔大学计算机科学与技术系,齐齐哈尔,161006/哈尔滨理工大学计算机与控制学院,哈尔滨,150080

  • 刊期

    2006年2期 ISTIC EI PKU

  • 关键词

    主动数据库  规则分析  活化路径  禁止活化环  不可归约规则集 

参考文献
  • [1] Baralis E.;Ceri S.. Compile-time and runtime analysis of active behaviors. IEEE Transactions on Knowledge and Data Engineering, 1998,3
  • [2] Klaus R. Dittrich;Hans Fritschi;Stella Gatziu;Andreas Geppert;Anca Vaduva. SAMOS in hindsight: experiences in building an active object-oriented DBMS. Information systems, 2003,5
  • [3] J Bailey;Guozhu Dong. On the decidability of the termination problem of active database system. Journal of Computer and System Sciences, 2004,1-3
  • [4] E Baralis;S Ceri. Improved rule analysis by means of triggering and activation graphs. Berlin:Springer, 1995
  • [5] E Baralis;J Widom. An algebraic approach to static analysis of active database rules. ACM Transactions on Database Systems, 2000,03
  • [6] A Aiken;J Widom;J Hellerstein. Behavior of database productions rules:Termination,confluence,and observable determinism. New York:ACM Press, 1992
  • [7] Norman W Paton. Active database system. ACM COMPUTING SURVEYS, 1999,01
  • [8] S Comai;L Tanca. Termination and confluence by rule prioritization. IEEE Transactions on Knowledge and Data Engineering, 2003,02
查看更多︾
相似文献 查看更多>>
3.235.66.217