Abstract: The problem of XML redundancy detection with semantics is very meaningful to prevent update anomalies and the key problem of XML normalization theory. In this paper, the definition of XML schema and XML function dependency etc. are given and the new XML function dependency and normal form model are proposed and based on this model a new XAP algorithm is designed to discover function dependency and detect redundancy. It also analyzes its complexity.

Key words: XML schema, redundancy detection, function dependency, attribute partition

摘要： XML保持语义下的冗余检测问题对于防止XML文档的更新异常和减少XML冗余信息的存储具有很大意义，是XML规范化理论的关键问题之一。对XML schema、树元组、XML键、XML范式等进行研究，定义基于schema的XML函数依赖形式化模型，并基于该定义模型设计一种新的XAP算法，可有效发现XML文档中的函数依赖和冗余，并对算法的复杂性进行分析。

关键词: XML模式, 冗余检测, 函数依赖, 属性分解

CLC Number: 

• TP311.13