第3章关系数据模型之函数依赖

合集下载

第3章 关系数据库

第3章 关系数据库

3)用户定义的完整性 ) 由用户自己根据情况, 由用户自己根据情况,对数据库中数据所做的规定称 为用户定义的完整性规则,也称为域完整性规则。 为用户定义的完整性规则,也称为域完整性规则。通 过这些规则来限制数据库中只能接受符合用户定义完 整性约束条件的数据值, 整性约束条件的数据值,从而保证了数据的正确性和 有效性。 有效性。
关系模型的主要特点有: 关系模型的主要特点有: (1)关系中每一分量不可再分,是最基本的数据单位,即不 )关系中每一分量不可再分,是最基本的数据单位, 允许有表中表。 允许有表中表。 (2)每一竖列的分量是同属性的,列数根据需要而定,且各 )每一竖列的分量是同属性的,列数根据需要而定, 列的顺序是任意的。 列的顺序是任意的。 (3)每一横行由一个个体事物的诸多属性构成,且各行的顺 )每一横行由一个个体事物的诸多属性构成, 序是任意的。 序是任意的。 (4)一个关系是一张二维表,不允许有相同的属性名,也不 )一个关系是一张二维表,不允许有相同的属性名, 允许有相同的元组。 允许有相同的元组。
(6)关系模式:对关系的描述,一般表示为:关系名 (属性1,属性2,…,属性n) (7)关键字或码(Key):表中用来唯一确定(标识) 一个元组的某个属性或属性组合。 关键字必须唯一,但它的唯一性不是只对关系的当前元 组构成来确定的。(,)还要考Байду номын сангаас元组构成的将来可能性。 一个关系中,关键字的值不能为空,即关键字的值为空 的元组在关系中是不允许存在的。
3.2.1 传统的集合运算
传统的集合运算,包括并、 传统的集合运算,包括并、差、交、广义笛卡尔积 四种运算。 四种运算。 1、并(Union) 、 ) 关系R与关系 的并记作 关系 与关系S的并记作: 与关系 的并记作: R∪S = { t | t∈R ∨ t∈S } ∪ ∈ ∈ 其结果仍为关系,由属于 或属于 的元组组成。 或属于S的元组组成 其结果仍为关系,由属于R或属于 的元组组成。 2、交( Intersection) 、 ) 关系R与关系 的交记作 关系 与关系S的交记作: 与关系 的交记作: R∩S = { t | t∈R ∧t∈S } ∈ ∈ 其结果关系仍为关系,由既属于 又属于 的元组组成。 又属于S的元组组成 其结果关系仍为关系,由既属于R又属于 的元组组成。

计算机四级考试《数据库工程师》重点知识:函数依赖

计算机四级考试《数据库工程师》重点知识:函数依赖

计算机四级考试《数据库工程师》重点知识:函数依赖计算机四级考试《数据库工程师》重点知识:函数依赖1、函数依赖:(1) 设R(U)为一关系模式,X和Y为属性全集U的子集,若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称“X函数决定Y”或“Y函数依赖于X”,并记作XY,其中X称为决定因素,因为根据函数依赖定义,给定一个X,就能惟一决定一个Y。

(2) 这里讨论的函数关系与数学上的不同,是不能计算的,是一个关系中属性之间存在的依赖关系;它是一种语义范畴的概念,只能根据两个属性之间的语义来确定一个函数依赖是否存在。

2、完全与部分函数依赖:(1) 在关系模式R(U)中,如果XàY成立,并且对X的任何真子集X’不能函数决定Y,则称Y对X是完全函数依赖,被记作X---f---àY。

(2) 若XàY,但Y不完全函数依赖于X,则称Y对X是部分函数依赖,记作X--pàY;3、传递函数依赖:在关系R(U)模式中,如果X决定Y,(Y不属于X),Y不决定X,Y决定Z,则称Z对X传递函数依赖。

4、平凡与非平凡函数依赖:(1) 若X决定Y,但Y属于X,则称XàY是平凡函数依赖,否则称非平凡函数依赖;(2) 即平凡函数依赖,仅当其右边的属性集是左边属性集的子集时成立;(3) 非平凡函数依赖,仅当其右边的属性集至少有一个属性不属于左边有集合时成立;(4) 完全非平凡函数依赖:仅当其右边的属性集中属性都不在左边的集合时成立;5、码:(1) 在关系模式R(U)中,K为R的属性或属性组,若K函数决定A1.A2….An,则K为关系模式R的候选码,包含在候选码中的属性称为主属性,否则为非主属性;(2) 若一个关系的候选码不止一个,则选定其中一个作为关系R的主码;(3) 关系的码属性除了必须完全函数决定关系的所有其他属性外,还必须满足最小化规则,即在关系模式R(U)中,不存在一个K的.真子集能够函数决定R的其他属性。

