关系数据库关系代数运算

关于关系数据库关系代数运算第一页，共八十一页，编辑于2023年，星期日学习要点关系模型关系数据结构的形式化定义关系完整性关系代数关系演算第二页，共八十一页，编辑于2023年，星期日序言值得记住的1970年，E.F.Codd提出关系数据库理论基础E.F.Codd,“ARelationalModelofDataforLargeSharedDataBanks”,《CommunicationoftheACM》,1970关系数据库试验系统SystemR,INGRES关系数据库应用数学方法来处理数据库中的数据,80年代后成为最重要、最流行的数据库系统典型实验系统SystemR,UniversityINGRES典型商用系统ORACLE,SYBASE,INFORMIX,DB2,INGRES第三页，共八十一页，编辑于2023年，星期日2.1关系模型概述关系模型由以下三部分组成关系数据结构关系（一张二维表）关系操作：查询操作选择(Select)、投影(Project)、连接(Join)、除(Divide)、并(Union)、交(Intersection)、差(Difference)更新操作增加(Insert)、删除(Delete)、修改(Update)关系完整性约束实体完整性、参照完整性、用户定义完整性关系的两个不变性,由系统自动支持由应用语义约束第四页，共八十一页，编辑于2023年，星期日关系语言关系操作特点操作对象和结果都是集合高度非过程化的语言，不必借助循环结构就可以完成数据操作，能嵌入高级语言中使用关系数据语言关系代数语言关系演算语言具有关系代数和关系演算双重特点的语言元组关系演算语言域关系演算语言例如ISBL例如APLHA,QUEL例如QBE例如SQL三种语言在表达能力上完全等价第五页，共八十一页，编辑于2023年，星期日关系模型语言关系代数语言把关系当作集合，用集合运算和特殊的关系运算来表达查询要求和条件是一种抽象的查询语言关系演算语言用谓词来表达查询要求和条件谓词变元的基本对象可以是元组变量或域变量，故可分为元组关系演算和域关系演算两类是一种抽象的查询语言SQL介于关系代数和关系演算之间集DDL、DML和DCL一身的关系数据语言第六页，共八十一页，编辑于2023年，星期日2.2关系数据结构的形式化定义关系模型建立在集合代数基础上，从集合论角度讨论关系的形式化定义定义1：域(Domain)－形式化表示为D一组具有相同数据类型的值的集合，如整数、实数等。定义2：笛卡尔积(CartesianProduct)P47一组域D1,D2,…Dn的笛卡尔积(d1,d2,d3,…dn)称为一个元组，di称为一个分量，集合中唯一元素的数量是集合的基数

若Di的基数为Mi，则笛卡尔集的基数M为第七页，共八十一页，编辑于2023年，星期日笛卡尔积计算实例例1：D1={甲,乙},D2={1,2},D3={a,b,c}1）D1,D2,D3基数分别是多少？2）D1×D2＝？（基数？）3）D1×D2×D3＝？（基数？）笛卡尔集可表示为一个二维表请将例子表示为二维表第八页，共八十一页，编辑于2023年，星期日例2．已知三个域D1=导师集合＝{张清正,刘逸}D2=专业集合＝{计算机,信息}D3=学生集合＝{李勇,刘晨,王敏}计算思考1）基数？2）计算D1×D2×D3＝？基数？3）计算结果中的元组有无实际意义？导师专业研究生张清正计算机李勇张清正计算机刘晨张清正计算机王敏张清正信息李勇张清正信息刘晨张清正信息王敏刘逸计算机李勇刘逸计算机刘晨刘逸计算机王敏刘逸信息李勇刘逸信息刘晨刘逸信息王敏D1,D2,D3的笛卡尔积（上图）第九页，共八十一页，编辑于2023年，星期日关系数据结构的形式化定义

