1) XML strong inclusion dependency
XML强闭包依赖
1.
XML strong functional dependency definition and XML strong inclusion dependency definition based on consistent path set under the incomplete information circumstances were formalized,judging theorem for XML strong inclusion dependency was studied.
提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。
2) XML strong functional dependency
XML强函数依赖
1.
XML strong functional dependency definition and XML strong inclusion dependency definition based on consistent path set under the incomplete information circumstances were formalized,judging theorem for XML strong inclusion dependency was studied.
提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。
2.
Based on the equivalence of the nodes,the consistency of the nodes,the equivalence of the nodes\' information and the consistency of the nodes\' information,XML strong functional dependency\'s definition was given,inference rules for XML strong functional dependency were presented.
为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下XML Schema的规范化问题,提出了XML Schema和符合XML Schema的不完全XML文档树等概念;基于节点等价、节点相容、节点信息等价和节点信息相容等概念提出了XML强函数依赖的定义,给出了相应的推理规则;给出了求路径集强闭包和成员籍问题的算法,并对算法的正确性进行了证明,对其时间复杂度进行了分析。
3) XML strong multivalued dependency
XML强多值依赖
1.
Based on the hierarchical XML strong multivalued dependencies,the condition of satisfying an XML strong multivalued dependency normal form for the incomplete XML document tree is proposed.
不完全信息环境下XML文档中的数据存在多值依赖时,为了避免在没有约束条件下XML文档数据出现冗余及更新异常,引入XML强多值依赖的概念和理论对XML文档的规范化进行了系统研究。
4) functional dependence closure
函数依赖闭包
5) XML strong multivalued dependency normal form
XML强多值依赖范式
1.
Based on the hierarchical XML strong multivalued dependencies,the condition of satisfying an XML strong multivalued dependency normal form for the incomplete XML document tree is proposed.
基于节点信息等价、节点信息相容的概念给出了XML强多值依赖的定义;基于层次化的XML强多值依赖,提出了不完全XML文档树满足XML强多值依赖范式的条件;给出了满足该条件的不完全XML文档树无数据冗余的判定定理;提出了不完全XML文档树的规范化算法,对其时间复杂性进行了分析。
6) XML functional dependency
XML函数依赖
1.
Research of Propagating and Keeping XML Functional Dependency;
XML函数依赖的传播与保持的研究
2.
When XML document comes forth incomplete information,XML functional dependency has also important meaning for the research of key,normal form and integral restriction for XML document.
当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义。
补充资料：函数依赖闭包
在关系模式r<u，f>中为f所逻辑蕴含
的函数依赖的全体叫作 f的闭包，记为f+。
定义5.13 设f为属性集u上的一组函数依赖，x u， xf+ ={ a|x→a能由f 根据armstrong公理导出}，xf+称为属性集x关于函数依赖集f 的闭包
在关系模式r<u，f>中为f所逻辑蕴含
的函数依赖的全体叫作 f的闭包，记为f+。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条