基于活化路径和条件公式的主动规则集可终止性判定方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：zzh787

【摘要】

：

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保

【作者】

：

熊中敏郝忠孝

【机构】

：

哈尔滨理工大学计算机科学与技术学院,哈尔滨工业大学计算机科学与技术学院,齐齐哈尔大学计算机与控制工程学院

【出处】

：

计算机研究与发展

【发表日期】

：

2006年5期

【关键词】

：

主动数据库规则分析活化路径条件公式可终止性 active database rule analysis activation path conditio

【基金项目】

：

黑龙江省自然科学基金项目（F00-06）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基础上给出了一个新的判定主动规则集可终止性的方法.分析的结果表明,提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.

其他文献

网络空间的构建与应用

文章阐述了网络空间的概念，探讨了网络空间的实现方法，重点介绍了以数据库为核心，通过SEKVEK—U构建网络空间的技术实现，对网络空间的应用进行了说明。

期刊

网络空间SERVER-U数据库核心FSO

基于水平集的遗传算法优化的改进

现有的遗传算法大多数没有给出收敛性准则，且存在早熟收敛和收敛速度较慢的难题，为此提出一类新型遗传算法．该算法首先从被优化函数的因变量出发，引入了水平集的新概念，对每一代种

期刊

遗传算法水平集平衡变异算子收敛准则genetic algorithm level set balance mutation operator conve

如何做好贫困村劳动力转移就业培训工作

贫困村劳动力转移就业培训＂雨露计划＂是当前扶贫开发的重点工作之一。文章结合本单位开展此项工作情况介绍了工作方法和经验,并提出一些工作设想和建议。

期刊