定义3：关系D1×D2×···×Dn的子集叫做在D1,D2,…,Dn上的关系，表示为R(D1,D2,…,Dn)n：关系的度或目，表的列数，一般称n元关系相关术语候选码：能够唯一标识一个元组的属性组一个关系可以有多个候选码主码：一个关系中选定的一个候选码主属性：主码的各个属性非主属性（非码属性）：不包含在任何候选码中的属性全码：若关系模式的所有属性组是这个关系模式的候选码请举例第十页，共八十一页，编辑于2023年，星期日三类关系基本关系（基本表或基表）实际存在的表，是实际存储数据的逻辑表示查询表查询结果对应的表视图表由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据第十一页，共八十一页，编辑于2023年，星期日例．已知三个域D1=导师集合S＝{张清正,刘逸}D2=专业集合SP＝{计算机,信息}D3=学生集合P＝{李勇,刘晨,王敏}计算思考从笛卡尔集中取出一个子集，选择有意义的结果组成关系R＝(导师，专业，研究生)一个研究生只能有一个专业，如李勇和王敏是计算机专业、刘晨是信息专业导师S专业SP研究生P张清正计算机李勇张清正计算机刘晨张清正计算机王敏张清正信息李勇张清正信息刘晨张清正信息王敏刘逸计算机李勇刘逸计算机刘晨刘逸计算机王敏刘逸信息李勇刘逸信息刘晨刘逸信息王敏D1,D2,D3的笛卡尔积（上图）现在导师与研究生是什么关系？限定一个学生只能有一个导师，如张是计算机导师，刘是信息专业导师现在导师与研究生是什么关系？第十二页，共八十一页，编辑于2023年，星期日关系关系的限定及扩充关系数据中的关系是有限集合为关系的每一列附以属性名以取消关系元组的有序性关系的性质列同质，即每一列是同一类型的数据不同的列可出自同一个域，每一列为一个属性，不同的属性被赋予不同的属性名列的次序可以任意交换任意两个元组不能完全相同行的次序可以任意交换分量必须取原子值，即不可再分在许多实际关系数据库产品中，基本表并不完全具有这六条性质。第十三页，共八十一页，编辑于2023年，星期日举例列的顺序无所谓，次序可以任意交换遵循这一性质的数据库产品(如ORACLE)，增加新属性时，永远是插至最后一列但也有许多关系数据库产品没有遵循这一性质，例如FoxPro仍然区分了属性顺序任意两个元组不能完全相同，由笛卡尔积的性质决定但许多关系数据库产品没有遵循这一性质，例如Oracle，FoxPro等都允许关系表中存在两个完全相同的元组，除非用户特别定义了相应的约束条件第十四页，共八十一页，编辑于2023年，星期日举例行的顺序无所谓，行的次序可以任意交换遵循这一性质的数据库产品(如ORACLE)，插入一个元组时永远插至最后一行但也有许多关系数据库产品没有遵循这一性质，例如FoxPro仍然区分了元组的顺序第十五页，共八十一页，编辑于2023年，星期日关系模式关系模式是对关系的描述，形式化表示为R(U,D,dom,F)U：组成该关系的属性名集合D：属性组U中属性所来自的域dom：属性向域的映象集合，如属性的类型、长度F：属性间数据的依赖关系集合★可简记为R(U)或R(A1,A2,…,An)，其中Ai为属性名关系模式与关系关系模式是型，是对关系的描述，是静态的，稳定的关系是值，由赋予它的元组语义来确定的，是动态的，不断变化的,是关系模式在某一时刻的状态或内容★实际应用中常常将关系模式和关系都称为关系第十六页，共八十一页，编辑于2023年，星期日关系数据库在给定应用领域中，所有表示实体及实体之间联系的关系的集合构成一个关系数据库关系数据库也有型和值之分关系数据库的型称为关系数据库模式，是对关系数据库的描述若干域的定义在这些域上定义的若干关系模式关系数据库的值是这些关系模式在某一时刻对应的关系的集合，通常简称为关系数据库第十七页，共八十一页，编辑于2023年，星期日课堂思考给出导师、学生、专业三个实体可能组成的关系数据库及其概念模型（ER图）第十八页，共八十一页，编辑于2023年，星期日2.3关系的完整性实体完整性参照完整性用户定义完整性

