数据库设计原理基础知识点

1. 关系代数
   并
   交
   差
   笛卡尔积
   投影
   选择
   连接

2. 元组关系演算

3. SQL

4. 规范化理论
   部分函数依赖：AB->C, A->C
   传递函数依赖：A->B, B->C（B-/>A）

   超键：唯一标识元组（可以是一个属性，也可以是多个属性，切可能存在冗余属性）
   候选键：唯一标识元组不存在冗余属性（从入度为0的节点遍历），主键的集合
   主键：候选键中任意选择一个
   外键：其他关系的主键

   主属性：候选键中的属性
   非主属性：候选键中之外的属性

   1NF：属性值是不可分的原子值
   $\downarrow$消除非主属性对候选键的部分依赖（非主属性由部分候选键决定）
   2NF
   $\downarrow$消除非主属性对候选键的传递依赖（非主属性由非主属性决定）
   3NF
   $\downarrow$消除主属性对候选键的传递依赖（所有关系中左边部分均为候选键）
   BCNF

   判断BCNF:
   $\forall x\to A$, 以下条件之一满足：
   （1）$A\in X$
   （2）X是超键
   判断3NF：
   $\forall x\to A$, 以下条件之一满足：
   （1）$A\in X$
   （2）X是超键
   （3）A是R的键的一部分

5. 模式分解
   保持函数依赖分解：函数依赖不变，依赖的前后属性在同一个关系中（冗余函数依赖不需保持）
   无损分解：分解后可以还原（二分解法）

   二分解法检验是否无损分解：R=(R1, R2).
   R无损联接分解
   $\iff$
   $R_1\bigcap R_2\to (R_1-R_2)$ 或$R_1\bigcap R_2\to (R_2-R_1)$

6. 闭包$B^{+}$
   $B^{+}$包含F中的所有函数依赖（通过推导）
   从给定属性出发，能退出最大的属性集

7. Armstrong公理（求闭包）
   

8. 最小覆盖$F_c$
   将F中的所有依赖右边化为单一元素
   去掉F中的所有依赖左边的冗余属性
   去掉F中所有冗余依赖关系
   左边属性相同的，合并右边属性