基于约束的XML文档规范化算法

Constraint-Based Normalization Algorithms for XML Documents

XML模式设计是XML数据库设计的关键.基于XML文档的基本概念给出了XML部分函数依赖、传递函数依赖、XML范式、XML第1到第3范式以及DTD无损联接分解的相关定义,提出XML模式规范化转换规则,给出无损联接分解的两种规范化算法,对算法的正确性、可终止性和时间复杂性进行了证明分析,并实验证明了规范化后的文档查询和存储效率有明显的提高.这将对未来的XML函数依赖保持、XML多值依赖以及XML模式设计的进一步规范化研究奠定理论基础.

XML schema design is part and parcel of databases design Based on the basic concepts of XML documents, some related definitions are given They are definitions of partial functional dependency, transitive functional dependency for XML documents, normal form for XML documents named from the first normal form to the third normal form for XML documents, and lossless decomposition for DTDs Normalization rules for XML schema and two normalization algorithms of lossless decomposition are provided Validity, terminability, and time complexity of these will algorithms are proved The efficiency of query and storage for XML documents normalized is enhanced These will establish theoretic foundation for preserving functional dependency for XML documents, multi-valued dependency for XML documents, and further normalization research of XML schema design