范式

范式 理解

相关定义:

1. 范式定义:
   数据表设计时所符合的设计标准的级别

2. 函数依赖理论

   • 函数依赖:
     ​属性集 α 决定属性集 β ,则称有函数依赖 $α \to β$
   • 函数依赖的闭包 $F^+$:
     ​ 由关系模式R直观得到的函数依赖F所推出的所有隐含的或未隐含的函数依赖的集合
   • 逻辑蕴含:
     ​ F能推出 原不直观存在于 函数依赖集F 中的函数依赖 α $\to$ β,则成α$\to$β被函数依赖集F逻辑蕴含
   • Armstrong公理:
     
     1. 自反律:
        ​ 集合A能推出其集合子集b
     2. 增补律
     3. 传递律
   • Armstrong公理推论:
     1. 合并律
     2. 分解律
     3. 伪传递律
   • 属性的闭包
     在关系模式R所对应的$F^+$中,有$α\toβ$ ,则所有β组成的集合α^+^ 叫做α的属性闭包

3. 正则覆盖 $F^+$
   ​ 将原函数依赖集F中的函数依赖α–>β中的部分(α或β属性中)冗余属性删除。F^c^ 和 F 的函数依赖的闭包是相同的

   属性是否冗余判断条件,对于α–>β函数依赖:

   1. α属性集中有属性A是冗余的,$(α-A)\to β$ 成立:
      F 逻辑蕴含 $(F-(α\toβ)) \cup ((α-A)\toβ)$
   2. β属性集中有属性b是冗余的,$α\to (β-b)$成立
      $(F- (α \to β)) \cup (α \to (β-b) )$ 逻辑蕴含 F

4. 无损分解
   将关系模式R分解成 关系模式 $R_1 和 R_2$ ,则:
   $R_1 \cap R_2 \to R_1 或 R_2$ ;即$R_1 和 R_2 的交集是R_1 或 R_2 的super key$

范式定义:

1. 一范式:关系模式R所有的属性都是不可分割的,不能为组合属性、多值属性。一范式是数据库设计里的必要条件。
2. BCNF(Boyce-bodd Normal form–BC范式) :
   在一范式的基础上，消除更多的冗余。
   
   • BC范式满足的条件
     在关系模式R中,有α–>β函数依赖(两条件满足一个即可):
     
     1. α–>β是平凡的函数依赖(即$α \in β$)
     2. α是R的super key
3. 第三范式:
   在BC范式的基础稍微放宽的条件,以保证数据表设计能够保持函数依赖
   第三范式的条件:
   
   • 在关系模式R中,有α–>β函数依赖(三个条件满足一个即可):
     
     1. $α\to β$ 是平凡的函数依赖
     2. α是R的super key
     3. (β - α)中的每个属性A $\in$ candidate key