数据库范式

1NF:属性不可分
2NF:非主属性完全依赖于码------消除非主属性部分依赖于码
（学号）=>姓名 --Full
（学号、课程id）=>姓名 --Part
（学号、课程id）=>成绩 --Full
3NF:消除非主属性传递依赖于码
学号->院系->住所，住所传递依赖于学号
表1：学号,院系
表2：院系，住所
表1、表2：已经满足了第三范式
BCNF：主属性不依赖于主属性
===========================================
第一范式：1NF是对属性的原子性约束，要求属性具有原子性，不可再分解；
第二范式：2NF是对记录的惟一性约束，要求记录有惟一标识，即实体的惟一性；
第三范式：3NF是对字段冗余性的约束，即任何字段不能由其他字段派生出来，它要求字段没有冗余。
BCNF：主属性不依赖于主属性