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

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