关系数据库的几种设计范式

　　 把学生关系表分为如下两个表：

　　 学生：(学号, 姓名, 年龄, 所在学院);

　　 学院：(学院, 地点, 电话)。

　　 这样的数据库表是符合第三范式的，消除了数据冗余、更新异常、插入异常和删除异常。

　　 鲍依斯-科得范式（BCNF）：在第三范式的基础上，数据库表中如果不存在任何字段对任一候选关键字段的传递函数依赖则符合第三范式。

　　 假设仓库管理关系表为StorehouseManage(仓库ID, 存储物品ID, 管理员ID, 数量)，且有一个管理员只在一个仓库工作;一个仓库可以存储多种物品。这个数据库表中存在如下决定关系：

　　 (仓库ID, 存储物品ID) →(管理员ID, 数量)

　　 (管理员ID, 存储物品ID) → (仓库ID, 数量)

　　 所以，(仓库ID, 存储物品ID)和(管理员ID, 存储物品ID)都是StorehouseManage的候选关键字，表中的唯一非关键字段为数量，它是符合第三范式的。但是，由于存在如下决定关系：

　　 (仓库ID) → (管理员ID)

　　 (管理员ID) → (仓库ID)

　　 即存在关键字段决定关键字段的情况，所以其不符合BCNF范式。它会出现如下异常情况：

　　 (1) 删除异常：

　　 当仓库被清空后，所有"存储物品ID"和"数量"信息被删除的同时，"仓库ID"和"管理员ID"信息也被删除了。

　　 (2) 插入异常：

　　 当仓库没有存储任何物品时，无法给仓库分配管理员。

　　 (3) 更新异常：

　　 如果仓库换了管理员，则表中所有行的管理员ID都要修改。

　　 把仓库管理关系表分解为二个关系表：

　　 仓库管理：StorehouseManage(仓库ID, 管理员ID);

　　 仓库：Storehouse(仓库ID, 存储物品ID, 数量)。

　　 这样的数据库表是符合BCNF范式的，消除了删除异常、插入异常和更新异常。

　　 范式应用

　　 我们来逐步搞定一个论坛的数据库，有如下信息：

　　 （1） 用户：用户名，email，主页，电话，联系地址

　　 （2） 帖子：发帖标题，发帖内容，回复标题，回复内容

　　 第一次我们将数据库设计为仅仅存在表：

用户名  email  主页  电话  联系地址  发帖标题  发帖内容  回复标题  回复内容 

　　 这个数据库表符合第一范式，但是没有任何一组候选关键字能决定数据库表的整行，唯一的关键字段用户名也不能完全决定整个元组。我们需要增加"发帖ID"、"回复ID"字段，即将表修改为：

用户名  email  主页  电话  联系地址  发帖ID  发帖标题  发帖内容  回复ID  回复标题  回复内容 

　　 这样数据表中的关键字(用户名，发帖ID，回复ID)能决定整行：

　　 (用户名,发帖ID,回复ID) → (email,主页,电话,联系地址,发帖标题,发帖内容,回复标题,回复内容)

　　 但是，这样的设计不符合第二范式，因为存在如下决定关系：

　　 (用户名) → (email,主页,电话,联系地址)

　　 (发帖ID) → (发帖标题,发帖内容)

　　 (回复ID) → (回复标题,回复内容)

　　 即非关键字段部分函数依赖于候选关键字段，很明显，这个设计会导致大量的数据冗余和操作异常。

　　 我们将数据库表分解为（带下划线的为关键字）：

　　 （1） 用户信息：用户名，email，主页，电话，联系地址

　　 （2） 帖子信息：发帖ID，标题，内容

　　 （3） 回复信息：回复ID，标题，内容

　　 （4） 发贴：用户名，发帖ID

　　 （5） 回复：发帖ID，回复ID

　　 这样的设计是满足第1、2、3范式和BCNF范式要求的，但是这样的设计是不是最好的呢？

　　 不一定。

　　 观察可知，第4项"发帖"中的"用户名"和