• Article
  • | |
  • Metrics
  • |
  • Reference [5]
  • |
  • Related [20]
  • |
  • Cited by [10]
  • | |
  • Comments
    Abstract:

    Termination reflects desirable behavior property of active database systems. At present, termination analysis is based on triggering and activation graphs, the result of which is conservative. In this paper, “deactivation graph” is introduced to express the fact that one rule's action may falsify another rule's condition. In combination with triggering and activation graphs, a more generalized “relationship graph” is defined, based on which a new algorithm for termination analysis of active rule set is proposed, which improves the accuracy of termination analysis for active rule set.

    Reference
    [1] Widom, J., Ceri, S. Active Database Systems. Mateo, CA: Morgan-Kaufmann, Publishers, Inc., 1996.
    [2] Vaduva, A., Gatziu, S., Dittrich, K.R. Investigating termination in active database systems with expressive rule languages. Technique Report, 97.03, Switzerland: Universitat Zürich, 1997. 1~21.
    [3] Aliken, A., Widom, J., Hellerstein, J.M. Behavior of database production rules: termination, confluence, and observable determinism. Technique Report, RJ8562, San Jose, CA: IBM Almaden Research Center, 1992. 1~15.
    [4] 孙明,姜跃平,董继润.支持复合事件的主动规则的可终止性分析.计算机研究与发展,1998,35(5):460~463.
    [5] Elena, B., Stefano C., Stefano P. Improved rule analysis by means of triggering and activation graphs. In: Timos, S. ed. Rules in Database Systems. Athens: Springer-Verlag, 1995. 165~181.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

左万利,刘居红,刘淑芬.关联图与主动规则集的终止性分析.软件学报,2001,12(2):276-282

Copy
Share
Article Metrics
  • Abstract:3645
  • PDF: 4521
  • HTML: 0
  • Cited by: 0
History
  • Received:August 12,1998
  • Revised:October 30,1999
You are the first2038644Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063