After proposing a data model of unordered node labeled tree for XML databases,this paper defines a functional dependency among XML subtrees.In addition,an axio...

• 在无序的结点标记树数据模型上定义了XML子树间的函数依赖,并且给出了一套公理系统用来推导函数依赖,以解决函数依赖的蕴涵问题,最后证明了该公理系统是合理的。