时态xml文档新的一致性检查及处理.pdf

时态XML文档更新的一。致性检查及处理(2010) 摘要 时态XML文档更新的一致性检查及处理 专业： 计算机软件与理论专业 硕士生： 石磐 指导老师： 汤庸教授 汤娜讲师 摘 要 随着时态信息处理技术和互联网应用的广泛深入，为了更方便地反映现实世 界的时态数据，实现不同网络环境之间的信息共享和数据交换，时态XML的研 究已成为当今的一个研究热点。目前对时态XML研究主要集中在时态XML索 引、查询优化等方面，对时态XML文档的一致性约束研究相对较少。 时态XML的一致性作为规范时态ⅪvIL的重要约束条件，如何更有效地保 证时态XML满足现实世界的时态语义约束成为时态XML一致性研究首先要解 决的问题。尽管国内外对时态XML一致性取得了一些研究成果，但很多研究都是 对时态XML进行～致性的全文检查，它们忽略了更新操作所带来的新的一致性 冲突，从而出现一致性的重复检查和修复，在一定程度上影响了更新操作的执行 效率。 针对当前时态XML一致性研究的不足，本文借鉴了传统XML一致性约束 增量检查的研究思想，将其运用到时态XML更新的一致性检查和处理上。本文 首先给出了一个时态XML数据模型，在此模型的基础上，分别定义了基于 Schema的传统XML一致性和时态XML～致性约束，从这两方面进行一致性增 量检查的研究：一方面是基于Schema模式验证进行一致性的增量检查；另一方 面，从时态约束性的角度对四种不同的时态XML一致性进行增量检查。进而将 时态XML更新操作与一致性增量检查和修复相结合，并给出了满足时态XML 一致性的增量更新算法，进一步对时态XML更新查询语句TXPath进行一致性 检查和修复的语义扩展。 最后，本文通过仿真实验，对时态XML～致性增量检查算法以及满足时态 时态XML文档更新的一致性检查及处理(2010) 摘要 XML一致性的增量更新算法进行实验验证，通过实验比较和对算法性能的分析， 本文所提出的算法具一定的可行性和灵活性。同时保证在更新之前就发现一致性 的冲突并及时修复，避免了更新后的重复检查和修复，提高了时态XML更新操 作的执行效率。 关键词：时态XML，一致性约束，增量检查，时态XML更新，TXPath扩展 II 时态XML文档更新的一致性检查及处理(2010) ABSTRACT and of when CheckingFixingConsistencyTemporal XMLDocument Updated Softwareand Major： Computer Theory Name： ShiPan Supervisor：ProfessorTangYong LecturerNa Tang ABSTRACT Withthe ofthe of informationand developmenttechnologytemporal processing the of and has intemet，the of