Inference Rules for XML Strong MVD and XML Weak MVD

Abstract:

For solving logical implication problem in the presence of XML strong multi-valued dependency(denoted as XSMVD) and XML weak multi-valued dependency(denoted as XWMVD) under incomplete information circumstances, the inference rules of XSMVD and XWMVD 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 and sub-tree information consistent, the definitions of XSMVD and XWMVD were given and their nature was studied. When XSMVD and XWMVD exist at the same time in XML Schema, their inference rules were presented and their soundness was proved. The production in this work lays the foundation for normalization of XML Schema existing XSMVD and XWMVD at the same time under incomplete information circumstances.

• Periodical: Advanced Materials Research (Volumes 268-270)
• Pages: 2009-2015
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.268-270.2009
• Online since: July 2011
• Authors: Li Feng Yin, Hua Jin, Hong Tian
• Keywords: Incomplete Information, Inference Rule, Subtree Information Consistent, Subtree Information Equivalent, XML Strong Multi-Valued Dependency, XML Weak Multi-Valued Dependency

References

[1] M W Vincent, Jixue Liu. Multivalued dependencies and a 4NF for XML[C]. International Conference on Advance Information Systems Engineering, Kla -genfurt, Austria, (2003).

[2] M W Vincent, Jixue Liu, Chengfei Liu. A redundancy Free 4NF for XML[C]. The first International XML Database Symposium, Berlin, Germany, (2003).

DOI: 10.1007/978-3-540-39429-7_17

[3] M W Vincent, Jixue Liu, Chengfei Liu. Strong functional dependencies and their application to normal forms in XML[J]. ACM Transactions on Database System, 2004, 29(3) : 445-462.

DOI: 10.1145/1016028.1016029

[4] M Arenas, L Libkin. A normal form for XML documents [C]. Proceedings of the 21th ACM SIGA-CT-SIG-MOD-SIGART Symposium on Principles of Database Systems Madison, Wisconsin, USA: ACM press, 2002 : 85-96.

DOI: 10.1145/543613.543625

[5] Teng Lv, Ning Gu, Bole Shi. A normal form for XML DTD[J]. Journal of Computer Research and Development, 2004, 41(4) : 615-620.

[6] Teng lv, Ping Yan. Functional dependency and inference rules for XML[J]. Journal of Computer Research and Development, 2005, 42(5): 792-796.

[7] Teng Lv, Ping Yan. XML Constraint-tree-based Functional Dependencies[C]. IEEE International Conference on e-Business Engineering, 2006: 224-228.

DOI: 10.1109/icebe.2006.109

[8] Teng Lv, Ping Yan. Mapping DTDs to Relational Schemas with Semantic Constraints[J]. Information and Software Technology, 2006, 48(4): 245-252.

DOI: 10.1016/j.infsof.2005.05.001

[9] Teng Lv, Ping Yan. XML Normal Forms Based on Constraint-tree-Based Functional Dependencies[C]. Proceedings, lecture Notes in Computer Science, 2007: 348-357.

DOI: 10.1007/978-3-540-72909-9_39

[10] Wei Qiu, Lichen Zhang. Research on normalization of XML DTD with XML MVD[J]. Computer Science, 2007, 34(2): 149-152.

[11] Zhongxiao Hao. Database guide under the null value circumstances[M]. Beijing: China Machine Press, (1996).

[12] Lifeng Yin, Zhongxiao Hao. Normalization of XML Document with Strong MVD under Incomplete Information Circumstances[J]. Journal of Computer Research and Development, 2009, 46(7): 1226-1233.

[13] Lifeng Yin, Zhongxiao Hao. Improving the normal form of the strong inclusion dependency in XML[J]. Journal of Harbin Engineering University, 2010, (4): 496-502.

[14] Lifeng Yin, Zhongxiao Hao. Research on Normalization of XML Schema with XML Strong MVD. Computer Science, 2010, 37(1): 192-196.

[15] Lifeng Yin, Zhongxiao Hao. Inference rules for XML strong multivalued dependencies based on XML Schema[J]. Computer Engineering and Applications, 2010, 46(28): 152-156.