终止性

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于约束的主动规则终止性分析
《计算机研究与发展》2006年第5期894-900,共7页徐贵红 张健 
国家自然科学基金项目(60125207;60421001)~~
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而...
关键词：主动规则 终止性 数据库状态 约束 约束求解 
基于活化路径和条件公式的主动规则集可终止性判定方法被引量：4
《计算机研究与发展》2006年第5期901-907,共7页熊中敏 郝忠孝 
黑龙江省自然科学基金项目(F00-06)~~
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基...
关键词：主动数据库 规则分析 活化路径 条件公式 可终止性 
含环触发图对应的主动规则集可终止性分析被引量：1
《计算机研究与发展》2005年第12期2199-2205,共7页郝忠孝  任超  赵龄强  
黑龙江省自然科学基金项目(F00-06)~~
主动规则集的可终止性是主动数据库规则集的三大重要特征之一·主动规则集可否保证终止将直接影响到系统的应用·由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念·以此为基础,提出了...
关键词：主动数据库 ECA规则 规则触发-依赖图 触发图 终止性分析 
主动规则可终止性的动态分析方法被引量：2
《计算机研究与发展》2000年第8期1018-1024,共7页杨波 王海洋 董继润 
霍英东青年科学家基金!(项目编号 710 65 );山东省自然科学基金!(项目编号 Q97G0 115 8)
判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终...
关键词：主动数据库 可终止性 动态分析 主动规则 
支持复合事件的主动规则的可终止性分析被引量：6
《计算机研究与发展》1998年第5期460-463,共4页孙明 姜跃平 董继润 
国家自然科学基金
ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规...
关键词：主动数据库 ECA规则 复合事件 可终止性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部