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