XML亚强函数依赖及其推理规则  

Inferior strong functional dependency and inference rules for XML

作　　者：殷丽凤[1] 刘亚欣[1] 田宏[1] 

机构地区：[1]大连交通大学软件学院,辽宁大连116028

出　　处：《电子设计工程》2012年第1期6-9,共4页Electronic Design Engineering

基　　金：辽宁省教育厅计划项目(2008093)

摘　　要：为了解决不完全信息环境下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.

关 键 词：不完全信息 子树信息相容 子树信息等价 XML亚强函数依赖 推理规则 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]