数据库规范化设计（范式）

关系模式五元组表达

R(U,D,DOM,F)
R：关系名
U：组成该关系的属性名集合
D：属性组U中属性所来自的域
DOM：属性向域的映像集合
F：属性间数据的依赖关系集合
简化为三元组表达：R(U,F)

函数依赖

• 概念
  由关系中的一部分属性唯一确定一个属性值
  比如：学生成绩表中，学号和课程号确定一个成绩(Sno,Cno)->Grade
• 完全函数依赖F与部分函数依赖P
  
• 传递函数依赖
  

范式

低一级的关系模式，通过模式垂直分解的方法，转换为若干个高一级方式的关系模式的集合，这个过程称为规范化

• 1NF
  原子项：每一个分量都是不可分的数据项
  
  -2NF
  
  

• 3NF
  第三范式需要确保数据表中的每一列数据都和主键直接相关，而不能间接相关。
  设关系模式R<U,F>∈1NF，若R中不存在非主属性对码的传递函数依赖，则称R<U,F>∈3NF

• 实例：
  

• BCNF
  设关系模式R<U，F>∈1NF，如果对于R的每个函数依赖X→Y， 且Y不∈X时，X必含有码，那么R∈BCNF。
  消除了主属性对候选码的部分依赖和传递依赖
  即，在关系模式R<U，F>中，如果每一个决定因素都包含码，则R∈BCNF。