Inference rules for XML weak multi-valued dependencies
Lifeng Yin · Journal of Qiqihar University · 2009
Data constraints are the basis of the database normalization theory,the introduction of XML documents with incomplete information,XML data constraints need to be re-defined.Based on the concepts of XML Schema,incomplete XML document tree according with XML Schema,the sub-tree information equivalence and the sub-tree information consistent,the definition of XML weak multi-valued dependencies and its property were formalized.In order to solve the logical implication problem,inference rules for XML weak multi-valued dependencies were given,its soundness was proved.The production in this work lays the foundation for normalization of XML Schema existing XML weak multi-valued dependencies under incomplete information circumstances.