版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
数据库系统概论第三章关系数据库第三章关系数据库3.1关系的数学定义3.2关系的完整性3.3关系代数关系数据库简介系统而严格地提出关系模型的是美国IBM公司的E.F.Codd1970年提出关系数据模型E.F.Codd,“ARelationalModelofDataforLargeSharedDataBanks”,《CommunicationoftheACM》,1970之后,提出了关系代数和关系演算的概念1972年提出了关系的第一、第二、第三范式1974年提出了关系的BC范式关系数据库简介关系数据库应用数学方法来处理数据库中的数据80年代后,关系数据库系统成为最重要、最流行的数据库系统3.1关系的数学定义⒈域(Domain)
2.笛卡尔积(CartesianProduct)
3.关系(Relation)
4.关系模式(RelationSchema)⒈域(Domain)域是一组具有相同数据类型的值的集合。例:整数实数介于某个取值范围的整数指定长度的字符串集合{‘男’,‘女’}2.笛卡尔积(CartesianProduct)1)
笛卡尔积给定一组域D1,D2,…,Dn,这些域中可以有相同的。D1,D2,…,Dn的笛卡尔积为:D1×D2×…×Dn={(d1,d2,…,dn)|di
Di,i=1,2,…,n}所有域的所有取值的一个组合不能重复笛卡尔积(续)例给出三个域:
D1=SUPERVISOR={张清玫,刘逸}
D2=SPECIALITY={计算机专业,信息专业}D3=POSTGRADUATE={李勇,刘晨,王敏}则D1,D2,D3的笛卡尔积为:D1×D2×D3={(张清玫,计算机专业,李勇),(张清玫,计算机专业,刘晨),
(张清玫,计算机专业,王敏),(张清玫,信息专业,李勇),
(张清玫,信息专业,刘晨),(张清玫,信息专业,王敏),
(刘逸,计算机专业,李勇),(刘逸,计算机专业,刘晨),
(刘逸,计算机专业,王敏),(刘逸,信息专业,李勇),
(刘逸,信息专业,刘晨),(刘逸,信息专业,王敏)}笛卡尔积(续)2)元组(Tuple)笛卡尔积中每一个元素(d1,d2,…,dn)叫作一个n元组(n-tuple)或简称元组。
3)
分量(Component)笛卡尔积元素(d1,d2,…,dn)中的每一个值di叫作一个分量。
笛卡尔积(续)4)
基数(Cardinalnumber)若Di(i=1,2,…,n)为有限集,其基数为mi(i=1,2,…,n),则D1×D2×…×Dn的基数M为:在上例中,基数:2×2×3=12,即D1×D2×D3共有2×2×3=12个元组笛卡尔积(续)5)笛卡尔积的表示方法笛卡尔积可表示为一个二维表。表中的每行对应一个元组,表中的每列对应一个域。在上例中,12个元组可列成一张二维表
3.关系(Relation)1)
关系D1×D2×…×Dn的子集叫作在域D1,D2,…,Dn上的关系,表示为
R(D1,D2,…,Dn)
R:关系名
n:关系的目或度(Degree)关系(续)例在表2.1的笛卡尔积中取出有实际意义的元组来构造关系关系:SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE)关系名,属性名假设:专业与导师:1:n,导师与研究生:1:n于是:SAP关系可以包含三个元组
{(张清玫,信息专业,李勇),
(张清玫,信息专业,刘晨),
(刘逸,信息专业,王敏)}
关系(续)2)
元组关系中的每个元素是关系中的元组,通常用t表示。3)
单元关系与二元关系当n=1时,称该关系为单元关系(Unaryrelation)。当n=2时,称该关系为二元关系(Binaryrelation)。关系(续)4)
关系的表示关系也是一个二维表,表的每行对应一个元组,表的每列对应一个域。关系(续)5)属性对每列起一个名字,称为属性(Attribute)。n目关系必有n个属性。关系(续)6)
码候选码(Candidatekey)若关系中的某属性(组)的值能唯一地标识一个元组,则称该属性组为候选码在最简单的情况下,候选码只包含一个属性。在最极端的情况下,关系模式的所有属性组是这个关系模式的候选码,称为全码(All-key)关系(续)主码若一个关系有多个候选码,则选定其中一个为主码(Primarykey)候选码的属性称为主属性(Primeattribute)。不包含在任何侯选码中的属性称为非码属性(Non-keyattribute)关系的性质①列是同质的(Homogeneous)每一列中的分量是同一类型的数据,来自同一个域②不同的列可出自同一个域其中的每一列称为一个属性不同的属性要给予不同的属性名上例中也可以只给出两个域:人(PERSON)={张清玫,刘逸,李勇,刘晨,王敏}专业(SPECIALITY)={计算机专业,信息专业}SAP关系的导师属性和研究生属性都从PERSON域中取值为了避免混淆,必须给这两个属性取不同的属性名,而不能直接使用域名。例如定义:导师属性名为SUPERVISOR-PERSON(或SUPERVISOR)研究生属性名为POSTGRADUATE-PERSON或(POSTGRADUATE)③列的顺序无所谓列的次序可以任意交换④任意两个元组不能完全相同由笛卡尔积的性质决定⑤行的顺序无所谓行的次序可以任意交换⑥每一个分量都必须是不可分的数据项。这是规范条件中最基本的一条4.关系模式关系模式是型关系是值关系模式是对关系的描述关系名属性构成属性来自的域属性与域之间的映象关系属性间的数据依赖关系集合关系模式可以形式化地表示为:
R(U,D,dom,F)
R关系名
U
组成该关系的属性名集合
D
属性组U中属性所来自的域
dom
属性向域的映象集合
F
属性间的数据依赖关系集合关系模式通常可以简记为
R(U)
或
R(A1,A2,…,An)
R关系名A1,A2,…,An属性名关系模式与关系关系模式对关系的描述静态的、稳定的关系关系模式在某一时刻的状态或内容动态的、随时间不断变化的关系模式和关系往往统称为关系通过上下文加以区别3.2关系的完整性一、实体完整性二、参照完整性三、用户定义的完整性一、实体完整性实体完整性规则(EntityIntegrity)若属性A是基本关系R的主属性,则属性A不能取空值实体完整性(续)注意实体完整性规则规定基本关系的所有主属性都不能取空值例选修(学号,课程号,成绩)“学号+课程号”为主码,则两个属性都不能取空值。二、参照完整性1.关系间的引用2.外码3.参照完整性规则1.关系间的引用在关系模型中实体及实体间的联系都是用关系来描述的,因此可能存在着关系与关系间的引用。例1学生实体、专业实体以及专业与学生间的一对多联系学生(学号,姓名,性别,专业号,年龄)专业(专业号,专业名)
学生(学号,姓名,性别,专业号,年龄)
专业(专业号,专业名)
关系间的引用(续)例2学生、课程、学生与课程之间的多对多联系学生(学号,姓名,性别,专业号,年龄)课程(课程号,课程名,学分)选修(学号,课程号,成绩)
学生学生选课课程关系间的引用(续)例3学生实体及其内部的领导联系(一对多)
学生(学号,姓名,性别,专业号,年龄,班长)2.外码(ForeignKey)设F是基本关系R的一个或一组属性,但不是关系R的码。如果F与基本关系S的主码Ks相对应,则称F是基本关系R的外码基本关系R称为参照关系(ReferencingRelation)基本关系S称为被参照关系(ReferencedRelation)或目标关系(TargetRelation)。外码(续)说明外码并不一定要与相应的主码同名当外码与相应的主码属于不同关系时,往往取相同的名字,以便于识别3.参照完整性规则若属性(或属性组)F是基本关系R的外码它与基本关系S的主码Ks相对应(基本关系R和S不一定是不同的关系),则对于R中每个元组在F上的值必须为:
或者取空值(F的每个属性值均为空值)
或者等于S中某个元组的主码值。参照完整性规则(续)学生关系中每个元组的“专业号”属性只取下面两类值:(1)空值,表示尚未给该学生分配专业(2)非空值,这时该值必须是专业关系中某个元组的“专业号”值,表示该学生不可能分配到一个不存在的专业中参照完整性规则(续)
选修(学号,课程号,成绩)“学号”和“课程号”是选修关系中的主属性按照实体完整性和参照完整性规则,它们只能取相应被参照关系中已经存在的主码值参照完整性规则(续)学生(学号,姓名,性别,专业号,年龄,班长)“班长”属性值可以取两类值:(1)空值,表示该学生所在班级尚未选出班长,或该学生本人即是班长;(2)非空值,这时该值必须是本关系中某个元组的学号值三、用户定义的完整性用户定义的完整性是针对某一具体关系数据库的约束条件,反映某一具体应用所涉及的数据必须满足的语义要求。用户定义的完整性(续)例:
课程(课程号,课程名,学分)“课程名”属性必须取唯一值非主属性“课程名”也不能取空值“学分”属性只能取值{1,2,3,4}3.3关系代数
概述
传统的集合运算专门的关系运算概述1.关系代数2.关系代数运算的三个要素3.关系代数运算的分类4.表示记号概述1.关系代数 一种抽象的查询语言 用对关系的运算来表达查询概述(续)2.关系代数运算的三个要素运算对象:关系运算结果:关系运算符:四类概述(续)集合运算符将关系看成元组的集合运算是从关系的“水平”方向即行的角度来进行专门的关系运算符不仅涉及行而且涉及列算术比较符辅助专门的关系运算符进行操作逻辑运算符辅助专门的关系运算符进行操作集合运算符∪-∩×并差交广义笛卡尔积比较运算符>≥<≤=≠大于大于等于小于小于等于等于不等于运算符含义运算符含义表2.4关系代数运算符
概述(续)专门的关系运算符σπ
÷选择投影连接除逻辑运算符
∧∨非与或运算符含义运算符含义表2.4关系代数运算符(续)
概述(续)概述(续)3.关系代数运算的分类 传统的集合运算并、差、交、广义笛卡尔积 专门的关系运算选择、投影、连接、除概述(续)4.表示记号
(1)R,t
R,t[Ai]
设关系模式为R(A1,A2,…,An)它的一个关系设为R。t
R表示t是R的一个元组t[Ai]则表示元组t中对应于属性Ai的一个分量
概述(续)(2)A,t[A],A
若A={Ai1,Ai2,…,Aik},其中Ai1,Ai2,…,Aik是A1,A2,…,An中的一部分,则A称为属性列或属性组。t[A]=(t[Ai1],t[Ai2],…,t[Aik])表示元组t在属性列A上诸分量的集合。A则表示{A1,A2,…,An}中去掉{Ai1,Ai2,…,Aik}后剩余的属性组。
概述(续)(3)tr
tsR为n目关系,S为m目关系。tr
R,ts
S,
tr
ts称为元组的连接。它是一个n+m列的元组,前n个分量为R中的一个n元组,后m个分量为S中的一个m元组。概述(续)(4)象集Zx
给定一个关系R(X,Z),X和Z为属性组。当t[X]=x时,x在R中的象集(ImagesSet)为:
Zx={t[Z]|t
R,t[X]=x}
它表示R中属性组X上值为x的诸元组在Z上分量的集合。3.3.1传统的集合运算并差交广义笛卡尔积1.并(Union)R和S具有相同的目n(即两个关系都有n个属性)相应的属性取自同一个域R∪S
仍为n目关系,由属于R或属于S的元组组成
R∪S={t|t
R∨t
S}并(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b2c2a1b3c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∪S
2.差(Difference)R和S具有相同的目n相应的属性取自同一个域R-S
仍为n目关系,由属于R而不属于S的所有元组组成
R-S={t|t
R∧t
S}差(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1ABCa1b2c2a1b3c2a2b2c1RSR-S
3.交(Intersection)R和S具有相同的目n相应的属性取自同一个域R∩S仍为n目关系,由既属于R又属于S的元组组成
R∩S={t|t
R∧t
S} R∩S=R–(R-S)交(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∩S
4.广义笛卡尔积Rn目关系,k1个元组Sm目关系,k2个元组R×S
列:(n+m)列的元组的集合元组的前n列是关系R的一个元组后m列是关系S的一个元组行:k1×k2个元组R×S={tr
ts|tr
R∧ts
S}广义笛卡尔积(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b1c1a1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a2b2c1a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR×S
ABCa1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1§3.3.2专门的关系运算选择投影连接除1.选择(Selection)1)选择又称为限制(Restriction)2)选择运算符的含义在关系R中选择满足给定条件的诸元组
σF(R)={t|t
R∧F(t)='真'}F:选择条件,是一个逻辑表达式,基本形式为:
[(]
X1θY1[)][φ[(]X2θY2[)]]…θ:比较运算符(>,≥,<,≤,=或<>)X1,Y1等:属性名、常量、简单函数;属性名也可以用它的序号来代替;φ:逻辑运算符(∧或∨)[]:表示任选项…:表示上述格式可以重复下去选择(续)3)选择运算是从行的角度进行的运算4)举例 设有一个school数据库,包括student、teacher、course和score。σ选择(续)[例1]查询95031班全体学生
σclass
='95031'(student)
或σ5='95031'(student)结果:选择(续)[例2]查询在1975-1-1后出生的学生
σsbirthday>'1975-1-1'(student)
或σ4>1975-1-1'(student)
结果:
2.投影(Projection)
1)投影运算符的含义从R中选择出若干属性列组成新的关系
πA(R)={t[A]|t
R} A:R中的属性列
2.投影(Projection)
2)投影操作主要是从列的角度进行运算但投影之后不仅取消了原关系中的某些列,而且还可能取消某些元组(避免重复行)π投影(续)3)举例[例3]查询学生的姓名和所在班号 即求Student关系上学生姓名和所在系两个属性上的投影
πsname,class(student)
或π2,5(student)投影(续)结果:投影(续)[例4]查询学生关系Student中都有哪些班
πclass(Student)
结果:3.连接(Join)
1)连接也称为θ连接2)连接运算的含义从两个关系的笛卡尔积中选取属性间满足一定条件的元组
RS={|tr
R∧ts
S∧tr[A]θts[B]}A和B:分别为R和S上度数相等且可比的属性组θ:比较运算符
连接运算从R和S的广义笛卡尔积R×S中选取(R关系)在A属性组上的值与(S关系)在B属性组上值满足比较关系的元组。
AθBtr
ts
连接(续)3)两类常用连接运算等值连接(equijoin)什么是等值连接θ为“=”的连接运算称为等值连接
等值连接的含义从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组,即等值连接为:
RS={|tr
R∧ts
S∧tr[A]=ts[B]}A=Btr
ts
连接(续)自然连接(Naturaljoin)
什么是自然连接自然连接是一种特殊的等值连接两个关系中进行比较的分量必须是相同的属性组在结果中把重复的属性列去掉自然连接的含义
R和S具有相同的属性组B
R
S={|tr
R∧ts
S∧tr[B]=ts[B]}tr
ts连接(续)4)一般的连接操作是从行的角度进行运算。 自然连接还需要取消重复列,所以是同时从行和列的角度进行运算。
AθBRS连接(续)5)举例
[例5]ABCa1b15a1b26a2b38a2b412BEb13b27b310b32b52RS连接(续)R
S
AR.BCS.BEa1b15b27a1b15b310a1b26b27a1b26b310a2b38b310
C<E连接(续)
等值连接R
SR.B=S.B
AR.BCS.BEa1b15b13a1b26b27a2b38b310a2b38b32连接(续)
自然连接R
S
ABCEa1b153a1b267a2b3810a2b3824.除(Division)
给定关系R(X,Y)
和S(Y,Z),其中X,Y,Z为属性组。R中的Y与S中的Y可以有不同的属性名,但必须出自相同的域集。R与S的除运算得到一个新的关系P(X),P是R中满足下列条件的元组在X属性列上的投影:元组在X上分量值x的象集Yx包含S在Y上投影的集合。
R÷S={tr
[X]|tr
R∧πY(S)
Yx}
Yx:x在R中的象集,x=tr[X]除(续)2)除操作是同时从行和列角度进行运算
3)举例
[例6](p62)÷RS除(续)ABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1BCDb1c2d1b2c1d1b2c3d2R÷SAa1RS分析:在关系R中,A可以取四个值{a1,a2,a3,a4}a1的象集为{(b1,c2),(b2,c3),(b2,c1)}
a2的象集为{(b3,c7),(b2,c3)}
a3的象集为{(b4,c6)}
a4的象集为{(b6,c6)}S在(B,C)上的投影为
{(b1,c2),(b2,c1),(b2,c3)}只有a1的象集包含了S在(B,C)属性组上的投影所以R÷S={a1}5.综合举例
以学生-课程数据库为例[例7]查询至少选修3-105号课程和3-245号课程的学生号码
5.综合举例
[例7]查询至少选修1号课程和3号课程的学生号码
首先建立一个临时关系K:
然后求:πo(score)÷K
cno
3-105
3-245综合举例(续)例7续πo(score)
101象集{3-105,6-166}
103象集{3-105,3-245}
105象集{3-105,3-245}
107象集{3-105,6-166}
108象集{3-105,6-166}
109象集{3-105,3-245}πcno(K)={3-105,3-245}
于是:πo(score)÷K={103,105,109}SELECTsnoFROMscoreWHEREcno='3-105'ANDsnoIN(SELECTsnoFROMscoreWHEREcno='3
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 心力衰竭患者护理查房课件
- 下肢静脉血栓的护理查房课件
- 2026年光伏技术应用模拟试题(含答案)
- 2026年电建公司考试模拟试卷(含答案)
- 2026年电子工程师职业资格认证模拟试卷及答案详解
- 2026年北大研究生校规校纪考试题库-及答案详解
- 2026年历届对外汉语教师资格考试模拟题及答案详解
- 2026年电机车修配工适应性考核模拟试卷及答案详解
- 2026年电大社交模拟试卷(含答案)
- 2026年地质大队安全培训模拟试卷(含答案)
- 北京中学2025-2026学年九年级上学期语文期中试卷(含答案)
- 2025全国新闻记者职业资格考试(新闻采编实务)经典试卷带答案
- 2026-2027学年山东省九上语文期中模拟卷
- 2026年中国工商银行秋季校园招聘考试真题及参考答案(完整版解析)
- 国开2026年秋《公共行政学》形考任务1-3答案
- 美国白宫 科学:一个新的黄金时代 致总统的报告
- 新三上数学北师版晨读晚默必背知识点
- 老年专科护士汇报
- 医学26年:小肠细菌过度生长 查房课件
- 上证所信息网络有限公司招聘笔试题库2026
- 中国微波消融治疗消化肿瘤指南(2026版)
评论
0/150
提交评论