关系数据库设计理论(关系模式、函数依赖、范式)

关系数据库设计理论(关系模式、函数依赖、范式)

函数依赖关系是属性间的一种多对一的关系。 函数依赖关系是属性间的一种多对一的关系。 如果X →Y, X←Y, 是一对一关系。 如果X →Y,且X←Y,则X和Y是一对一关系。
如学号与身份证号。 如学号与身份证号。
7.2
函数依赖
SQL Server 2000
三、函数依赖的几种特例
1、平凡函数依赖与非平凡函数依赖 、 如果X→Y, 如果X→Y,且Y X→Y 若Y 由于Y 由于Y 称为非平凡函数依赖。 X,则X→Y 称为非平凡函数依赖。
7.1
关系模式的评价
SQL Server 2000
教学(学号,姓名,年龄,系名,系主任,课程名,成绩) 教学(学号,姓名,年龄,系名,系主任,课程名,成绩)
学号 98001 98001 98002 98002 98003 98003 99001 姓名 李华 李华 张平 张平 陈兵 陈兵 陆莉 年龄 21 21 22 22 21 21 23 系名 计算机 计算机 计算机 计算机 数学 数学 物理 系主任 王民 王民 王民 王民 赵敏 赵敏 王珊 课程名 C语言 高等数学 C语言 高等数学 高等数学 离散数学 普通物理 成绩 90 80 65 70 95 75 85
7.1
关系模式的评价
SQL Server 2000
对于有问题的关系模式, 对于有问题的关系模式,可以通过模式分解的方法使之 规范化, 规范化,上述关系模式如果分解为如下三个关系则可以克服 以上出现的问题。 以上出现的问题。 学生(学号,姓名,年龄,系名) 学生(学号,姓名,年龄,系名) 系(系名,系主任) 系名,系主任) 选课(学号,课程名,成绩) 选课(学号,课程名,成绩) 如何分解关系模式,分解的依据是什么? 如何分解关系模式,分解的依据是什么?下二节将讨论 这些问题。 这些问题。

数据库学习摘记——关系模式的函数依赖

数据库学习摘记——关系模式的函数依赖

数据库学习摘记——关系模式的函数依赖关系与关系模式的联系:关系模式是相对稳定的,静态的,是把所有元组删去后的⼀张空表格,是对元组数据组织⽅式的结构描述,⽽关系却是动态变化的,不稳定的,是将若⼲元组填⼊关系模式后得到的⼀个取值实例。

每⼀个关系对应⼀个关系模式,每⼀个关系模式可以定义多个关系。

关系模式R(U)对应的具体关系通常⽤⼩写字母r来表⽰。

函数依赖:设R(U)是属性集U={A1, A2, …, An}上的关系模式,X和Y是U的⼦集。

若对R(U)的任⼀具体关系r中的任意两个元组t1和t2,只要t1[X]=t2[X] 就有t1[Y]=t2[Y]。

则称"X函数确定Y" 或"Y函数依赖于X",记作X→Y,X为这个函数依赖的决定因素。

函数依赖要求R(U)的⼀切具体关系r都要满⾜的约束条件。

若X→Y且Y→X,则记作X⇿Y平凡函数依赖:X→Y,Y⊆X // 对于任⼀关系模式,平凡函数依赖必然是成⽴的⾮平凡函数依赖:X→Y,Y⊄X完全函数依赖:如果X→Y,且对于X的任何⼀个真⼦集X',都有X不函数确定Y ,则称Y对X完全函数依赖或者X完全决定Y,记作:部分函数依赖:如果X→Y,但Y不是完全函数依赖于X,则称Y 对X部分函数依赖,记作:传递函数依赖:如果X→Y,Y→Z,且 Y→X,Y⊄X,Z⊄Y,则称Z对X传递函数依赖,记作:候选键:对关系模式R(U),设K⊆U,且K完全函数确定U,则K为能够唯⼀确定关系中任何⼀个元组(实体)的最少属性集合,称K为R(U)的候选键或候选关键字。

