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

在线阅读 下载PDF 导出详情
摘要 键是数据库模式和概念设计的基础,是语义的一个重要组成部分。随着XML成为Web上一种通用的数据交换标准格式,将键的概念引入到XML领域就显得非常迫切。本文基于路径和树元组表达式,从数据库设计的角度出发,在XML函数依赖形式化定义的基础上给出XML键完整陆约束定义、XML绝对键和相对键的有效和完备的推理规则,并提出使用多项式时间求解XML候选键的算法,为XML数据库模式的规范化设计奠定了理论基础。
机构地区 不详
出版日期 2005年02月12日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献