终止性

作品数：103被引量：114H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李轶冯勇吴文渊郝忠孝杨泽雪更多>>
相关机构：中国科学院重庆绿色智能技术研究院哈尔滨理工大学中国科学院大学中国科学院成都计算机应用研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划黑龙江省自然科学基金重庆市科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=哈尔滨理工大学学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
主动规则的终止性分析被引量：1
《哈尔滨理工大学学报》2006年第6期13-15,共3页杨泽雪 郝忠孝 
终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.
关键词：主动数据库 终止性 演绎数据库 
基于事务的规则终止性分析
《哈尔滨理工大学学报》2005年第6期55-58,共4页杨泽雪 郝忠孝 
针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法主要分析事务信息和结构如何影响主动规则的终止性.给出了算法来检验规则终止性,并证明了算法的正确性.
关键词：主动数据库 终止性 事务 
基于图的主动数据库规则集终止性分析被引量：1
《哈尔滨理工大学学报》2005年第1期83-87,共5页任超 李玮 何红红 原湘华 
主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精 确判定规则集的终止性必须找出触发图中的全部环路.在OO模式下对主动规则集的可终止性进行 深入分析,得出了判定规则集终止性的方法,给出了计算触发图中...
关键词：主动数据库 ECA规则 可终止性 环路 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部