强时态初等关键字范式的研究

提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,给出了保持函数依赖和无损连接性的分解算法,对算法的可终止性、正确性进行了证明,为时态数据库的进一步规范化奠定了基础。

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

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

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础.

时态数据库理论研究

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

具有多时间粒度的时态数据库规范化问题研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了时态一范式、时态二范式、时态三范式、时态初等关键字范式、时态简单范式、时态Boyce-Code范式,并对它们的规范化程度的高低次序进行了证明。