ISSN 1000-1239 CN 11-1777/TP

• Paper • Previous Articles     Next Articles

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

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