51.6平凡函数依赖和非平凡函数依赖 定义:在关系模式R(U),U是R的属性集合,Ⅹ,Y是 U的子集,如果Ⅹ→Y,但Y不包含于Ⅹ,则称Ⅹ→Y是非 平凡函数依赖,若Y包含于Ⅹ,则称X→Y是平凡函数依 赖。 ■说明: (1)对任一关系模式,平凡函数依赖必然成立。 (2)本接只讨论非平凡函数依赖 3)非平凡函数依赖易产生问题
5.1.6 平凡函数依赖和非平凡函数依赖 ▪ 定义：在关系模式R（U），U是R的属性集合，X，Y是 U的子集，如果 X→Y，但Y不包含于X，则称X→Y是非 平凡函数依赖，若Y包含于X，则称X→Y是平凡函数依 赖。 ▪ 说明： ▪ （1）对任一关系模式，平凡函数依赖必然成立。 ▪ （2）本接只讨论非平凡函数依赖。 ▪ （3）非平凡函数依赖易产生问题
5.1.7完全函数依赖和部分函数依赖 定义:在关系模式R(U),U是R的属性集合,X,Y是 U的子集。如果Ⅹ→Y,并且对于X的任何一个真子集Ⅹ1, 都有Ⅹ1—|→Y,,则称“Y完全函数依赖于Ⅹ〃,记作 Ⅹ→Y。若Ⅹ→Y,但Y不完全函数依赖于Ⅹ,则称Y部分函 数依赖Ⅹ,记作ⅩP→Y 说明: (1)部分函数依赖易产生问题。 (2)完全函数依赖中,Ⅹ为决定属性,Y为非决定属性
5.1.7 完全函数依赖和部分函数依赖 ▪ 定义：在关系模式R（U），U是R的属性集合，X，Y是 U的子集。如果 X→Y，并且对于X的任何一个真子集X1， 都有X1 ——|→Y，，则称“Y完全函数依赖于X” ，记作 X→Y。若X→Y，但Y不完全函数依赖于X，则称Y部分函 数依赖X，记作X—P→Y。 ▪ 说明： ▪ （1）部分函数依赖易产生问题。 ▪ （2）完全函数依赖中，X为决定属性，Y为非决定属性
5.1.8传递函数依赖,码 传递函数依赖定义:在关系模式R(U),如果Ⅹ→Y, Y—>Z,且Y不包含于Ⅹ,Y\→X,则称“Z传递函数 依赖于Ⅹ",记作Ⅹ—>>Z 码定义:设K为关系模式R(U,F)中的属性或属性组 若KυU,则称K是一个候选码。若关系模式R有多个候 选码,则选定其中的一个为主码。 码、候选码、主码、外部码
5.1.8 传递函数依赖,码 ▪ 传递函数依赖定义：在关系模式R（U），如果 X→Y， Y——>Z，且Y不包含于X，Y——\→X，则称“Z传递函数 依赖于X” ，记作X——>>Z。 ▪ 码定义：设K为关系模式R（U，F）中的属性或属性组。 若 K→U，则称K是一个候选码。 若关系模式R有多个候 选码，则选定其中的一个为主码。 ▪ 码、候选码、主码、外部码
5.2范式理论 范式:是指符合某一级别的关系模式的集合 目前主要有6种范式: 1NF>2NF>3NF> BCNF>4NF>5NF ˉ6种范式的规范化程度依次增强,满足后一种。 范式的关系模式必然满足前一种范式 本节主要讲述这六种范式的特点
5.2 范式理论 ▪ 范式：是指符合某一级别的关系模式的集合。 ▪ 目前主要有6种范式： ▪ 1NF>2NF>3NF>BCNF>4NF>5NF ▪ 6种范式的规范化程度依次增强，满足后一种。 范式的关系模式必然满足前一种范式。 ▪ 本节主要讲述这六种范式的特点
5.2范式理论 5.2.11NF及存在的问题 5.2.22NF及存在的问题 5.2.33NF及存在的问题 5.2.4BCNF及存在的问题 5.2.54NF及存在的问题 5.2.65NF ■5.2.7学校管理数据库分析 5.2.8STC数据库分析
5.2 范式理论 ▪ 5.2.1 1NF及存在的问题 ▪ 5.2.2 2NF及存在的问题 ▪ 5.2.3 3NF及存在的问题 ▪ 5.2.4 BCNF及存在的问题 ▪ 5.2.5 4NF及存在的问题 ▪ 5.2.6 5NF ▪ 5.2.7 学校管理数据库分析 ▪ 5.2.8 STC数据库分析