【R(U,F),U={ A,B,C,D,E,G },F={AB→C,CD→E,E→A,A→G},求候选键】因G只在右边出现,所以G⼀定不属于候选码⽽B,D只在左边出现,所以B,D⼀定属于候选码BD的闭包还是BD,则对BD进⾏组合,除了G以外,BD可以跟A,C,E进⾏组合先看ABDABD本⾝⾃包ABD,⽽AB→C,CD→E,A→G,所以ABD的闭包为ABDCEG=U再看BDCCD→E,E→A,A→G,BDC本⾝⾃包,所以BDC的闭包为BDCEAG=U最后看BDEE→A,A→G,AB→C,BDE本⾝⾃包,所以BDE的闭包为BDEAGC=U因为(ABD)、(BCD)、(BDE)的闭包都是ABCDEG所以本问题的候选码有3个分别是ABC、BCD和BDE主键:通常在R(U)的多个候选键中任意选定⼀个候选键作为主键,也称为主码或主关键字。

名词解释:函数依赖

名词解释:函数依赖

名词解释:函数依赖
函数依赖是指在关系模型中,一个或多个属性的值可以唯一地确定其他属性的值。

具体来说,如果一个关系模式中,A 和 B 是属性集合,且对于 A 的任意两个元组,它们在 B 上的取值都必须相同,那么就称 B 函数依赖于 A。

可以简单地理解为,通过已知属性的值可以推出其他属性的值。

函数依赖是数据库设计中重要的概念,可以帮助设计者优化数据库结构,减少数据冗余和不一致性。

在实际应用中,函数依赖可以用于关系的分解、查询优化等方面。

需要注意的是,函数依赖只能描述属性之间的直接关系,而无法描述间接关系。

此外,函数依赖的正确性和适用性取决于实际应用场景和数据特征。

- 1 -。

《函数依赖》课件

《函数依赖》课件
,则有 X→YZ。
伪传递性
如果X→Y和WY→Z,则有 XW→Z。
02
函数依赖的推理规则
函数依赖推理规则的概述
函数依赖推理规则是关系型数据库中处理函数依赖的一种重要方法,它通过一系列 推理规则来推导和验证函数依赖的正确性。
这些规则基于函数依赖的定义,通过逻辑推理来验证关系模式中的函数依赖是否满 足某些特定的条件。
《函数依赖》ppt课件
目录 CONTENT
• 函数依赖的定义 • 函数依赖的推理规则 • 函数依赖在数据库设计中的应用 • 函数依赖的分解与合并 • 函数依赖的验证与求解
01
函数依赖的定义
函数依赖的定义
函数依赖
在关系模式R中,如果X→Y,则 称Y函数依赖于X。
完全函数依赖
如果X→Y,且Y中的每个值都至少 在X的一个值之后出现,则称Y完 全函数依赖于X。
它基于三个基本的公理:反身性、传 递性和合并性。
函数依赖的推理规则应用
函数依赖推理规则在数据库设计、数 据建模和数据完整性检查等方面具有 广泛的应用。
在数据建模方面,函数依赖推理规则 可以用于分析和验证数据模型中的函 数依赖关系,以确保数据模型的一致 性和完整性。
在数据库设计阶段,通过使用函数依 赖推理规则,可以验证关系模式的正 确性和数据的一致性,从而减少数据 冗余和数据不一致的问题。
在数据完整性检查方面,函数依赖推 理规则可以用于验证数据的完整性和 一致性,确保数据的准确性和可靠性 。
03
函数依赖在数据库设计中 的应用
数据库设计中的范式理论
范式理论是数据库设计中的重要 概念,它规定了数据库中表的结 构和关系,以减少数据冗余和提
高数据一致性。
范式理论包括第一范式(1NF) 、第二范式(2NF)、第三范式 (3NF)等,这些范式规定了表 中的列和行的要求,以确保数据

保持函数依赖

保持函数依赖

保持函数依赖
在关系数据库设计中,函数依赖是指一个或一组属性的值唯一确定了另一个或一组属性的值。

保持函数依赖是数据库设计的一个重要原则,它可以保证数据的完整性和一致性,减少数据冗余,提高查询效率。

以下是如何保持函数依赖的几点建议:
1.不要过度规范化
规范化是一种数据库设计技术,其目的是尽可能地消除冗余数据。

