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