| XML亚强函数依赖及其推理规则 |
| |
| 引用本文： | 殷丽凤,刘亚欣,田宏.XML亚强函数依赖及其推理规则[J].国外电子元器件,2012(1):6-9. |
| |
| 作者姓名： | 殷丽凤 刘亚欣 田宏 |
| |
| 作者单位： | 大连交通大学软件学院。辽宁大连116028 |
| |
| 基金项目： | 辽宁省教育厅计划项目（2008093） |
| |
| 摘 要： | 为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。
|
| 关 键 词： | 不完全信息 子树信息相容 子树信息等价 XML亚强函数依赖 推理规则 |
Inferior strong functional dependency and inference rules for XML |
| |
| YIN Li-feng,LIU Ya-xin,TIAN Hong.Inferior strong functional dependency and inference rules for XML[J].International Electronic Elements,2012(1):6-9. |
| |
| Authors: | YIN Li-feng LIU Ya-xin TIAN Hong |
| |
| Affiliation: | (Software Technology,Dalian Jiaotong University,Dalian 116028,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | incomplete information sub-tree information consistent sub-tree information equivalence XML inferior strong functional dependency inference rules |
| 本文献已被 维普 等数据库收录！ |
