时态XML文档更新的一致性检查及处理

摘要

随着时态信息处理技术和互联网应用的广泛深入，为了更方便地反映现实世界的时态数据，实现不同网络环境之间的信息共享和数据交换，时态XML的研究已成为当今的一个研究热点。目前对时态XML研究主要集中在时态XML索引、查询优化等方面，对时态XML文档的一致性约束研究相对较少。
　　 时态XML的一致性作为规范时态XML的重要约束条件，如何更有效地保证时态XML满足现实世界的时态语义约束成为时态XML一致性研究首先要解决的问题。尽管国内外对时态XML一致性取得了一些研究成果，但很多研究都是对时态XML进行一致性的全文检查，它们忽略了更新操作所带来的新的一致性冲突，从而出现一致性的重复检查和修复，在一定程度上影响了更新操作的执行效率。
　　 针对当前时态XML一致性研究的不足，本文借鉴了传统XML一致性约束增量检查的研究思想，将其运用到时态XML更新的一致性检查和处理上。本文首先给出了一个时态XML数据模型，在此模型的基础上，分别定义了基于Schema的传统XML一致性和时态XML一致性约束，从这两方面进行一致性增量检查的研究：一方面是基于Schema模式验证进行一致性的增量检查；另一方面，从时态约束性的角度对四种不同的时态XML一致性进行增量检查。进而将时态XML更新操作与一致性增量检查和修复相结合，并给出了满足时态XML一致性的增量更新算法，进一步对时态XML更新查询语句TXPath进行一致性检查和修复的语义扩展。
　　 最后，本文通过仿真实验，对时态XML一致性增量检查算法以及满足时态XML一致性的增量更新算法进行实验验证，通过实验比较和对算法性能的分析，本文所提出的算法具一定的可行性和灵活性。同时保证在更新之前就发现一致性的冲突并及时修复，避免了更新后的重复检查和修复，提高了时态XML更新操作的执行效率。

目录

文摘

英文文摘

声明

第一章 引言

1.1 研究背景

1.2研究的出发点及意义

1.3 国内外研究现状

1.4研究思路与本文贡献

1.5论文组织结构

第二章 相关理论与技术基础

2.1时态数据库基础知识

2.2 XML基础知识

2.3本章小结

第三章 时态XML数据模型

3.1 XML数据模型

3.2时态XML数据模型

3.3 时态XML模型与XML文档的映射

3.4本章小结

第四章 时态XML一致性检查

4.1 基于Schema的传统XML一致性检查

4.2 时态XML数据模型的一致性检查

4.3 时态XML一致性检测引擎的设计

4.4 本章小结

第五章 满足时态XML一致性的更新

5.1 时态XML一致性冲突的修复

5.2 满足时态XML一致性的更新算法

5.3本章小结

第六章 仿真实验与分析

6.1 实验环境与数据

6.2 基于Schema的XML一致性检查实验及性能分析

6.3 四种时态XML一致性检查实验及性能分析

6.4 时态XML更新的一致性增量校验实验及性能分析

6.5 本章小结

第七章 总结与展望

7.1 结语

7.2 下一步工作展望

参考文献

附录研究生阶段的科研工作

致谢