关系模型必须满足，称为关系的不变性由关系数据库系统自动支持第十九页，共八十一页，编辑于2023年，星期日实体完整性规则：若属性A是基本关系R的主属性，则属性A不能取空值说明：基本关系的所有主属性不能取空值，而不仅是主码整体不能取空值依据：现实世界的实体是唯一可分的例：学生（学号，姓名，性别，专业号，年龄）课程（课程号，课程名，学分）选修（学号，课程号，成绩）第二十页，共八十一页，编辑于2023年，星期日参照完整性关系间的引用外码参照完整性规则第二十一页，共八十一页，编辑于2023年，星期日关系间的引用在关系模型中实体及实体间的联系都是用关系来描述的，因此可能存在着关系与关系间的引用例1学生实体、专业实体以及专业与学生间的一对多联系学生（学号，姓名，性别，专业号，年龄）专业（专业号，专业名）第二十二页，共八十一页，编辑于2023年，星期日关系间的引用例2学生、课程、学生与课程之间的多对多联系学生（学号，姓名，性别，专业号，年龄）课程（课程号，课程名，学分）选修（学号，课程号，成绩）第二十三页，共八十一页，编辑于2023年，星期日关系间的引用例3学生实体及其内部的领导联系(一对多)

学生（学号，姓名，性别，专业号，年龄，班长）第二十四页，共八十一页，编辑于2023年，星期日外码（ForeignKey）外码设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码被参照关系ReferencedRelation或：目标关系TargetRelation参照关系ReferencingRelation基本关系R(F，…)基本关系S（Ks，…）FKr第二十五页，共八十一页，编辑于2023年，星期日外码说明关系R和S不一定是不同的关系目标关系S的主码Ks和参照关系的外码F必须定义在同一个（或一组）域上关于取名外码并不一定要与相应的主码同名当外码与相应的主码属于不同关系时，往往取相同的名字，以便于识别第二十六页，共八十一页，编辑于2023年，星期日例１：学生实体与专业实体间的关系：学生（学号，姓名，性别，专业号，年龄）专业（专业号，专业名）外码例２：学生，课程，学生与课程之间的多对多联系：学生（学号，姓名，性别，专业号，年龄）课程（课程号，课程名，学分）选修（学号，课程号，成绩）学生关系专业关系专业号学生关系选修关系课程关系学号课程号参照完整性举例主码？外码？关系参照图参照关系被参照关系参照关系被参照关系被参照关系关系参照图第二十七页，共八十一页，编辑于2023年，星期日参照完整性举例例３：学生（学号，姓名，性别，专业号，年龄，班长）被参照关系参照关系外码第二十八页，共八十一页，编辑于2023年，星期日参照完整性规则已知基本关系R的外码F（与基本关系S的主码Ks相对应），每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值）或者等于S中某个元组的主码值。基本关系R(F，…)基本关系S（Ks，…）FKr第二十九页，共八十一页，编辑于2023年，星期日参照完整性规则举例“专业号”属性只取下面两类值：空值，表示尚未给该学生分配专业非空值，这时该值必须是专业关系中某个元组的“专业号”值，表示该学生不可能分配到一个不存在的专业中“学号”和“课程号”是选修关系中的主属性，按照实体完整性和参照完整性规则，它们只能取相应被参照关系中已经存在的主码值学生（学号，姓名，性别，专业号，年龄）选修（学号，课程号，成绩）第三十页，共八十一页，编辑于2023年，星期日参照完整性规则举例“班长”属性值可以取两类值：空值，表示该学生所在班级尚未选出班长，或该学生本人即是班长；非空值，这时该值必须是本关系中某个元组的学号值学生（学号，姓名，性别，专业号，年龄，班长）第三十一页，共八十一页，编辑于2023年，星期日用户定义的完整性用户定义的完整性是针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能第三十二页，共八十一页，编辑于2023年，星期日用户定义的完整性举例“课程名”属性必须取唯一值非主属性“课程名”也不能取空值“学分”属性只能取值{1，2，3，4}其它成绩：0－100之间身份证位数、身份证和生日对应关系课程(课程号，课程名，学分)第三十三页，共八十一页，编辑于2023年，星期日2.4关系代数关系代数语言用传统的集合运算和专门的关系运算来表达查询的抽象语言关系代数运算符关系代数表达式关系代数中有限次运算复合后形成的式子运算符含义运算符含义集合运算符并差交广义笛卡尔积比较运算符>>=<<==大于大于等于小于小于等于等于不等于专门的关系运算符选择投影连接除逻辑运算符非与或第三十四页，共八十一页，编辑于2023年，星期日表示记号R，tR，t[Ai]，A，t[A]，A设关系模式为R(A1，A2，…，An)，它的一个关系设为RtR表示t是R的一个元组t[Ai]则表示元组t中相应于属性Ai的一个分量若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}后剩余的属性组第三十五页，共八十一页，编辑于2023年，星期日传统的集合运算若R和S是同类关系(即它们都具有n个属性且相应属性取自同一个域)，则可进行并、差、交运算对两者进行集合运算之前，要对两者的属性列进行排序，保证两个关系的属性顺序相同由属于R或属于S的元组组成由属于R而不属于S的元组组成由既属于R又属于S的元组组成RS第三十六页，共八十一页，编辑于2023年，星期日表示记号trtsR为n目关系，S为m目关系trR，tsS，trts称为元组的连接。它是一个n+m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组第三十七页，共八十一页，编辑于2023年，星期日广义笛卡尔积R×S，其关系模式是R和S的模式的并集，是R和S的元组以所有可能的方式组合起来。当R和S有同名的属性，至少要为其中一个属性重新命名。数学描述：若关系R有k1个元组n个属性，关系S有k2个元组m个属性，则两个关系的广义笛卡尔积有k1*k2个元组n+m个属性(前n个属性来自于R，后m个属性来自于S)广义笛卡尔积和笛卡尔积的关系？运算对象？什么情况下二者等价？第三十八页，共八十一页，编辑于2023年，星期日RSABCa1b1c1a1b2c2a2b2c1a1b3c2RSABCa1b2c2a2b2c1R-SABCa1b1c1RS

