BCNF和第三范式的分解算法

范式概念

对于数据库的范式概念我们是经常会用到的，临近期末考试，我自己总结了一下，要不然总是一下子就忘记了。

第一范式：如果一个关系模式R的每个元素都是不可分割即原子的单元，则称这个范式是第一范式。

BCNF：对于关系模式R的函数依赖集，每个依赖都必须符合下面两个至少有一项成立：
1，a——>b是平凡的函数依赖，即b属于a。
2，a——>b,其中a是关系模式R的一个超码。

这里我们对BCNF进行讲解一下：
首先我们必须明白什么是函数依赖？什么是平凡的函数依赖？什么是超码？什么是候选码？
这几个概念大家自己去寻找查懂。然后再来判断是否是BCNF就非常简单了。

第三范式：对于关系模式R的函数依赖集，每个依赖都必须符合下面两个至少有一项成立：
1，a——>b是平凡的函数依赖，即b属于a。
2，a——>b,其中a是关系模式R的一个超码。
3，b - a中的每个属性A都包含于R的一个候选码。

可以看到，第三范式对比BC范式多了一个可选项，所以BCNF是包含在第三范式的。

模式分解

我们一般要求模式分解是无损连接分解的。

那么要设计这样一个分解，我们需要借助函数依赖和多值依赖来进行求解。

函数依赖

函数依赖其实就是一个函数的概念，比如a可以推出b，那么就有一个函数依赖a ——> b。


可以看到上面这个是平凡函数依赖的概念，应该是非常容易理解的。

函数依赖集的闭包

所谓函数依赖集的闭包就是求出所有函数依赖。

利用上面那个公理可以求出闭包。

正则覆盖

想要学习第三范式的分解，我们必须需要明白正则覆盖，因为第三范式的分解是在正则覆盖的基础上来求解的。

什么是正则覆盖，上面说的挺清楚的。

上面这个是正则覆盖的计算，先运用合并原则，再找出无关属性。

无损连接分解

如何判断一个分解是无损连接的呢？

通过上面可以看到，无损连接的判断还是比较简单的。不仅如此，我们在模式分解的过程中，最好还能够保持下面两个：即保持依赖和没有冗余。


上面这个是计算正则覆盖的算法。

分解算法

BCNF分解

我们先来讲讲BCNF的分解算法：

在求解BCNF的时候，我们对每条依赖进行判断，如果这条依赖不符合BCNF要求，那么进行分解。怎么分解？比如a——>b不符合BCNF，那么把a和b凑成一个关系模式，剩下的关系是所有元素减掉b这些元素，然后再进行重复计算，最后得到的就是BCNF了。

第三范式分解

第三范式的分解其实就是把它分解为第三范式，那么首先我们需要知道第三范式的概念，在前面有。正则覆盖是第三范式的前提。

这是课本上对于第三范式的一个分解算法。下面讲解一下：
首先正则覆盖求解，这是第一步，然后把每一个关系模式R集合起来，进行一个for循环，看看里面那个集合是包含R的候选码的，如果有，则停止分解，然后去除冗余。如果没有，则for循环之后，我们加一个集合，里面包含候选码，然后去除冗余。

BCNF和第三范式分解的区别