关系模式规范化算法理论的分析应用

从关系模式规范化的算法理论中的四点要求出发,分析关系模式规范化理论中如何将关系模式规范到3NF或者BCNF,同时检查分解是否具有无损连接性,提出规范到3NF算法和BCNF算法、分解具有无损连接性的判断方法,并且列举实例加以说明。

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

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