XML局部函数依赖

Local Functional Dependencies for XML

函数依赖和键是XML文档中的一种重要的语义表达,是XML模式设计的基础。文章提出了基于DTD路径的XML局部函数依赖的概念,它表达了"函数依赖在一个XML文档树的子树中是成立的,而在整个XML文档树中不成立"语义要求,给出了XML局部函数依赖一套推理规则集,并证明推理规则的正确性。

In this paper, a concept of local functional dependencies for XML based on DTD path expressions is proposed. The advantage of this definition is that it can express the semantic that a functional dependency hold in a sub tree but not in the whole tree. And finally, a group of inference rules about XML local functional dependencies is given, and is proved correctly.