论文部分内容阅读
数据约束是数据库规范化理论的基础，不完全信息引入XML文档后，需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质；为了研究数据依赖的逻辑蕴涵问题，给出了XML弱多值依赖的推理规则集，并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。