c语言关系运算及关系代数.pptxVIP

C语言关系运算及关系代数会计学第1页/共62页关系数据模型概述关系数据模型的结构关系数据模型的完整性规则关系代数关系演算关系数据库第2页/共62页1. 关系数据模型的数据结构 2. 关系数据模型的操纵（运算）3. 关系数据模型的完整性约束 关系模型第3页/共62页关系数据模型的操作查询选择、投影、连接、除、并、交、差数据更新插入、删除、修改关系数据操作第4页/共62页 概述 传统的集合运算 专门的关系运算关系代数第5页/共62页1. 关系代数2. 运算的三要素3. 关系代数运算的三个要素4. 关系代数运算的分类5. 表示记号概述第6页/共62页1.关系代数 一种抽象的查询语言 用对关系的运算来表达查询概述第7页/共62页2．关系代数运算的三个要素运算对象：关系运算结果：关系运算符：四类概述(续)第8页/共62页集合运算符将关系看成元组的集合运算是从关系的“水平”方向即行的角度来进行专门的关系运算符不仅涉及行而且涉及列算术比较符辅助专门的关系运算符进行操作逻辑运算符辅助专门的关系运算符进行操作概述(续)第9页/共62页概述(续)表 关系代数运算符 运算符含义运算符含义集合运算符∪-∩×并差交广义笛卡尔积比较运算符＞≥＜≤＝ ≠ 大于大于等于小于小于等于等于不等于第10页/共62页概述(续)表 关系代数运算符（续） 运算符含义运算符含义专门的关系运算符σπ?÷ 选择投影连接除逻辑运算符?∧∨ 非与或第11页/共62页4．关系代数运算的分类 传统的集合运算 并、差、交、广义笛卡尔积 专门的关系运算 选择、投影、连接、除概述(续)第12页/共62页5．表示记号 （1） R，t?R，t[Ai] 设关系模式为R(A1，A2，…，An)它的一个关系设为R。t?R表示t是R的一个元组t[Ai]则表示元组t中相应于属性Ai的一个分量概述(续)第13页/共62页（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}后剩余的属性组。 概述(续)第14页/共62页（3） tr ts R为n目关系，S为m目关系。tr ?R，ts?S， tr ts称为元组的连接。它是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 概述(续)第15页/共62页4）象集Zx 给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（Images Set）为： Zx={t[Z]|t ?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 概述(续)第16页/共62页 概述?传统的集合运算 专门的关系运算关系代数第17页/共62页并差交广义笛卡尔积传统的集合运算第18页/共62页R和S具有相同的目n（即两个关系都有n个属性）相应的属性取自同一个域R∪S 仍为n目关系，由属于R或属于S的元组组成 R∪S = { t|t ? R∨t ?S }1. 并（Union）第19页/共62页ABCa1b1c1a1b2c2a2b2c1RABCa1b1c1a1b2c2a1b3c2a2b2c1R∪S 并(续)ABCa1b2c2a1b3c2a2b2c1S第20页/共62页R和S具有相同的目n相应的属性取自同一个域R - S 仍为n目关系，由属于R而不属于S的所有元组组成?R -S = { t|t?R∧t?S }2. 差（Difference）第21页/共62页ABCa1b1c1a1b2c2a2b2c1RABCa1b1c1R-S 差(续)ABCa1b2c2a1b3c2a2b2c1S第22页/共62页R和S具有相同的目n相应的属性取自同一个域R∩S仍为n目关系，由既属于R又属于S的元组组成 R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S）3. 交（Intersection）第23页/共62页ABCa1b1c1a1b2c2a2b2c1RABCa1b2c2a2b2c1R ∩ S 交 (续)ABCa1b2c2a1b3c2a2b2c1S第24页/共62页Rn目关系，k1个元组Sm目关系，k2个元组R×S 列：（n+m）列的元组的集合元组的前n列是关系R的一个元组后m列是关系S的一个元组行：k1×k2个元组R×S = {tr ts |tr ?R ∧ ts?S }4. 广义笛卡尔积（Extended Cartesian Product）第25页/共62页ABCa1b1c1a1b1c1a1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a