数据库-第三范式及BCN

第三范式（Third Normal Form）

定义：若关系模式R属于第一范式，且每个非主属性都不传递函数依赖于主键，则R属于
第三范式

说明：3NF说明的是非主属性和主键之间的函数依赖关系

例如：选课关系模式

SC（s_no,c_no,score）中,由于除了主键之外，只有一个非主属性score，所以score不可
能构成与主键之间的传递函数依赖，所以SC属于3NF

BCNF（Boyce-Codd Normal Form）

定义：若关系模式R属于第一范式，且每个属性都不传递依赖于主键，则R属于BC范式。

说明：也就是说，在关系模式R中，凡是决定因素的属性或属性集包含键码，决定因素是
函数依赖的左部属性集，比如X->Y，X称为决定因素。

由BC范式的定义可以得到以下的结论，一个满足BC范式的关系模式有：

1、所有非主属性对每一个候选码都是完全函数依赖

2、所有的主属性对每一个不包含它的候选码都是完全函数依赖

3、没有任何属性完全函数依赖于非候选码的任何一组属性