数据库原理之函数范式

关系数据库理论基础-函数范式

• 关系模式
  关系模式由五部分组成，即它是一个五元组：R（U,D,DOM,F）

  R：关系名
  U:组成该关系的属性名集合
  D:属性组U中属性所来自的域
  DOM：属性向域的映像集合
  F:属性间数据的依赖关系集合

• 关系模式简化表示
  

• 数据依赖

完整性约束的表现形式
数据依赖：
	函数依赖（Functional Dependency，简称FD）
	多值依赖（Multivalued Dependency，简称MVD）

• 数据依赖对关系模式的影响
  
  数据例如：
  
• 数据冗余

总字节数：（6+8+8+8+10+2）*12=504B
系名和系负责人重复12次
学号和姓名重复3次
课程名重复4次

• 插入异常
  
• 删除异常

• 数据依赖对关系模式的影响

存在问题：
数据冗余太大
更新异常
插入异常
删除异常
结论：Student关系模式不是一个好的模式
原因：存在模式中的某些数据依赖引起的	
解决方法：通过分解关系模式来消除其中的不合适的数据依赖

• 规范化

规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常，删除异常，更新异常和数据冗余问题。

• 函数依赖
  

  • 平凡函数依赖与非平凡函数依赖
    
    

  • 完全函数依赖与部分函数依赖

    

  • 传递函数依赖
    

• 码
  

• 范式

  

  • 1NF
    
    
    

    
    

  • 2NF
    
    
    
    

  • 3NF
    
    
    
    
    
    

    

  • BCNF
    
    
    
    
    
    

  • 多值依赖
    

    
    
    
    
    
    

  • 4NF
    
    

• 关系模式规范化的基本步骤
  
  

  • Armstrong推理规律证
    
    
    

• 导出规则