XML的结构完整性约束推理

摘要：

为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.

关键词：XML结构完整性约束、逻辑蕴涵、一致性、推理规则、路径蕴涵闭包

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金70471003;高等学校博士学科点专项科研基金20050108004

在线出版日期：2011-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：2281-2290