论文部分内容阅读
随着时态信息处理技术和互联网应用的广泛深入,为了更方便地反映现实世界的时态数据,实现不同网络环境之间的信息共享和数据交换,时态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更新操作的执行效率。