| XML的结构完整性约束推理 |
| |
| 引用本文： | 张剑妹,陶世群,梁吉业,曹峰. XML的结构完整性约束推理[J]. 计算机学报, 2010, 33(12). DOI: 10.3724/SP.J.1016.2010.02281 |
| |
| 作者姓名： | 张剑妹 陶世群 梁吉业 曹峰 |
| |
| 基金项目： | 国家自然科学基金，高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.
|
| 关 键 词： | XML结构完整性约束 逻辑蕴涵 一致性 推理规则 路径蕴涵闭包 |
Reasoning about Structural Integrity Constraints for XML |
| |
| ZHANG Jian-Mei,TAO Shi-Qun,LIANG Ji-Ye,CAO Feng. Reasoning about Structural Integrity Constraints for XML[J]. Chinese Journal of Computers, 2010, 33(12). DOI: 10.3724/SP.J.1016.2010.02281 |
| |
| Authors: | ZHANG Jian-Mei TAO Shi-Qun LIANG Ji-Ye CAO Feng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
