数据依赖是指数据之间存在的各种联系,譬如键就是一种依赖。数据冗余的产生和数据依赖有着密切的联系。数据依赖是数据库设计理论中的一个核心概念,通过它可以规范属性之间满足的固有的语义约束。对于时态数据库,由于在单一粒度下,传统的数据依赖不能很好地描述属性间的动态依赖关系,也就是说不能很好地适应时态数据的动态性。因此,在时态数据库中,为了能够更好地刻画属性之间满足的动态的语义约束,本文将通过借鉴和扩展传统的依赖理论,结合多时间粒度,分析多时间粒度下时态数据依赖问题。一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。对于时态数据库也是如此。在日常生活和实际的生产应用中,系统用来记录数据有效和事件发生的时间的粒度通常是秒、小时、日、月和年等,这种多粒度常常同时存在于时态数据库中,而这些粒度满足一种全序关系。一个具有全序的时态类型集的时态模式,将比具有一般的时态类型集的时态模式有更多更好的特性。因此本文将根据关系数据库规范化的过程,基于多时间粒度数据依赖理论对时态数据库全序时态模式进行研究。提出全序时态模式、全序时态模块的定义及其性质,并给出了多时间粒度约束的全序时态函数依赖集、全序时态多值依赖集(TMVDs)等概念,给出全序时态多值依赖的推导规则,同时提出全序时态模式4NF的定义及其无损分解算法,并对算法的可终止性、正确性、无损连接性进行了证明。