消除XML亚强多值依赖引起冗余的一种分解方法

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。本文基于子树信息等价和子树信息相容的概念给出了XML亚强多值依赖的定义;提出了弱键路径和XML亚强多值依赖弱范式的定义,通过实例分析XML亚强多值依赖引起数据冗余的原因,提出分解不完全XML文档满足XML亚强多值依赖弱范式的定理。研究成果可较好的处理不完全XML文档中存在XML亚强多值依赖引起的数据冗余问题,避免了数据冗余所带来的操作异常。