Inferior strong functional dependency and inference rules for XML
Hong Tian · Electronic Design Engineering · 2012
For solving logical implication problem for XML inferior strong functional dependency under incomplete information circumstances,inferior strong functional dependency and inference rules for XML based on XML Schema were discussed.The concepts of XML Schema and incomplete XML document tree according with XML Schema were formalized.Based on the concepts of sub-tree information equivalence,sub-tree information consistent,the definition of XML inferior strong functional dependency was given and its property was studied.Inference rules for XML inferior strong functional dependency were presented,its soundness were given.The production in this work lays the foundation for normalization of XML Schema existing XML inferior strong functional dependency under incomplete information circumstances.