1) totally ordered temporal multivalued dependencies
全序时态多值依赖
2) temporal multivalued dependency
时态多值依赖
1.
Based on the process of normalization of traditional relational database, the concepts of temporal multivalued dependency (TMVD) with multiple time granularities based on temporal functional dependency and the theory of multivalued .
基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明。
2.
Based on temporal functional dependency and the theory of multivalued dependency of traditional relational database the concepts of temporal multivalued dependency with multiple time granularities were introduced.
据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础。
3) regular temporal multi-valued dependencies
规则的时态多值依赖
4) temporal dependencies
时序依赖
1.
Workflow process model based on expression of temporal dependencies;
基于时序依赖表达的工作流过程模型
5) multivalued dependency(MVD)
多值依赖
1.
the definition of preserve multivalued dependency(MVD),alg orithm of preserve multivalued dependency set,algorithm of generated m ultivalued dependency set and algorithm of join tree was presented and provied base on data dependency.
基于数据依赖基本概念给出了保持多值依赖MVD集的定义，提出了构造联接树的算法，生成MVD集与保持MVD集的检验算法，同时对算法给出了证明。
6) multivalued dependency
多值依赖
1.
Algorithm for constructing Armstrong relation in multivalued dependency schema;
多值依赖模式上Armstrong关系的构造算法
2.
The problem of inference rules for multivalued dependency is the key to solve implication problem between dependencies in XML and the key problem of XML normalization theory.
XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一。
3.
It is based on the normalization theory of functional dependency and multivalued dependency′s concept,the definitions of multivalued dependency′s split and splitfree multivalued dependency set are given,good properties of splitfree multivalued dependency set,the algorithms and conditions of splitfree cover of multivalued dependency are provided.
基于函数依赖规范化理论及多值依赖基本概念,给出了多值依赖的分裂、无分裂多值依赖集等定义,提出了满足无分裂多值依赖集的良好特性,以及无分裂多值依赖集的判定算法,并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法。
补充资料：全良序集
全良序集
totally well-ordered set
全良序集[totauyw日I一闭ered滋;Bno几”e ynop，几o-，e皿oeM”o二ee化0」 见良序集(忱U一。找kredset).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条