The Study of XML Functional Dependency and Multi-Valued Dependency and Inference Rules Set
Liu Xiyin, Cao Lijun, Zhongping Zhang · International Journal of Database Theory and Application · 2015
This paper discusses and defines XML functional dependency and XML multi-valued dependency, making the formal definition of XML functional dependency and XML multivalued dependency and further defines the XML-trivial functional dependency and multivalued dependency.It defines the logical implication, base closures and minimal dependence and gives the set of inference rules that effectiveness and completeness are proved when functional dependency and multi-valued dependency exist simultaneously.