主动规则在XML系统中的实现及可终止性分析

• 作者: 栾虹 田昊 袁宁 郝光前
• 来源期刊: 微电子学与计算机
• 关键词: XML ECA主动规则 可终止性 递归等式
• 年，卷（期）: 2006,（2）
• 页码范围: 38-41
• 页数: 4页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.02.012

摘要

文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法.这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作为进一步主动规则分析的理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁宁	济南大学信息科学与工程学院	23	111	7.0	9.0
2	郝光前		3	11	2.0	3.0
3	栾虹	济南大学信息科学与工程学院	12	134	4.0	11.0
4	田昊		1	0	0.0	0.0