摘要
为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。
For solving logical implication problem for XML inferior strong functional dependency under incomplete information circumstances,inferior strong functional dependency and inference rules for XML 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,sub-tree information consistent,the definition of XML inferior strong functional dependency was given and its property was studied.Inference rules for XML inferior strong functional dependency were presented,its soundness were given.The production in this work lays the foundation for normalization of XML Schema existing XML inferior strong functional dependency under incomplete information circumstances.
出处
《电子设计工程》
2012年第1期6-9,共4页
Electronic Design Engineering
基金
辽宁省教育厅计划项目(2008093)
关键词
不完全信息
子树信息相容
子树信息等价
XML亚强函数依赖
推理规则
incomplete information
sub-tree information consistent
sub-tree information equivalence
XML inferior strong functional dependency
inference rules
