Inference Rules for XML Constraint-Tree-Based Functional Dependencies
XML functional dependencies are very important semantic information of XML dataset. It is important to find the functional dependencies from the known functional dependencies in XML dataset. As in relational database, a set of inference rules of XML functional dependencies is needed to do such work. This paper proposes a set of inference rules of XML functional dependencies. The main contribution and difference with earlier related work is that the people studies the problem based on a new concept of XML functional dependency, i.e. constraint-tree model is used in defining such XML functional dependency.