Abstract: The problem of inference rules for multivalued dependency is the key to solve implication problem between dependencies in XML and the key problem of XML normalization theory. In this paper, the definition of XML tree and tree tuples etc. are given in a new way. Different from Vincent, the concept of multivalued dependency for XML based on DTD is given. The definitions of closure, path dependency basis and the closure of paths of multivalued dependencies for XML are also proposed. A sound and complete set of inference rules is presented, and soundness and completeness of the inference rules are proved.

Key words: DTD, multivalued dependency, XML tree, inference rule

摘要： XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础，是XML规范化理论的关键问题之一。该文对XML树、树元组等进行了重新定义，与Vincent等人不同，提出了基于DTD的XML多值依赖的概念，通过对XML的关系化表示给出了其形式化定义，定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念，给出了一个有效且完备的推理规则集，并对其有效性及完备性进行了证明。

关键词: DTD, 多值依赖, XML树, 推理规则

CLC Number: 

• TP311