XML的结构完整性约束推理

• 作者: 张剑妹 曹峰 梁吉业 陶世群
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: XML结构完整性约束 逻辑蕴涵 一致性 推理规则 路径蕴涵闭包
• 年，卷（期）: 2010,（12）
• 页码范围: 2281-2290
• 分类号: TP311
• 字数: 10596字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.02281

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁吉业	山西大学计算机与信息技术学院	114	1486	21.0	34.0
2	陶世群	山西大学计算机与信息技术学院	58	459	11.0	19.0
3	张剑妹	长治学院计算机系	33	90	6.0	6.0
5	曹峰	山西大学计算机与信息技术学院	13	68	5.0	8.0