摘要
XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的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.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第28期152-156,共5页
Computer Engineering and Applications
基金
黑龙江省自然科学基金No.F200702~~
关键词
不完全信息
子树信息等价
子树信息相容
XML强多值依赖
推理规则
incomplete information
sub-tree information equivalence
sub-tree information consistency
XML strong multivalued dependencies
inference rule