终止性

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
XML中的主动规则的模型及其可终止性分析
《计算机工程与设计》2006年第15期2747-2749,共3页吴卫华 董梅 
山东省自然科学基金项目(Y2001G03)
在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则...
关键词：可扩展标识性语言 主动节点 “事件-条件-动作”主动规则 可终止性 递归等式 
级联触发器终止性的实现
《计算机工程与设计》2006年第15期2882-2883,2908,共3页邓晓军 
通过给出触发器的形式描述,对级联触发器的终止性进行详细探讨,并分析了大型商用数据库系统终止级联触发器的方法。提出了一种避免级联触发器无限循环的方法,即采用限制触发器循环执行次数,并结合级联触发器上限参数,可以允许某些循环...
关键词：数据库系统 级联触发器 “事件-条件-动作”规则 终止性 跟踪链 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部