可终止性

作品数：16被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊中敏郝忠孝蒋曹清彭立杨恒伏更多>>
相关机构：哈尔滨理工大学山东大学武汉大学上海海洋大学更多>>
相关期刊：《计算机工程与应用》《计算机工程与设计》《哈尔滨理工大学学报》《哈尔滨工业大学学报》更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金山东省自然科学基金上海市科委重大科技攻关项目更多>>
-
在结果中检索

检索结果分析

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