多时间粒度约束的时态简单范式的分解

数据库逻辑设计的目的是消除数据冗余、插入和删除异常。为使时态模式满足某种范式的要求,要对时态模式进行分解,保持函数依赖和无损连接性是对算法最基本的要求。但对具有多时间粒度的时态模式进行分解时,把TBCNF作为最终目标很难实现保持函数依赖性,把T3NF作为最终目标,又很难达到规范化要求。该文提出了时态简单范式TSNF的概念及相应的分解算法,来弥补以上两点不足。

具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析.

全序时态模块模式的TO_TSNF分解问题研究

在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时间粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有着良好的特性,因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式(TO_T3NF)和全序时态简单范式(TO_TSNF)等概念,并给出了全序时态简单范式的分解算法,对其正确性进行了证明,并对时间复杂度进行了分析。

时态数据库理论研究

一个好的时态数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,我们对时态初等函数依赖,时态初等关键字,时态初等主属性,时态简单关键字,时态简单主属性进行了定义,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法。最后,基于TFD和TMVD混合集提出了时态第四范式(T4NF),并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。