但是,过度规范化会破坏函数依赖,导致查询效率降低。

因此,设计时应避免规范化过度。

2.了解实际业务需求
在设计数据库时,必须了解实际业务需求,以便确定所需的表和列。

只有明确了业务需求,才能保持函数依赖,确保查询的正确性和高效性。

3.使用主键和外键
主键和外键是用于保持函数依赖的重要工具。

主键可以唯一标识每一条记录,而外键用于建立表与表之间的关系。

正确使用主键和外键可以防止重复数据的出现,同时减少查询的步骤,提高查询效率。

4.避免冗余数据
冗余数据是指在一个数据表中,多个记录中有相同的数据,这会导致数据重复和不一致。

使用主键和外键可以避免冗余数据的出现,同时减少查询的时间。

5.合理使用索引
索引是优化查询效率的一种工具,可以加快查询速度。

然而,过多或错误的使用索引也会导致查询效率降低。

因此,在使用索引时,应该根据具体情况进行选择,避免过度使用或滥用。

总之,保持函数依赖是数据库设计的一个核心原则。

正确使用主键和外键、避免冗余数据、合理使用索引和了解实际业务需求等方法
都是保持函数依赖的重要工具。

在设计数据库时,应尽量遵循这些原则以保证查询效率和数据的完整性。

关系模式中属性与属性之间的函数依赖

