文档详情

北京邮电大学软件工程研究生的课程---数据库设计开发-0-2.ppt

发布:2019-03-25约1.08万字共33页下载文档
文本预览下载声明
郭文明 2003.06.05 《电信资源管理系统》立项可行性说明 郭文明 2003.06.05 1.2关系代数 关系模型的重要部分是关系操纵,关系代数是一种抽象的查询语言,是关系数据操纵语言的一种传统表达方式,它是用对关系的运算来表达查询的。利用关系代数可以演示一个查询语言从关系数据库系统中检索信息的潜力,可以用最简单的形式来表达所有关系数据库查询语言必须完成的运算的集合,这些基本的运算对解释标准查询语言SQL如何被执行很有帮助,同时也有利于培养关系运算的思维能力。 1.2关系代数 关系代数的运算对象是关系,运算结果亦为关系。关系代数用到的运算符包括四类;集合运算符、专门的关系运算符、算术比较符和逻辑运算符。关系代数的运算按运算符的不同可分为传统的集合运算和专门的关系运算两类。其中传统的集合运算将关系看成元组的集合,其运算是从关系的“水平”方向即行的角度来进行。而专门的关系运算不仅涉及行而且涉及列。比较运算符和逻辑运算符是用来辅助专门的关系运算符进行操作的。 关系代数运算符 关系代数中,这些运算经有限次复合后形成的式子称为关系代数表达式。 1.2.1传统的集合运算 传统的集合运算是二目运算,包括并、差、交、广义笛卡尔积。 定义1.2.1 设关系R和关系S具有相同的目n(即两个关系都有n个属性),且相应的属性取自同一个域,则可以定义并、差、交运算如下: 并(Union): 关系R与关系S的并记作:R∪S={t|t∈R∨t∈S} 其结果仍为n目关系,由属于R或属于S的元组组成。 差(Difference): 关系R与关系S的差记作:R—S={ t|t∈R∧t!∈S } 其结果仍为n目关系,由属于R而不属于S的所有元组组成。 1.2.1传统的集合运算 交(Intersection):关系R与关系S的交记作:R∩S={ t|t∈R∧t∈S } 其结果仍为n目关系,由既属于R又属于S的元组组成。关系的交可以用差来表示,即R∩S=R-(R-S)。 广义笛卡尔积(Extended Cartesian Product):两个分别为n目和m目的关系R和S的广义笛卡尔积是一个(n+m)列的元组的集合。元组的前n列是关系R的一个元组,后m列是关系S的一个元组。若R有k1个元组,S有k2个元组,则关系R和关系S的广义笛卡尔积有k1×k2个元组。记作:R×S={trts|tr∈R∧ts∈S } 传统集合运算举例 传统集合运算举例 1.2.2 专门的关系运算 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便,先引入几个常用记号。 设关系模式为R(Al,A2,…,An)。它的一个关系设为R。t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量。 若A={Ai1,Ai2,…,Aik},其中Ail,Ai2,…,Aik是A1,A2,…,An中的一部分,则A称为属性列或域列。 1.2.2 专门的关系运算 R为n目关系,S为m目关系。tr∈R,ts∈S,trts称为元组的连接。它是一个n+m列的元组,前n个分量为R中的一个n元组,后m个分量为S中的一个m元组。 给定一个关系R(X,Z),X和Z为属性组。定义t[X]=x时,x在R中的象集(Images Set)为: Zx={t[Z]︱t∈R,t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 学生-课程数据库 选择(Selection) 定义1.2.2 选择 选择又称为限制(Restriction),它是在关系R中选择满足给定条件的诸元组,记作: σF(R)={t︱t∈R∧F(t)=‘真’} 其中F表示选择条件,它是一个逻辑表达式,取逻辑值‘真’或‘假’。逻辑表达式F由逻辑运算符﹁,∧,∨连接各算术表达式组成。算术表达式的基本形式为:X1θY1,其中θ表示比较运算符,它可以是、≥、、≤、=或≠;X1,Y1等是属性名,或为常量,或为简单函数;属性名也可以用它的序号来代替。 选择(Selection) 选择运算实际上是从关系R中选取使逻辑表达式F为真的元组。这是从行的角度进行的运算,是对行的水平分解。 例1 查询信息系(IS)全体学生 σSdept=”IS”(S) 或 σ5=”IS”(S) 其中下角标“5”为Sdept的属性序号。 或 S where Sdept=”IS” 例2 查询年龄在19到20岁之间的学生 σSage≥19∧Sage≤20(S) 或 σ4≥19∧4≤20(S) 或 S where Sage=19 and Sage=20 投影(Proj
显示全部
相似文档