第八讲第八讲数据库设计基础之数据库设计基础之范式范式本讲内容本讲内容什么是范式什么是范式有哪些范式有哪些范式怎样通过范式对关系模式进行规范化怎样通过范式对关系模式进行规范化范式范式范式（范式（NormalFormNormalForm）是符合某一级别的关系模式的）是符合某一级别的关系模式的集合。目前主要有六种范式，即第一范式（集合。目前主要有六种范式，即第一范式（1NF1NF）、）、第二范式（第二范式（2NF2NF）、第三范式（）、第三范式（3NF3NF）、）、BCBC范式范式（（BCNFBCNF）、第四范式（）、第四范式（4NF4NF）和第五范式（）和第五范式（5NF5NF）。）。它们之间有如下的关系。它们之间有如下的关系。1NF2NF3NFBCNF4NF5NF⊃⊃⊃⊃⊃1NF2NF3NFBCNF4NF5NF⊃⊃⊃⊃⊃若若RR为第为第nn范式，则记范式，则记RnNF∈RnNF∈。。第一范式（第一范式（1NF1NF））如果一个关系模式如果一个关系模式RR的所有属性都是不的所有属性都是不可分的基本数据项，则可分的基本数据项，则R1NF∈R1NF∈。。1NF1NF是关系模式的最起码要求，不满足是关系模式的最起码要求，不满足第一范式的数据库模式不能称为关系数第一范式的数据库模式不能称为关系数据库。据库。例如，学生（学号，姓名，系名，系负例如，学生（学号，姓名，系名，系负责人，课程名，成绩）责人，课程名，成绩）第二范式（第二范式（2NF2NF））若关系模式若关系模式R1NF∈R1NF∈，并且每一个非主属性都，并且每一个非主属性都完全函数依赖于完全函数依赖于RR的码，则的码，则R2NF∈R2NF∈。。将学生（学号，姓名，系名，系负责人，课程将学生（学号，姓名，系名，系负责人，课程名，成绩）中存在的非主属性对码的部分函数名，成绩）中存在的非主属性对码的部分函数依赖消除后可以降低和消除异常问题。依赖消除后可以降低和消除异常问题。姓名、系名、系负责人部分函数依赖于姓名、系名、系负责人部分函数依赖于{{学号，学号，课程名课程名}}，但都完全函数依赖于学号。，但都完全函数依赖于学号。学生情况（学号，姓名，系名，系负责人）学生情况（学号，姓名，系名，系负责人）成绩（学号，课程名，成绩）成绩（学号，课程名，成绩）规范化结果规范化结果学生情况（学号，姓名，系名，系负责人）学生情况（学号，姓名，系名，系负责人）成绩成绩((学号，课程名，成绩）学号，课程名，成绩）学号学号(6)(6)姓名姓名(8)(8)系名系名(8)(8)系负责人系负责人(8)(8...
