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

作     者：张忠平 余靖 朱杨勇 

作者机构：燕山大学计算机科学与工程系秦皇岛066004 复旦大学计算机与信息技术系上海200433 

基　　金：本课题研究得到国家“863”高科技研究发展计划(项目编号:2001AA113181)、上海市重大科技项目(项目编号:02DJ14013)的资助 

出 版 物：《通讯和计算机（中英文版）》 (Journal of Communication and Computer)

年 卷 期：2005年第2卷第2期

页      码：25-33页

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

主 题 词：XML DTD XML键 推理规则 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

馆 藏 号：203107050...