| 主动规则在XML系统中的实现及可终止性分析 |
| |
| 引用本文： | 袁宁,栾虹,郝光前,田昊.主动规则在XML系统中的实现及可终止性分析[J].微电子学与计算机,2006,23(2):38-41. |
| |
| 作者姓名： | 袁宁 栾虹 郝光前 田昊 |
| |
| 作者单位： | 1. 济南大学信息科学与工程学院,山东,济南,250022
2. 山东省智奥地理信息中心,山东,济南,250013 |
| |
| 基金项目： | 教育部科学技术研究项目 |
| |
| 摘 要： | 文章以XML数据模型主动机制的研究作为出发点．讨论了XML中主动规则的模型与实现及其相关行为属性的分析．并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度，降低了时间复杂度，可以作为进一步主动规则分析的理论基础。
|
| 关 键 词： | ECA主动规则 可终止性 递归等式 |
| 文章编号： | 1000-7180（2006）02-038-04 |
| 收稿时间： | 2005-06-10 |
| 修稿时间： | 2005-06-10 |
Achievement of Active Rule and Termination Analysis in XML |
| |
| YUAN Ning,LUAN Hong,HAO Guang-qian,TIAN Hao.Achievement of Active Rule and Termination Analysis in XML[J].Microelectronics & Computer,2006,23(2):38-41. |
| |
| Authors: | YUAN Ning LUAN Hong HAO Guang-qian TIAN Hao |
| |
| Affiliation: | 1 School of Information Science and Engineering, Jinan University, Jinan 250022 China;2 Shandong GEO Develop Center, Jinan 250013 China |
| |
| Abstract: | This paper discusses the model of ECA Active Rule and analyses the property according to studying active mechanism of XML's data model. Combine with rule example, it puts forward a termination static decision arithmetic of analysis rule. Apart from improving definition of rule termination decision and reducing time complexity, we can make it as theory base to studying ECA Active Rule. |
| |
| Keywords: | XML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
