数据库范式讲解(1NF、2NF、3NF、BCNF)
R-关系模式 create schema <模式名> authorization <用户名>
r-关系
U-属性集
F-为属性到域的映射

FD-函数依赖 functional dependence
X→Y:“X函数决定Y，Y函数依赖X”.
类似于：y=f(x)
A⊆B A包含于B，A小，B大，B→A （b决定a,a依赖b）

元组：二维表中的行
属性：二维表中的列
超码:能唯一标识元组的属性集
候选码：不含多余属性的超码
主码：用户选作元组标识的候选码
外码：对于当前模式而言，是另一模式的主码。

主属性：构成候选码的属性。包含在任意候选码中的属性称为主属性；
非主属性：不报含在任意候选码中的属性称为非主属性；

1NF: 每一个关系的属性为不可分的原子值
2NF:满足1NF,非主属性完全函数依赖于候选码
3NF:满足2NF,消除非主属性对候选码的传递依赖
BCNF:满足3NF,消除每一属性对候选键的传递依赖 （前面可以推出后面，后面可以推出前面）