基于XML Schema的XML强多值依赖的推理规则集

XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础，是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念；基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质；给出了相应的推理规则集，并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。

Inference rules for XML strong multivalued dependencies based on XML Schema

The problem of inference rules for XML strong multivalued dependencies is the key to solve implication between dependencies in XML and the important problem of XML schema design theory under incomplete information circumstances.The concepts of XML Schema and incomplete XML document tree according with XML Schema are formalized.Based on the sub-tree information equivalence and the sub-tree information consistency,the definition of XML strong multivalued dependencies and its property are formalized.Inference rules for XML strong multivalued dependencies are given,the soundness and completeness of inference rules are proved.The production in this work lays the foundation for the design of XML Schema existing XML strong multivalued dependencies under incomplete information circumstances.