关系模式中属性与属性之间的函数依赖
关系模式中属性与属性之间的函数依赖
Functional Dependencies between Attributes and Attributes in a Relational Schema
2
知识点内容概要
函数依赖定义 函数依赖与关键码关系 函数依赖分类模式,X,Y是U的子集,r是R的一具体关系,如果对 r的任意两个元组s、t,由s[X]=t[X],能导致s[Y]=t[Y],则称X函数决定Y,或Y函数 依赖于X,记为X→Y。称为函数依赖(Functional Dependency,FD)。
9 拓展练习
设关系模式R(S#,C#,GRADE,TNAME,TADDR),其属性分别表示学生学号、选修课 程的编号、成绩、任课教师姓名、任课教师地址。如果规定,每个学生每学一门课只有 一个成绩; 每门课只有一个教师任教;每个教师只有一个地址(此处不允许教师同名同 姓)。 试写出关系模式R基本的函数依赖和候选键。
8 函数依赖的分类
完全函数依赖 部分函数依赖
定义:如果X→Y成立,但对X的任意真子集X1,都有X1→Y不成立,称Y完全函数 依赖于X,否则,称Y部分函数依赖于X。
传递函数依赖 定义:设X,Y,Z是关系模式R的不同属性集,若X→Y(并且Y→X不成立),
Y→Z(Z∉Y),称X传递决定Z,或称Z传递函数依赖于X。
6 函数依赖与关键码的关系
推理:关系模式R(U),若X→U,则X是R的超键。而X任一子集X1,X1→U不成立, 则X是R的候选键。
对“学生选课”关系模式R(sno,sname,sex,cno,cname,score) 有FD: (sno,cno)→(sno,sname,sex,cno,cname,score) 而 sno→(sno,sname,sex,cno,cname,score) 不成立,即(sno,cno)为关系模式 R(U)的超键,也是候选键。 有FD:(sno,sname,cno)→(sno,sname,sex,cno,cname,score),但因有FD: (sno,cno)→(sno,sname,sex,cno,cname,score),即(sno,sname,cno)只是超键而非 候选键
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

C4
85
S4
李思

自动化 刘伟
C1
93
图4.1 关系SCD
返回
7
➢根据上述的语义规定,并分析以上关系中的数据,我们 可以看出:(SNO,CNO)属性的组合能唯一标识一个元组, 所以(SNO,CNO)是该关系模式的主关系键。但在进行数据 库的操作时,会出现以下几方面的问题。
1. 数据冗余。每个系名和系主任的名字存储的次数等 于该系的学生人数乘以每个学生选修的课程门数,同 时学生的姓名、年龄也都要重复存储多次,数据的冗 余度很大,浪费了存储空间。
模式转变为好的关系数据库模式,这就是关系的规范
化。
➢ 规范化又可以根据不同的要求而分成若干级别。
➢ 我们要设计的关系模式中的各属性是相互依赖、相互 制约的,这样才构成了一个结构严谨的整体。
➢ 因此在设计关模式时,必须从语义上分析这些依赖关 系。
➢ 数据库模式的好坏和关系中各属性间的依赖关系有关,
因此,我们先讨论属性间的依赖关系,然后再讨论关
➢ S中存储学生基本信息,与所选课程及系主任无关;
➢ D中存储系的有关信息,与学生无关;
➢ SC中存储学生选课的信息,而与所学生及系的有关信息无关。
➢ 与SCD相比,分解为三个关系模式后,数据的冗余度明 显降低。
➢ 当新插入一个系时,只要在关系D中添加一条记录。
➢ 当某个学生尚未选课,只要在关系S中添加一条学生记录,而 与选课关系无关,这就避免了插入异常。
AGE
DEPT
17
计算机
18
信息
20
信息
21
自动化
DDEPT
计算机 信息 自动化
MN 刘伟 王平 刘伟
SNSOC
CNO
SCORE
S1
C1
90
S1
C2
85
S2
C5
57
S2
C6
80
S2
C7
S2
C5
70
S3
C1
0
S3
C2
70
S3
C4
85
S4
C1
93
图4.2 分解后的关系模式
返回
11
➢ 在以上三个关系模式中,实现了信息的某种程度的分 离,
系规范化理论。
返回
14
4.2 函数依赖
4.2.1 函数依赖的定义及性质
➢ 关系模式中的各属性之间相互依赖、相互制约的联系 称为数据依赖。
➢ 数据依赖一般分为函数依赖、多值依赖和连接依赖。
➢ 其中,函数依赖是最重要的数据依赖。
➢ 函数依赖(Functional Dependency)是关系模式中属 性之间的一种逻辑依赖关系。
➢ 那么,怎样才能得到一个好的关系模式呢?
➢ 我们把关系模式SCD分解为下面三个结构简单的关系模 式,如图4.2所示。 ➢ 学生关系S(SNO,SN,AGE,DEPT) ➢ 选课关系SC(SNO,CNO,SCORE) ➢ 系关系D(DEPT,MN)
返回
10
S SNO
S1 S2 S3 S4
SN 赵亦 钱尔 孙珊 李思
性约束还规定,主关系键的值不能部分为空,同样不
能进行插入操作。
返回
8
3. 删除异常。
➢某系学生全部毕业而没有招生时,删除全部学生的 记录则系名、系主任也随之删除,而这个系依然存在, 在数据库中却无法找到该系的信息。
➢另外,如果某个学生不再选修C1课程,本应该只删 去C1,但C1是主关系键的一部分,为保证实体完整性, 必须将整个元组一起删掉,这样,有关该学生的其它 信息也随之丢失。
2.函数依赖是语义范畴的概念。
➢ 我们只能根据语义来确定一个函数依赖,而不能按照其形式 化定义来证明一个函数依赖是否成立。
➢ 例如,对于关系模式S,当学生不存在重名的情况下,可以得 到: SN→AGE SN→DEPT
➢ 这种函数依赖关系,必须是在没有重名的学生条件下才成立 的,否则就不存在函数依赖了。
返回
4
➢ 关系数据库的规范化理论主要包括三个方面的内容:
➢ 函数信赖 ➢ 范式(Normal Form) ➢ 模式设计
➢ 其中,函数信赖起着核心的作用,是模式分解和模式 设计的基础,范式是模式分解的标准。
4.1.2 关系模式的存储异常问题
➢ 数据库的逻辑设计为什么要遵循一定的规范化理论? ➢ 什么是好的关系模式? ➢ 某些不好的关系模式可能导致哪些问题? ➢ 下面通过例子进行分析:
返回
5
例如,要求设计教学管理数据库,其关系模式SCD如下:
SCD(SNO,SN,AGE,DEPT,MN,CNO,SCORE)
➢ 其中,SNO表示学生学号,SN表示学生姓名,AGE表示 学生年龄,DEPT表示学生所在的系别,MN表示系主任 姓名,CNO表示课程号,SCORE表示成绩。
根据实际情况,这些数据有如下语义规定:
第3章 关系数据模型(关系 数据库理论)
花些时间设计你的数据库 能治疗你的头疼! 也不会在运行数据库的时候不断出现让你 头疼的问题!
返回
1
本章概要
➢ 前面已经讲述了关系数据库、关系模型的基本概念以 及E/R转换到关系模式。
➢ 如何使用关系模型设计关系数据库,也就是面对一个 现实问题,如何选择一个比较好的关系模式的集合, 每个关系又应该由哪些属性组成。这属于数据库设计 的问题,确切地讲是数据库逻辑设计的问题。
1. 尽可能少的数据冗余。 2. 没有插入异常。 3. 没有删除异常。 4. 没有更新异常。
返回
13
➢ 但要注意,一个好的关系模式并不是在任何情况下都 是最优的,
➢ 比如查询某个学生选修课程名及所在系的系主任时,要通过 连接,而连接所需要的系统开销非常大,因此要以实际设计
的目标出发进行设计
➢ 如何按照一定的规范设计关系模式,将结构复杂的关 系分解成结构简单的关系,从而把不好的关系数据库
返回
3
➢ 在关系数据库系统中,关系模型包括一组关系 模式,各个关系不是完全孤立的,数据库的设 计较层次和网状模型更为重要。
➢ 如何设计一个适合的关系数据库系统,关键是 关系数据库模式的设计,一个好的关系数据库 模式应该包括多少关系模式,而每一个关系模 式又应该包括哪些属性,又如何将这些相互关 联的关系模式组建一个适合的关系模型,这些 工作决定了到整个系统运行的效率,也是系统 成败的关键所在,所以必须在关系数据库的规 范化理论的指导下逐步完成。
返回
6
SNO
SN
AGE
DEPT
MN
CNO
SCORE
S1
赵亦
17
计算机 刘伟
C1
90
S1
赵亦
17
计算机 刘伟
C2
85
S2
钱尔
18
信息
王平
C5
57
S2
钱尔
18
信息
王平
C6
80
S2
钱尔
18
信息
王平
C7
70
S2
钱尔
18
信息
王平
C5
70
S3
孙珊
20
信息
王平
C1
0
S3
孙珊
20
信息
王平
C2
70
S3
孙珊
20
信息
王平
➢对于关系模式SCD
U={SNO,SN,AGE,DEPT,MN,CNO,SCORE}
F={SNO→SN,SNO→AGE,SNO→DEPT}
➢一个SNO有多个SCORE的值与其对应,因此SCORE不能唯 一 地 确 定 , 即 SCORE 不 能 函 数 依 赖 于 SNO , 所 以 有 : SNO SCORE。
➢ 所以函数依赖反映了一种语义完整性约束。
返回
17
3.函数依赖与属性之间的联系类型有关。
(1)在一个关系模式中,如果属性X与Y有1:1联系时,则存在 函数依赖X→Y,Y→X,即X Y。
例如,当学生无重名时,SNO SN。
(2)如果属性X与Y有1:m的联系时,则只存在函数依赖X→Y。 例 如 , SNO 与 AGE , DEPT 之 间 均 为 1:m 联 系 , 所 以 有
➢ 本节讲述关系数据库规范化理论,这是数据库逻辑设 计的理论依据。
➢ 要求了解规范化理论的研究动机及其在数据库设计中的作用,
➢ 掌握函数依赖的有关概念,
➢ 第一范式、第二范式、第三范式的定义,
➢ 重点掌握并能够灵活运用关系模式规范化的方法和关系模式 分解的方法,这也是本章的难点。
返回
2
4.1 规范化问题的提出
➢ 在这里,我们说SNO决定函数(SN,AGE,DEPT),或者说 (SN,AGE,DEPT)函数依赖于SNO。
返回
15Biblioteka 下面给函数依赖的形式化定义。
4.2.1.1 函数依赖的定义
定义4.1 设关系模式R(U,F),U是属性全集,F是U上的 函数依赖集,X和Y是U的子集,如果对于R(U)的任意一个 可能的关系r,对于X的每一个具体值,Y都有唯一的具体 值与之对应,则称X决定函数Y,或Y函数依赖于X,记作 X→Y。我们称X为决定因素,Y为依赖因素。当Y不函数依 赖于X时,记作:X Y。当X→Y且Y→X时,则记作:X Y。
➢ 例如在上一节介绍的关系模式SCD中,SNO与SN、AGE、DEPT之 间都有一种依赖关系。
➢ 由于一个SNO只对应一个学生,而一个学生只能属于一个系, 所以当SNO的值确定之后,SN,AGE,DEPT的值也随之被唯一
的确定了。
➢ 这类似于变量之间的单值函数关系。设单值函数Y=F(X),自 变量X的值可以决定一个唯一的函数值Y。
相关文档
最新文档