关系数据库设计理论

1. 函数依赖
   记A->B表示A函数决定B，也可以说B函数依赖于A。
   如果{A1,A2,…,An}是关系的一个或多个属性集合，该集合函数决定了关系的其它所有属性并且是最小的，那么该集合就称为键码。
   对于A->B，如果能找到A的真子集A’，使得A‘->B，那么A->B就是部分函数依赖，否则就是完全函数依赖；
   对于A->B，B->C，则A->C是一个传递函数依赖。
2. 范式
   第一范式（1NF）
   属性不可分
   第二范式（2NF）
   每个非主属性完全函数依赖于键码，可通过分解来满足
   第三范式（3NF）
   非主属性不传递函数依赖于键码