1) 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文档树的规范化算法,对其时间复杂性进行了分析。
2) 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文档的规范化进行了系统研究。
3) XML weak multi-valued dependencies
XML弱多值依赖
1.
Inference rules for XML weak multi-valued dependencies
XML弱多值依赖的推理规则
4) Multivaluend XML normal form(MXNF)
多值XML范式(MXNF)
5) 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强函数依赖的定义,给出了相应的推理规则;给出了求路径集强闭包和成员籍问题的算法,并对算法的正确性进行了证明,对其时间复杂度进行了分析。
6) 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强闭包依赖的判定定理。
补充资料：多值函数
多值函数
multi-valued function
多值函数〔m词峪刃血曰ha叨佣;M助。3H绷翻中押叫朋] 一个函数，它使每个元素xoX对应于集合Y的一个子集f(x):f(x)CY，这里至少存在Y的一个这样的子集，其中至少含有两个元素.亦见多值映射伽ulti·丫习比幻mapp吨). 兀，八.Ky月PaB哪B撰张鸿林译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条