R.AR.BR.CS.AS.BS.Ca1b1c1a1b2c2a1b1c1a1b3c2a1b1c1a2b2c1a1b2c2a1b2c2a1b2c2a1b3c2a1b2c2a2b2c1a2b2c1a1b2c2a2b2c1a1b3c2a2b2c1a2b2c1ＡＢＣa1b1c1a1b2c2a2b2c1RＡＢＣa1b2c2a1b3c2a2b2c1S第三十九页，共八十一页，编辑于2023年，星期日例子：学生—课程数据库例：包括Ｓ，Ｃ，ＳＣ三个关系用此例讲解专门的关系运算S(Sno,Sname,Sex,Sage,Sdept)C(Cno,Cname,Cpno,Ccredit)SC(Sno,Cno,Grade)第四十页，共八十一页，编辑于2023年，星期日

SnoSnameSsexSageSdept95001李勇男20CS95002刘晨女19IS95003王敏女18MA95004张立男19IS

SCnoCnameCpqoCcredit1数据库542数学2信息系统144操作系统635数据结构746数据处理27Pascal语言64CSnoCnoGrade9500119295001285950013889500229095002380SC第四十一页，共八十一页，编辑于2023年，星期日专门的关系运算投影：该运算作用于关系R将产生一个新关系S，S只具有R的某几个属性列选择：该运算作用于关系R也将产生一个新关系S，S的元组集合是R的一个满足某条件C的子集自然连接：其关系模式是R和S模式的并集。假设A1、A2、……An是R和S的模式中的公共属性，那么如果R的元组r和S的元组s在这些属性上取值都相同，r和s组合而成的元组就归入该自然连接中θ连接（包含等值连接）：先将R和S笛卡儿积，然后从R×S的元组中选择满足条件θ的元组集合第四十二页，共八十一页，编辑于2023年，星期日专门的关系运算：选择记号：tR表示t是R的一个元组选择:从关系R中选取使逻辑表达式F为真的元组，行选。记作逻辑表达式F由逻辑运算符连接算术表达式逻辑运算符：算术表达式：基本形式为“X1Y1”表示比较运算符（＞，≥，＜，≤，＝或<>）X1,Y1是属性名或常量或简单函数，属性名可以用它的序号来代替例子：F＝Sage<20或F=4<20S(Sno,Sname,Sex,Sage,Sdept)第四十三页，共八十一页，编辑于2023年，星期日选择运算举例选择运算是从行的角度进行的运算σ学号Sno姓名Sname性别Ssex年龄Sage系Sdept95001李勇男20CS95002刘晨女19IS95003王敏女18MA95004张立男19ISSnoSnameSsexSageSdept95002刘晨女19IS95004张立男19IS查询信息系（IS系）全体学生σSdept

