XML weak functional dependency and inference rule based on XML Schema
Hong Tian · Journal of Computer Applications · 2010
To solve the logical implication problem of Extensible Markup Language ( XML) weak functional dependency under incomplete information circumstances, the weak functional dependency and inference rules for XML based on XML Schema were discussed. The concepts of XML Schema and incomplete XML document tree conforming to XML Schema were formalized. Based on the concepts of subtree information equivalence and subtree information consistency, the definition of XML weak functional dependency was given and its properties were studied. A set of inference rules for XML weak functional dependency was presented and its soundness and completeness were given. This work is foundation of normalizing XML Schema with XML weak functional dependency under incomplete information circumstances.