Local Functional Dependencies for XML
Changchun Qiu · 2007
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.