='IS'(Student)σ5='IS'(Student)第四十四页，共八十一页，编辑于2023年，星期日选择运算例查询年龄小于20岁的学生：

Sdept＜２０(Student)或

４＜２０(Student)课堂练习：1）查询CS系的所有女生2）查询先行课代号为6的所有课程SnoSnameSsexSageSdept95002刘晨女19IS95003王敏女18MA95004张立男19IS第四十五页，共八十一页，编辑于2023年，星期日关系代数：投影定义：从关系R中选择若干属性列组成新的关系，列选其中

表示元组t中相应于属性Ai的一个分量。第四十六页，共八十一页，编辑于2023年，星期日投影（Projection）投影操作主要是从列的角度进行运算但投影之后不仅取消了原关系中的某些列，而且还可能取消某些元组（避免重复行）π第四十七页，共八十一页，编辑于2023年，星期日投影运算例查询学生的姓名和所在系：

Sname,Sdept(Student)或2,5(Student)查询学生关系Ｓ中有哪些系：

Sdept(Student)或5(Student)SnameSdept李勇CS刘晨IS王敏MA张立ISSdeptCSISMA第四十八页，共八十一页，编辑于2023年，星期日关系代数：连接连接从关系R和S的笛卡尔积中选取属性间满足条件的元组其中A和B分别是关系R和S上可比的属性组，是比较运算符等值连接从关系R和S的笛卡尔积中选取A,B属性值相等的元组自然连接特殊的等值连接，R和S具有相同的属性组B，在结果中去掉重复的属性列第四十九页，共八十一页，编辑于2023年，星期日连接一般的连接操作是从行的角度进行运算自然连接还需要取消重复列，所以是同时从行和列的角度进行运算

AθBRS第五十页，共八十一页，编辑于2023年，星期日ABCa1b15a1b26a2b38a2b412RBEb13b27b310b32b52SAR.BCS.BEa1b15b27a1b15b310a1b26b27a1b26b310a2b38b310R

C<E

SAR.BCS.BEa1b15b13a1b26b27a2b38b310a2b38b32等值连接ＡＢＣＥa1b153a1b267a2b3810a2b382自然连接R

R.B=S.B

SR

S连接运算例第五十一页，共八十一页，编辑于2023年，星期日连接运算例选修课程号为1的学生的完整信息（包括姓名、系、成绩等）R＝SSCS(Sno,Sname,Sex,Sage,Sdept)SC(Sno,Cno,Grade)R(Sno,Sname,Sex,Sage,Sdept，Cno,Grade)第五十二页，共八十一页，编辑于2023年，星期日表示记号：象集Zx给定一个关系R（X，Z），X和Z为属性组当t[X]=x时，x在R中的象集（ImagesSet）为：

Zx={t[Z]|tR，t[X]=x}

ABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1Ｒ它表示R中属性组X上值为x的诸元组在Z上分量的集合。例子：a1的象集为｛(b1,c2),(b2,c3),(b2,c1)｝第五十三页，共八十一页，编辑于2023年，星期日关系代数：除R与S的除运算得到一个新的关系P(X),P是R中满足下列条件的元组在X属性列上的投影：关系R(X,Y)和S(Y,Z)，其中X,Y,Z为属性组R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域集元组在X上分量值x的象集Yx包含S在Y上的投影第五十四页，共八十一页，编辑于2023年，星期日除除操作是同时从行和列角度进行运算÷RS第五十五页，共八十一页，编辑于2023年，星期日4)除运算例设有如图的关系Ｒ和ＳABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1BCD

b1c2d1b2c1d1b2c3d2Aa1ＲＳＲＳ则ＲＳ结果如下．a1的象集为｛(b1,c2),(b2,c3),(b2,c1)｝a2的象集为｛(b3,c7),(b2,c3)｝a3的象集为｛(b4,c6)｝a4的象集为｛(b6,c6)｝Ｓ在（Ｂ，Ｃ）上的投影为｛(b1,c2),(b2,c1),(b2,c3)｝因只有a1的象集包含了Ｓ在（Ｂ，Ｃ）属性组上的投影，故ＲＳ＝｛a1｝第五十六页，共八十一页，编辑于2023年，星期日例子选修了1号课程的学生学号？Sno(σCno=‘1’(SC))至少选修了1号和3号课程的学生学号？？SC(Sno,Cno,Grade)C(Cno,Cname,Cpno,Ccredit)第五十七页，共八十一页，编辑于2023年，星期日查询至少选修1号课程和3号课程的学生号码解：先建一临时关系Ｋ：求：Sno,Cno(SC)K结果为：｛95001｝Cno

1

3SC(Sno,Cno,Grade)(Sno,Cno)第五十八页，共八十一页，编辑于2023年，星期日思考选择、投影、除、连接等关系运算能做什么事情？它们分别能解决什么样的查询问题？请分别举例说明？在实际问题中，如何复合使用？第五十九页，共八十一页，编辑于2023年，星期日关系代数：综合应用1）查询选修了２号课程的学生的学号2）查询至少选修了一门其直接先行课为５号课程的学生姓名3）查询选修了全部课程的学生号码和姓名请给出对应含义和查询答案：第六十页，共八十一页，编辑于2023年，星期日解：πSname(σCpno='5'(Course)SCπSno，Sname(Student))或πSname(πSno(σCpno='5'(Course)SC)πSno，Sname(Student))

1)查询选修了２号课程的学生的学号解：Sno（

Cno=‘2’(SC)）={95001,95002}2)查询至少选修了一门其直接先行课为５号课程的学生姓名第六十一页，共八十一页，编辑于2023年，星期日3)查询选修了全部课程的学生号码和姓名解：Sno,Cno（SC)Cno(Course)Sno,Sname(Student)例子和思考问题：查询选修了２号课程的学生的姓名？查询至少选修了一门其直接先行课为数据结构的学生姓名？还有没有其它答案？第六十二页，共八十一页，编辑于2023年，星期日补充已知学生选课数据库模式：Student(Sno,Sname,Sage,Sdept)Course(Cno,Cname)SC(Sno,Cno,Score)用关系代数进行如下查询：计算机系有不及格课程的学生名单学生张林的“数据库原理”成绩第六十三页，共八十一页，编辑于2023年，星期日关系代数小结总结关系代数运算五种基本运算：并、差、交、笛卡尔积、选择、投影其余运算可有以上五种基本运算来表达第六十四页，共八十一页，编辑于2023年，星期日练习图书馆管理数据库读者(读者编号,姓名,单位)图书(书号,书名,作者,出版社,单价,类型)借阅记录(读者编号,书号,借阅日期,应还日期)还书记录(读者编号,书号,归还日期)用关系代数描述以下查询要求查询“人民邮电出版社”出版的所有图书的相关信息查询单价在15元以上的书名和作者查询8号读者2003年3月10日所借图书的相关信息查询超期归还图书的读者姓名和单位查询借阅过《天龙八部》的读者的信息查询借阅过“金庸”所有著作的读者的姓名查询没有借阅过任何图书的读者的姓名第六十五页，共八十一页，编辑于2023年，星期日2.5关系演算关系演算语言以元组变量或域(属性)变量作为谓词变元的基本对象来表达查询的语言分类：元组关系演算语言域关系演算语言第六十六页，共八十一页，编辑于2023年，星期日2.5.1元组关系演算元组演算表达式{t|(t)},含义是使(t)为真的元组集合。其中t是元组变量，(t)是元组关系演算公式，由原子公式和运算符组成。原子公式可以是：第六十七页，共八十一页，编辑于2023年，星期日用关系演算表达式表示五种基本运算第六十八页，共八十一页，编辑于2023年，星期日元组关系演算实例查询IS系学生信息查询年龄小于20岁的学生查询学生的姓名和所在系第六十九页，共八十一页，编辑于2023年，星期日2.5.2域关系演算域演算表达式含义是所有使得为真的那些t1,t2,…,tk组成的元组集合,其中t1,t2,…,tk分别是域变量或常量,R(t1,t2,…,tk)表示由分量t1,t2,…,tk组成的元组属于关系R原子公式可以是第七十页，共八十一页，编辑于2023年，星期日域关系演算实例查询IS系学生的名字与系名查询20岁以上学生的学号与姓名第七十一页，共八十一页，编辑于2023年，星期日

