与时间相关的数据库应用需求不断增长,因而时态数据库的设计成为十分重要的问题。随着时间维的引入,数据库中存储的信息量也随之变得非常庞大,这就使得冗余信息亦随之增大。因此,就出现了一个非常重要的问题:如何有效地减少由于数据依赖造成的冗余性。而对于偏序时态数据库更是如此。本文首先介绍时态数据库的研究意义和背景,并引入偏序时态模式下的相关概念,给出偏序环境下的函数依赖推导规则。我们需要对数据库系统进行规范化从而改善偏序时态数据库系统性能。但是,在把一个偏序时态模块模式分解成时态第三范式(T3NF)时并不能消除某些时态主属性部分函数依赖于时态候选关键字,而在分解成时态Boyce-Code(TBCNF)范式的关系子模式时,并不能在保持时态函数依赖的同时具有无损连接性,这样就使得我们必须考虑规范程度相较于T3NF高而相较于TBCNF低的新范式研究。出于此目的,本文定义了偏序时态下初等关键字范式(PO-TEKNF),根据相关定理及引理得出偏序初等关键字范式分解算法,并对算法的可终止性、保持依赖性和无损连接性进行证明。在客观应用中,人们出于方便管理的目的,在创建关系依赖时会刻意使时态问题相对简化,基于此,本文提出内全序的偏序时态集的概念,给出相应的定义及定理,并由相应的定义、定理得出内全序的偏序TFD集第三范式分解算法(ITOPO-T3NF),对算法可终止性及正确性进行证明并给出相应实例。对于设计有效的模式分解算法,解决成员籍问题是必不可少的,基于偏序时态模式的相关定义和推导规则,本文给出了偏序模式中的成员籍算法,并对算法的有效性和正确性进行了证明,对算法的时间复杂度进行分析。本文在最后讨论了偏序时态函数依赖集的覆盖问题,引入了偏序环境下覆盖的相关定义,提出了偏序无冗余覆盖算法、规范覆盖算法,对偏序时态数据库进行进一步规范化。