简介：键是数据库模式和概念设计的基础，是语义的一个重要组成部分。随着XML成为Web上一种通用的数据交换标准格式，将键的概念引入到XML领域就显得非常迫切。本文基于路径和树元组表达式，从数据库设计的角度出发，在XML函数依赖形式化定义的基础上给出XML键完整陆约束定义、XML绝对键和相对键的有效和完备的推理规则，并提出使用多项式时间求解XML候选键的算法，为XML数据库模式的规范化设计奠定了理论基础。
简介：信息化有什么作用？他肩不能挑，手不能提，最没用了。信息化无非能改造历史而已。它将东西方一齐改造为小规模、多品种生产的信息社会。人们将这种历史改造称为信息革命。
基于函数依赖的XML键的推理及其求解算法
工业化基本矛盾与信息化历史作用
