数据库设计范式

程序设计

第一范式

属性不可拆分：列必须具有原子性，不可分。

第二范式

完全函数依赖：表必须具有主键；非主键中列必须完全依赖于主键（而不是主键的一部分）。

表 (OrderID, ProductID, ProductName, Price, Discount)，主键为 (OrderID, ProductID)，但是 ProductName 和 Price 仅仅依赖于 ProductID，不符合第二范式，存在冗余。

第三范式

消除传递依赖：不允许存在传递依赖。

(OrderID, OrderDate, CustomerID, CustomerName, CustomerAddr, CustomerCity) 主键是 OrderID。
其中 OrderDate 等非主键列都完全依赖于主键。不过 CustomerName, CustomerAddr, CustomerCity 直接依赖的是 CustomerID（非主键列），通过传递依赖于主键，而不是直接依赖主键，不符合 3NF。

BCNF 范式

• 所有非主属性对每一个码都是完全函数依赖；
• 所有的主属性对于每一个不包含它的码，也是完全函数依赖；
• 没有任何属性完全函数依赖于非码的任意一个组合。

第四范式

违例

• 2NF 违例只会发生在具有关联键的表中，且非键字段只依赖于主键的一部分。
• 3NF 违例发生在一个非键字段确定另一个非键字段的情况下，表可能有一个任何大小的键。
• BCNF 违例出现在非键字段确定主键的一部分的情况下。这些违例只能发生在主键是有关联键组成的表中。
• 4NF 违例发生在表的主键至少由3个键连接而成且没有非键字段的情况下，此外，键的一部分确定键的另一部分的多个值。