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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
