【图文】数据库函数依赖_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
数据库函数依赖
大小：139.00KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢数据库原理之关系数据库的模式设计课后习题及答案
4.1 名词解释
(1) 函数依赖：FD(function dependency)，设有关系模式R(U)，X，Y是U的子集， r是R的任一具体关系，如果对r的任意两个元组t1,t2,由t1[X]=t2[X]导致t1[Y]=t2[Y], 则称X函数决定Y,或Y函数依赖于X，记为X→Y。X→Y为模式R的一个函数依赖。
(2) 函数依赖的逻辑蕴涵：设F是关系模式R的一个函数依赖集，X，Y是R的属性子集， 如果从F中的函数依赖能够推出X→Y，则称F逻辑蕴涵X→Y,记为F|=X→Y。
(3) 部分函数依赖：即局部依赖，对于一个函数依赖W→A，如果存在XW(X包含于W)有X→A成立， 那么称W→A是局部依赖，否则称W→A为完全依赖。
(4) 完全函数依赖：见上。
(5) 传递依赖：在关系模式中，如果Y→X，X→A，且X（A不属于X）,那么称Y→A是传递依赖。
(6) 函数依赖集F的闭包F+: 被逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包(closure),记为F+。
(7) 1NF：第一范式。如果关系模式R的所有属性的值域中每一个值都是不可再分解的值, 则称R是属于第一范式模式。如果某个数据库模式都是第一范式的，则称该数据库存模式属于第一范式的数据库模式。 第一范式的模式要求属性值不可再分裂成更小部分，即属性项不能是属性组合和组属性组成。
(8) 2NF：第二范式。如果关系模式R为第一范式，并且R中每一个非主属性完全函数依赖于R的某个候选键， 则称是第二范式模式；如果某个数据库模式中每个关系模式都是第二范式的，则称该数据库模式属于第二范式的数据库模式。 (注：如果A是关系模式R的候选键的一个属性，则称A是R的主属性，否则称A是R的非主属性。)
(9) 3NF：第三范式。如果关系模式R是第二范式，且每个非主属性都不传递依赖于R的候选键， 则称R是第三范式的模式。如果某个数据库模式中的每个关系模式都是第三范式，则称为3NF的数据库模式。
(10) BCNF：BC范式。如果关系模式R是第一范式，且每个属性都不传递依赖于R的候选键，那么称R是BCNF的模式。
(11) 4NF：第四范式。设R是一个关系模式，D是R上的多值依赖集合。如果D中成立非平凡多值依赖X→→Y时， X必是R的超键，那么称R是第四范式的模式。
(12) 推理规则的正确性和完备性：正确性是指，如果X→Y是从推理规则推出的，那么X→Y在F+中。 完备性是指，不能从F使用推理规则导出的函数依赖不在F+中。
(13) 依赖集的覆盖和等价：关系模式R(U)上的两个函数依赖集F和G，如果满足F+=G+，则称F和G是等价的。 如果F和G等价，则可称F覆盖G或G覆盖F。
(14) 最小依赖集：如果函数集合F满足以下三个条件：(1)F中每个函数依赖的右部都是Y（X不决定Y）， AX单属性； (2)F中的任一函数依赖X→A，其F-{X→A}与F是不等价的；(3)F中的任一函数依赖X→A，Z为X的子集，（F-{X→A}）∪{Z→A}与F不等价。则称F为最小函数依赖集合，记为Fmin。
(15) 无损联接：设R是一关系模式，分解成关系模式ρ={R1,R2...,Rk},F是R上的一个函数依赖集。 如果对R中满足F的每一个关系r都有r=πR1(r)πR2(r)...πRk(r)则称这个分解相对于F是\无损联接分解\。
(16) 保持依赖集:所谓保持依赖就是指关系模式的函数依赖集在分解后仍在数据库中保持不变， 即关系模式R到ρ={R1,R2,...,Rk}的分解，使函数依赖集F被F这些Ri上的投影蕴涵。
(17) 多值依赖：设R(U)是属性集U上的一个关系模式，X，Y，Z是U的子集，并且Z=U-X-Y, 用x,y,z分别代表属性集X,Y，Z的值，只要r是R的关系，r中存在元组(x,y1,z1)和(x,y2,z2)时， 就也存在元组(x,y1,z2)和(x,y2,z1),那么称多值依赖(MultiValued Dependency MVD) X→→Y在关系模式R中成立。
4.2 关系模式R有n个属性，在模式R上可能成立的函数依赖有多少个? 其中平凡的函数依赖有多少个?非平凡的函数依赖有多少个?
(要考虑所有可能的情况,数学排列组合问题。对于数据库本身而言，本题没多大意义）
所有属性相互依赖时，函数依赖最多。 ? 平凡的函数依赖：对于函数依赖X→Y，如果YX，那么称X→Y是一个“平凡的函数依赖”。
4.3 建立关于系、学生、班级、社团等信息的一个关系数据库， 一个系有若干个专业，每个专业每年只招一个班，每个班有若干个学生，一个系的学生住在同一宿舍区， 每个学生可以参加若干个社团，每个社团有若干学生。
描述学生的属性有：学号、姓名、出生年月、系名、班级号、宿舍区。
描述班级的属性有：班级号、专业名、系名、人数、入校年份。
描述系的属性有：系名、系号、系办公地点、人数。
描述社团的属性有：社团名、成立年份、地点、人数、学生参加某社团的年份。
请给出关系模式，写出每个关系模式的最小函数依赖集，指出是否存在传递函数依赖， 对于函数依赖左部是多属性的情况，讨论函数依赖是完全函数依赖还是部分函数依赖。 指出各关系的候选键、外部键，有没有全键存在?
各关系模式如下：
学生(学号,姓名,出生年月,系名,班级号,宿舍区)
班级(班级号,专业名,系名,人数,入校年份)
系(系名,系号,系办公地点,人数)
社团(社团名,成立年份,地点,人数）
加入社团（社团名，学号，学生参加社团的年份）
学生(学号,姓名,出生年月,系名,班级号,宿舍区)
●“学生”关系的最小函数依赖集为：
Fmin={学号→姓名,学号→班级号,学号→出生年月,学号→系名，系名→宿舍区}
●以上关系模式中存在传递函数依赖，如:学号→系名，系名→宿舍区
●候选键是学号,外部键是班级号,系名。
notice: 在关系模式中，如果Y→X，X→A，且X么称Y→A是传递依赖。
班级(班级号,专业名,系名,人数,入校年份)
●“班级”关系的最小函数依赖集为：
Fmin={(系名,专业名)→班级号,班级号→人数，班级号→入校年份，班级号→系名，班级号→专业名}
(假设没有相同的系，不同系中专业名可以相同)
●以上关系模式中不存在传递函数依赖。
●“(系名,专业名)→班级号”是完全函数依赖。
●候选键是(系名,专业名),班级号，外部键是系名。
系(系名,系号,系办公地点,人数)
●“系”关系的最小函数依赖集为： Fmin={系号→系名,系名→系办公地点,系名→人数，系名→系号}
●以上关系模式中不存在传递函数依赖
●候选键是系名,系号
社团(社团名,成立年份,地点,人数）
●“社团”关系的最小函数依赖集为： Fmin={社团名→成立年份,社团名→地点,社团名→人数)
Y（X不决定Y）， A不属于X,那●以上关系模式中不存在传递函数依赖。
●候选键是社团名
加入社团（社团名，学号，学生参加社团的年份） ●“加入社团”关系的最小函数依赖集为： Fmin={（社团名，学号）→学生参加社团的年份)
●“（社团名，学号）→学生参加社团的年份”是完全函数依赖。 ●以上关系模式中不存在传递函数依赖。
●候选键是（社团名，学号）。
4.4 对函数依赖X→Y的定义加以扩充，X和Y可以为空属性集，用φ表示， 那么X→φ，φ→Y，φ→φ的含义是什么?
根据函数依赖的定义，以上三个表达式的含义为：
(1)一个关系模式R(U)中，X，Y是U的子集，r是R的任一具体关系，如果对r的任意两个元组t1,t2, 由t1[X]=t2[X]必有t1[φ]=t2[φ]。即X→φ表示空属性函数依赖于X。这是任何关系中都存在的。
(2)φ→Y表示Y函数依赖于空属性。由此可知该关系中所有元组中Y属性的值均相同。
(3)φ→φ表示空属性函数依赖于空属性。这也是任何关系中都存在的。
4.5 已知关系模式R(ABC)，F={A→C，B→C},求F+。
可以直接通过自反律、增广律、传递律加以推广：
F+={φ→φ，A→φ，B→φ，C→φ，A→C，B→C，AB→φ，AB→A，AB→B，AB→C，AB→BC，AB→AB，AB→ABC，BC→φ，BC→C，BC→B，BC→BC，AC→φ，AC→C，AC→A，AC→AC，ABC→φ，ABC→A，ABC→B，ABC→C，ABC→BC，ABC→AB，ABC→ABC}
4.6 试分析下列分解是否具有无损联接和保持函数依赖的特点：
(1)设R(ABC)，F1={A→B} 在R上成立，ρ1={AB,AC}。
首先，检查是否具有无损联接特点：
第1种解法--算法4.2:
AB AC A a1 a1 B a2 b22 C b13 a3 A a1 a1 B a2 a2 C b13 a3 (1) 构造表 (2)根据A→B进行处理
结果第二行全是a行，因此分解是无损联接分解。
第2种解法:(定理4.8)
设 R1=AB，R2=AC
∵A→B,∴该分解是无损联接分解。
然后，检查分解是否保持函数依赖
πR1（F1）={A→B，以及按自反率推出的一些函数依赖}
πR2（F1）={按自反率推出的一些函数依赖}
F1被πR1（F1）所蕴涵，∴所以该分解保持函数依赖。
(2)设R(ABC)，F2={A→C，B→C}在R上成立，ρ2={AB,AC}
首先，检查是否具有无损联接特点：
第1种解法（略）
第2种解法:(定理4.8)
设 R1=AB，R2=AC
∵A→C,∴该分解是无损联接分解。数据依赖_百度百科
声明：百科词条人人可编辑，词条创建和修改均免费，绝不存在官方及代理商付费代编，请勿上当受骗。
依赖，数学概念，是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系，数据依赖是现实世界属性间相互联系的抽象，属于数据内在的性质。在计算机科学中，数据依赖是指一种状态，当程序结构导致数据引用之前过的数据时的状态。在编译学中，数据依赖是数据的一部分。
数据依赖数学定义
定义：设有一R（A1,A2,…,An),X和Y均为（A1,A2,…,An)的子集，对于R的值r来说，当其中任意两个元组u,v中对应于X的那些属性分量的值均时，则有u,v中对应于Y的那些属性分量的值也相等，称X函数决定Y，或Y依赖于X，记为X-&Y。
例：有关系，学生（学号S#，姓名SN，系名SD），子集X（学号S#），子集Y（系名SD）。
每个学生有唯一的一个学号，学生中可以有的姓名，每个学生只能属于一个系，每个系有唯一的系代号。有此，可以找出学生关系模式中存在下列函数依赖：
S#-&SN；S#-&SD
例：有关系，学校简况(学号S#，系名SD，系主任MN，课程CN，成绩G)。可写出函数依赖：
S#-&SD；SD-&MN；S#,CN-&G
根据函数依赖的不同性质，函数依赖可分为完全函数依赖、部分函数依赖和传递函数依赖。
2.2 完全函数依赖
定义：在R(U)中，如果X-&Y，对于X的任意一个真子集X’,都有X’不能决定Y，则称Y对X完全函数依赖，记为XY 。
例：（S#,CN）-&G
2.3 部分函数依赖
定义：在R(U)中，如果X-& Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖。
2.4 传递函数依赖
定义：在R(U)中，当且仅当X-& Y，Y-&Z时，称Z对X传递函数依赖。
例：描述学生（S#）、班级（SB）、辅导员（TN）的关系U(S#,SB,TN)。一个班有若干学生，一个学生只属于一个班，一个班只有一个辅导员，但一个辅导员负责几个班。根据现实世界可得到一组函数依赖：
F={S#-&SB，SB-&TN}
学生学号决定了所在班级，所在班级决定了辅导员，所以辅导员TN传递函数依赖于学生学号S#。
数据依赖还包括多值依赖和连接依赖两种形式。
--------------------------------------------------------------------------------------------------
数据依赖计算机学定义
数据依赖是指一种状态，当程序结构导致数据引用之前处理过的数据时的状态。在编译学中，数据依赖是数据分析的一部分。
解说：假设有如下表述S1和S2，
(I (S1) ∩ O(S2)) ∪ (O(S1) ∩ I(S2)) ∪ (O(S1) ∩ O(S2)) ≠ Φ
那么S2依赖S1。I（Si）是内存位置的集合，可由Si和S2读
O（Sj）是内存地址的集合，由Sj写，
则这里S1和S2就有一个必须遵守的执行顺序。
数据依赖种类
数据依赖有三种，
1. 流依赖（flow dependency)，一个变量在一次表达式中赋值或修改然后用在后来的另一个表达式中。例
2.反依赖（anti dependency)，一个变量在一个表达式中被使用然后在后来一个表达式中被修改赋值。例
3.输出依赖，一个变量在一表达式中被修改赋值然后又在后来另一个表达式中被修改值，例
......a=d-e 上传我的文档
 下载
 收藏
该文档贡献者很忙，什么也没留下。
 下载此文档
数据库_函数依赖
下载积分：400
内容提示：数据库_函数依赖
文档格式：PDF|
浏览次数：251|
上传日期： 05:48:36|
文档星级：
全文阅读已结束，如果下载本文需要使用
 400 积分
下载此文档
该用户还上传了这些文档
数据库_函数依赖
官方公共微信