联合公式判定非循环执行路径

摘要：

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析.联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础.

关键词：规则集、触发图、联合公式、环

所属期刊栏目：9

分类号：TP311.13(计算技术、计算机技术)

资助基金：黑龙江省自然科学基金F00-016

在线出版日期：2004-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：23-26