ISSN 1000-1239 CN 11-1777/TP

• 论文 • 上一篇    下一篇


吕 腾1,2 闫 萍1   

  1. 1(新疆大学数学与系统科学学院 乌鲁木齐 830046) 2(炮兵学院计算机教研室 合肥 2 30031) (
  • 出版日期: 2005-05-15

Functional Dependencies and Inference Rules for XML

Lü Teng1,2 and Yan Ping1   

  1. 1(College of Mathematics and System Science, Xinjiang University, Urumqi 830046) 2(Teaching and Research Section of Computer, Artillery Academy, Hefei 230031)
  • Online: 2005-05-15

摘要: 函数依赖在关系数据库和XML文档中都是一种重要的语义表达.通过分析函数依赖的表现形式 在XML文档和关系数据库中的不同之处,提出了基于DTD中的路径表达式的XML函数依赖的概 念.它不仅能表达元素的属性和元素的值之间的函数依赖,而且也能表达元素之间的函数依 赖.给出了关于XML函数依赖的一组完备的推理规则集,这对解决XML函数依赖的蕴含问题具 有重要的意义.

关键词: XML, 函数依赖, 推理规则, 完备性

Abstract: Functional dependency is an important semantic representation both in relational databases and XML documents. Analyzed in this paper are the differences of func tional dependencies when they are applied in XML documents and relational databa ses. A concept of functional dependency for XML based on DTD path expressions is proposed. The advantage of this definition is that it can represent the functio nal dependencies not only between the values of attributes and elements, but als o between the nodes of elements. And finally, a group of complete inference rule s about XML functional dependency is given, which is significant to the implicat ion problem of XML functional dependency.

Key words: XML, functional dependency, inference rule, completeness