关联图与主动规则集的终止性分析

来源 :软件学报 | 被引量 : 0次 | 上传用户：mrsouth

【摘要】

：

终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假

【作者】

：

左万利刘居红刘淑芬

【机构】

：

吉林大学计算机科学系

【出处】

：

软件学报

【发表日期】

：

2001年2期

【关键词】

：

主动数据库 EAC-规则终止性静态分析关联图惰化图 Algorithms Logic programming Numerical analysis

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivation graph),并与触发图和活化图相结合，定义了更为一般的关联图(relationship graph).同时，给出了基于关联图的主动规则集终止性静态分析算法,提高了终止性判定的准确性.

其他文献

颅内蛛网膜囊肿30例

我院1985年4月-2005年2月共收治颅内蛛网膜囊肿30例。治疗效果满意，现报告如下。

期刊

颅内蛛网膜囊肿计算机体层成像手术治疗

关于矢量乘法的一些注记

期刊

矢量乘法消去律结合律成立条件“·”积“x”积充要条件

键能与亲电取代定位效应

期刊

键能定位效应有机反应亲电取代反应

分级的混合模式布局算法