资源描述：
《关系数据库的基本理论-关系代数.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、关系数据库与SQL语言目录第1章数据库基础第2章关系库的基本理论第3章数据库设计第4章Transact-SQL语言和SQLSERVER2008第5章数据库和表的创建第6章数据库的查询和视图第7章存储过程和触发器第8章数据库应用实战上堂课内容回顾关系模型的基本术语：关系、元组、属性、域、分量关系模式候选码、主码、外码（重点）关系完整性：实体完整性（重点）参照完整性（重点)用户自定义完整性本堂课内容2.3关系代数2.3.1传统的集合运算（重点)2.3.2专门的关系运算(重点，难点)2.3关系代数关系代数关系代数是一种抽象的查询语言，是关系数据操纵语言的一种传统表达方式。关系代数以一
2、个或两个关系为输入，产生一个新的关系作为其操作结果关系操作关系操作关系的基本数据操作包括四种：数据查询数据更新（数据插入，数据删除，数据修改）如用关系代数来表示关系的操作，可以有选择、投影、连接、除、交、差、并、积等。关系代数的运算符选择投影连接除σπ÷非与或Ø∧∨逻辑运算符选择投影连接除σπ÷专门的关系运算符含义运算符含义运算符含义运算符含义运算符∞大于大于等于小于小于等于等于不等于＞≥＜≤＝<>比较运算符交笛卡尔积∪∩×大于小于等于＞≥＜≤＝<>并差∪-∩×集合运算符含义运算符含义运算符含义运算符含义运算符2.3.1基本关系运算-合并运算设有两个关系R和S，它们具有相同的结
3、构。合并运算：R∪SR和S的并是由属于R或属于S的元组组成的集合，运算符为∪。记为T＝R∪S。2.3.1基本关系运算-合并运算ABCa1a1a2b2b3b2c2c2c1ABCa1a1a2b1b2b2c1c2c1RSABCa1a1a2a1b1b2b2b3c1c2c1c2R∪S2.3.1基本关系运算-交集运算交运算：R∩SR和S的交是由既属于R又属于S的元组组成的集合，运算符为∩。记为T＝R∩S。2.3.1基本关系运算-交集运算ABCa1a1a2b2b3b2c2c2c1ABCa1a1a2b1b2b2c1c2c1RSABCa1a2b2b2c2c1R∩S2.3.1基本关系运算-求差运算
4、求差运算：R－SR和S的差是由属于R但不属于S的元组组成的集合，运算符为－.记为T＝R－S。R－S＝R－（R∩S）。2.3.1基本关系运算-求差运算ABCa1a1a2b2b3b2c2c2c1ABCa1a1a2b1b2b2c1c2c1RSABCa1b1c1R－S2.3.1基本关系运算-乘积运算乘积运算：R1×R2两个关系的乘积运算是两个关系框架的合并，是两个关系元祖的连串，运算符为×。记为T＝R×S。2.3.1基本关系运算-乘积运算ABCa1a1a2b2b3b2c2c2c1ABCa1a1a2b1b2b2c1c2c1RSABCABCa1a1a1a1a1a1a2a2a2b1b1b1b
5、2b2b2b2b2b2c1c1c1c2c2c2c1c1c1a1a1a2a1a1a2a1a1a2b2b3b2b2b3b2b2b3b2c2c2c1c2c2c1c2c2c1R×S2.3.2专门的关系运算选择(selection)投影(projection)连接(join)除(division)（选学）以下为了叙述方便,先引入几个记号2.3.2专门的关系运算(1)分量设有关系模式R(A1,A2,…,An),它的一个关系设为R,t∈R表示t是R的一个元组,t[Ai]则表示元组t中相应于属性Ai的一个分量(2)属性列或域列若A={Ai1,Ai2,…,Aik},其中Ai1,Ai2,…,Aik
6、是A1,A2…,An中的一部分,则A称为属性列或域列例如:存在关系模式教师(编号,姓名,职称)编号姓名职称001肖正教授002李玲副教授2.3.2专门的关系运算(3)元组的连接R为n目关系，S为m目关系。设tr∈R，ts∈S，则trts称为元组的连接（Concatenation）。它是一个(n+m)列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。编号姓名职称001肖正教授002李玲副教授编号电话办公室0012199210B-1010022199201B_102RS2.3.2专门的关系运算(4)象集给定一个关系R（X，Z），X和Z为属性组.当t[X]=x时，
7、x在R中的象集（ImagesSet）为：Zx={t[Z]
8、t∈R，t[X]=x}它表示R中属性组X上值为x的元组在Z上分量如右例所示:a1的象集为｛(b1,c2),(b2,c3),(b2,c1)｝例如R：ABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c12.3.2基本关系运算-选择运算选择运算：σF（R）从一个表中选出所有满足给定条件的记录(行),选出的记录构成一个新表,其关系模式与原表相同.选择运算是从关系R中选取使逻辑表达式F为真的元组，是从行的角