以元组变量作为谓词变元的基本对象基本格式：操作语句工作空间名（表达式）：操作条件其中：表达式用于指定操作的对象，可以为关系名或属性名．

操作条件为一个逻辑表达式

操作语句为GET（查询）,PUT（插入）,HOLD（读取）,UPDATE（修改）,DELETE（删除），DROP（删除视图）等例：以学生－选课数据库为例

．检索：查询信息系中年龄小于20岁的学生的学号及年龄GETW(Student.Sno,Student.Sage):Student.Sdept=‘IS’Student.Sage<20工作空间名2.5.3元组关系演算语言ALPHA第七十二页，共八十一页，编辑于2023年，星期日查询信息系年龄最大的三个学生的学号及年龄，结果按年龄降序排列GETW(3)(Student.Sno,Student.Sage):Student.Sdept=‘IS’DOWNStudent.Sage定额：用以规定检索出的元组个数．用元组变量的检索：查询信息系中年龄小于20岁的学生的学号及年龄RANGESCXGETW(X.Sno,X.Sage):X.Sdept=‘IS’X.Sage<20可简化关系名操作条件有量词时必用查询成绩为90分以上的学生名字与课程名字RANGESCSCXGETW(Student.Sname,Course.Cname):SCX(SCX.Grade90

SCX.Sno=Student.SnoCourse.Cno=SCX.Cno)第七十三页，共八十一页，编辑于2023年，星期日．用集函数的查询：用标准函数库提供的函数如：COUNT,TOTAL,MAX,MIN,AVG查询信息系学生的平均年龄GetW(AVG(Student.Sage):Student.Sdept=‘IS’)．修改操作：

步骤：先用HOLD将要修改的元组从数据库读入工作空间用宿主语言修改其属性用UPDATE将修改后的元组送回数据库中

注：涉及多个关系，则多次重复以上三步

示例：把95007学生从计算机科学系转到信息系HOLDW(Student.Sno,Student.Sdept):Student.Sno=‘95007’MOVE‘IS’TOW.SdeptUPDATEW第七十四页，共八十一页，编辑于2023年，星期日．插入操作：

步骤：用宿主语句在工作空间中建立新的元组用PUT将该元组存入指定的关系中

注：PUT只对一个关系操作，即PUT后的表达式必为单个关系

示例：新开设一门2个学分的课程“系统结构”，课程号为8，先行课程号为6，插入该元组MOVE‘8’TOW.CnoMOVE‘系统结构’TOW.CpnoMOVE‘2’TOW.CcreditPUTW(Course)第七十五页，共八十一页，编辑于2023年，星期日．删除操作：步骤：先用HOLD将要修改的元组从数据库读入工作空间用DELETE将该元组删除

注：要注意保证参照完整性