《计算机学报》文章摘要   全文下载
文章题目	XML的结构完整性约束推理
作者	张剑妹1),2) 陶世群2) 梁吉业2) 曹峰2)
作者单位	1)(长治学院计算机系 山西长治 046011) 2)(山西大学计算机与信息技术学院 太原 030006)
发表年份	2010
发表月份	12期(2281—2290)
文章摘要	摘要 为了有效地优化XML路径表达式查询，给出了一个XML结构完整性约束体系，这个体系全面描述了XML文档中节点或路径之间的结构关系，包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束；然后给出了一组路径蕴涵的推理规则；最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法. 关键词 XML结构完整性约束；逻辑蕴涵；一致性；推理规则；路径蕴涵闭包 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2010.02281