论文部分内容阅读
与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。由于现实世界中的许多应用所涉及到的时态类型集都能满足全序关系,而具有全序时态类型集的全序时态模式有着良好的特性,所以本文将在全序环境下对时态数据库的逻辑设计问题进行更深入的研究,目的是为全序时态数据库的设计提供更有效的理论工具和方法,这对改善系统的性能有重要意义。本文主要研究了全序时态模式下函数依赖集的覆盖问题和成员籍问题。文章首先全面介绍了时态数据库,引入了全序时态模式下的函数依赖、全序模式模块等概念,给出了全序环境下的函数依赖的推导规则。为了改善全序时态数据库的系统性能,我们就要对数据库进行规范化,但是在把一个模式分解成时态三范式(T3NF)时并不能消除某些主属性部分或传递函数依赖于时态候选关键字,而在分解成时态Boyce-codd(TBCNF)范式的关系子模式时,并不能同时保持函数依赖和无损连接性,这样我们就不得不考虑规范程度高于T3NF而低于TBCNF的新范式研究,因此文章定义了全序初等关键字范式(TO_TEKNF),根据相关定理和引理得出全序初等关键字范式的分解算法,并证明了算法的可终止性、保持依赖和无损连接性。成员籍问题的解决对设计有效的模式分解算法必不可少的,基于全序时态模式的相关定义和推导规则,文章提出了全序时态函数依赖集的有效闭包等基础概念,给出了闭包算法,给出了全序模式中的成员籍算法,并对各算法的正确性、有效性进行了证明,分析了算法的时间复杂度。由于时间维的引入,使得数据库中存储的信息量变得非常庞大,冗余信息也随之增大,如何有效的减少函数依赖的冗余性,变得非常重要,对于全序时态数据库也是如此,基于此文章在最后讨论了全序时态函数依赖集的覆盖问题,引入了全序环境下覆盖的相关定义,提出了全序无冗余算法、规范覆盖算法和最小覆盖算法,进一步规范化了全序时态数据库。