基于函数依赖的XML键的推理及其求解算法

• 作者: 余靖 张忠平 朱杨勇
• 来源期刊: 通讯和计算机：中英文版
• 学科: 工学
• 关键词: XML DTD XML键 推理规则
• 年，卷（期）: 2005,（2）
• 页码范围: 25-33
• 页数: 9页
• 分类号: TP311.13

摘要

键是数据库模式和概念设计的基础，是语义的一个重要组成部分。随着XML成为Web上一种通用的数据交换标准格式，将键的概念引入到XML领域就显得非常迫切。本文基于路径和树元组表达式，从数据库设计的角度出发，在XML函数依赖形式化定义的基础上给出XML键完整陆约束定义、XML绝对键和相对键的有效和完备的推理规则，并提出使用多项式时间求解XML候选键的算法，为XML数据库模式的规范化设计奠定了理论基础。