1.函数依赖的定义

设r(必是属性集u上的关系模式。x，y是u的子集。若对于r(u)的任意一个可能的关系r,r中不可能存在两个元组在x上的属性值相等，而在y上的属性值不等，则称_x函数确定y或y函数依赖于x，记作x- y, RRIm~#OS*G?8Y [ 本 资 料 来 源 于 贵 州 学 习 网 IT认证全国计算机等级考试 http://Www.gzU521.com ] RRIm~#OS*G?8Y

函数依赖包括非平凡的函数依赖、平凡的函数依赖、完全函数依赖、部分函数依赖及传递函数依赖。

2.函数依赖的逻辑蕴含

设r＜u, f＞是一个关系模式，x，y是u中的属性组，若在r＜u, f＞中的任何一个满足f函数依赖的关系：r上，都有函数依赖x→y成立，则称f逻辑蕴含x→y。

在关系模式r＜u, f＞中，f所逻辑蕴含的函数依赖的全体称做f闭包，记做f＋。

3.码

设k为r ji.，科中的属性或属性组合，若k- u在f十中，而找不到k的任何一个真子集k′，能使k′→u在f＋中，则k为r的候选码。当候选码多于一个时，则选定其中的一个为主码。包含在任何一个候选码中的属性，叫做主属性，不包含在任何码中的属性称为非主属性或非码属性。最简单的情况，单个属性是码。最极端的情况，整个属性组是码，称为全码。

4.函数依赖的办理系统

1974年armstrong首先提出了armstrong公理系统，包括3条推理规则：

设f是属性组u上的一组函数依赖，于是有如下推理规则。

(1)自反律(reflexivity )，若ycxc u,lnl x-" y为f所逻辑蕴含。

(2)增广律(augmentation)，若x-y为f所逻辑蕴含，且zcu，则xz-yz为f所逻辑蕴含。

(3)传递律(tran sitiv讲)，若x- y及y-"z为f所逻辑蕴含，则x-z为f所逻辑蕴含。

考点34 1nf,2xf、3nf、bcnf

1.第一范式(1nf)及进一步规范化

关系模式需要满足一定的条件，不同程度的条件称做不同的范式，最低要求的条件是元组的每个分量必须是不可分的数据项，这叫第一范式，简称1nf，是最基本的范式。对于各种范式之间的联系有5nf c4nf仁bcnfc3nf仁2nfcinf成立。

一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这个过程就叫规范化。

2.第二范式(2nf)

若r einf，且每一个非主属性完全函数依赖于码，则r∈2nfo

2nf就是不允许关系模式的属性之间有这样的函数依赖x-. y。其中x是码的真子集，y是非主属性,也就是说，不允许有非主属性对码的部分函数依赖。&_4/h|Yp7t]:r" w)[ 此文转贴于我的学习网IT认证全国计算机等级考试 http://www.Gzu521.com]&_4/h|Yp7t]:r" w)

3.第三范式(3nf)

关系模式r，＜u，f＞中若不存在这样的码x，属性组y及非主属性z(z不包含于均使得x→y，(y函数依赖于x)y→z成立，则称r＜u, f＞∈3nf

4.boyce一codd范式(bcnf)

若关系模式reinf，且对于每个非平凡的函数依赖x-} y都有x包含码，则r ebcnf。在函数依赖的范围内，bcnf达到了最高的规范化程度。

考点35多值依赖和4nf

1.多值依赖

设r(u)是属性集u上的一个关系模式x、y,z是u的子集，并且z＝u一x一y}关系模式r (u)中多值依赖x→→y成立，当且仅当对r(u)功的任一关系r，给定的一对(x,z)值有一组y的值，这组值仅仅决定于x值而与z值无关。

4.第四范式(4nf )

关系模式r＜u，f＞司nf，如果对于r的每个非平凡多值依赖x→→y(y不包含于x)，x都含有码，则称r＜u，f＞∈4nf。

如果一个关系模式是4nf，则必为bcnf。

4.14关系模式的分解

考点36模式分解的等价标准

常用的等价标准要求分解是具有无损连接性的，并且是保持函数依赖的。

考点37关于模式分解的几个事实

(1)分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。

(2)若要求分解具有无损连接性，那么模式分解一定可以达到bcnf)。

(3)若要求分解保持函数依赖，刀厂么模式分解可以达到3nf，但不一定能达到bcnf。

(4)若要求分解既具有无损连接性，又保持pa数依赖，则模式分解可以达到3nf，但不一定能达到bcnf。

4.15数据库设计的内容、方法和步骤