-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=“事件-条件-动作”主动规则 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

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