摘要
主动规则集的可终止性是主动数据库规则集的三大重要特征之一·主动规则集可否保证终止将直接影响到系统的应用·由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念·以此为基础,提出了用规则触发-依赖图(T-DG)方法来分析主动规则集的终止性·特别讨论了判定含环的触发图(TG)对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析·
Termination of active rule set is one of the three important characteristics of active database rule sets. It will directly influence the application of active database systems. By analysis of dependency relationship, which exists among the active rules, such concepts are given as triggering-transition closure, dependency-transition closure etc. Based on these concepts, an approach is supposed to analyze termination of active rule set by triggering-dependency graph （T-DG） of active rules. Especially, the approach deciding termination of the active rule set corresponding to a triggering-graph （TG） is studied, which includes a cycle. Also given are the corresponding deciding algorithms, verification and analysis of the algorithms.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2005年第12期2199-2205,共7页
Journal of Computer Research and Development
基金
黑龙江省自然科学基金项目(F00-06)~~
关键词
主动数据库
ECA规则
规则触发-依赖图
触发图
终止性分析
active database
ECA rule
rule triggering-dependency graph
triggering-graph
termination analysis
