基于路径表达式的XML第四范式及无冗余性判定

• 作者: 刘志晓 张忠平
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: XML规范化 函数依赖 多值依赖 键 冗余 第四范式
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 1091-1096
• 页数: 6页
• 分类号: TP311
• 字数: 8913字
• 语种: 中文

摘要

随着XML应用越来越广泛,为避免冗余,XML模式设计也变成了越来越受关注的问题,因此XML规范化理论是一个重要的研究领域.类似于关系数据库,本文从数据库角度出发,以消除数据冗余为目的,研究DTD中以路径表达式为基础的基本定义；因函数依赖和多值依赖是数据语义的重要组成部分,将其引入到XML领域中,形式化定义了XML的函数依赖和多值依赖；基于XML树、函数依赖和多值依赖概念,给出了键、冗余的描述,进而在XML函数依赖和多值依赖并存情况下,提出了满足XML第四范式的条件；给出了满足XML第四范式条件的XML文档树无冗余的判定定理,并通过具体实例及实验证明了XML第四范式的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张忠平	燕山大学信息科学与工程学院	67	714	16.0	25.0
2	刘志晓	燕山大学信息科学与工程学院	1	1	1.0	1.0