函数依赖导致的XML路径冗余的判定和消除

XML数据冗余存在着很多种可能，其中路径冗余只是XML数据冗余的一种，消除XML数据冗余的方法也有很多种，如规范化的方法、基于函数依赖的方法等。本文将在已有研究的基础之上，结合XML层次结构特点，分析了路径冗余与XML树结构中结点之间语义约束的关系，并进一步给出了XML函数依赖（ FD）导致的数据冗余问题的判定定理及其消除算法。