第4章_关系数据模型及其运算基础.doc

《第4章_关系数据模型及其运算基础.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第4章关系数据模型及其运算基础在本课程的1.2.3节中已经介绍了关系模型。关系模型是由：关系数据模型结构—表、关系操作集合和关系的三类完整性约束组成的。其中表和三类完整性已作了详细的介绍。关系的操作也通过对SQL语言的学习，有了大致的了解。评价实际关系语言的理论是关系代数和关系演算。实际的关系语言，有的是基于关系代数的，有的是基于关系演算的，有的是介于两者之间的，我们前面学习过的结构化查询语言SQL就是介于关系代数和关系演算之间的一种关系语言。关系演算又分为元组关系演算和域关系演算两种。理论已证明关系代数、元组关系演算和域关系演算三者是等价的。本

2、章重点介绍的是关系代数，对元组关系演算和域关系演算只作一般性介绍。4.1关系模型的基本概念关系操作是集合操作，操作的对象是集合，操作的结果也是集合。因此，关系操作的基础是集合代数。4.1.1笛卡尔积（CartesianProduct）1、域（Domain）：域是一组具有相同数据类型的值的集合。例如：自然数、整数、实数、长度小于8的字符串等都可以是域。2、笛卡尔积：给定一组域D1，D2，…，Dn，这些域中可以有相同的元素。D1，D2，…，Dn的笛卡尔积为：其中：²每一个元素叫作一个n元组（n-tuple）或简称元组（Tuple）；²元组中的每一个值

3、叫作该元组在相应域Di上的一个分量（Component）；²每一个元组是组成该元组各分量的有序集合（强调各分量的有序性）；²若为有限集，其基数（Cardinalnumber）为，则的基数为:＝m1×m2×…×mn²基数即集合中元素的个数；²笛卡尔积实际上就是一个二维表。表中每一行对应一个元组，每列对应一个域。参看P65例4.14.1.2关系（Relation）笛卡尔积的任意一个子集,称为在域D1，D2，…，Dn上的一个n元关系，简称关系，又称为表。每个关系都有一个名字称为关系名。关系是笛卡尔积的一个子集，所以关系也是一个二维表。二维表：表名、列、

4、列名、表中一行、关系：关系名、属性、属性名、一个元组、以上是二维表与关系的对应关系。一个属性的取值范围Di（i＝1，2，…n）称为该属性的域（Domain）。不同的属性可以有相同的域。从第2章可见，实际的关系有三种类型：基本表、查询表和视图表。其中²基本表是实际存在的表；²查询表是查询结果对应的表；²视图表是从基本表和／或已定义的视图中导出的表，是虚表，只有存放在数据库中的定义，而实际上不存在。关系的其它术语，如主码、主属性、外部码等在1.2.3节中已经作了详述，在此不再重复。4.2关系模式前已学过，一个关系的关系模式是该关系的关系名及其全部属性

5、名的集合，一般表示为：关系名（属性名1，属性名2，…，属性名n）可见：²关系模式是型，是对关系的描述。关系是值，是关系模式的具体体现；²关系模式是稳定的。关系是变化的，关系是某一时刻关系模式的内容。完整的关系模式应该定义为：R（U,D,dom,F）其中：R为关系名；U为该关系所有属性名的集合；D为属性组U中属性所来自的域的集合；Dom为属性向域映象的集合；F为属性间数据依赖关系的集合。关系模式常简记为：R（U）或R（A1，A2，…，An）其中：R为关系名，Ai（i=1,2,…,n）为属性名。域名及属性向域的映象一般即为定义中属性的类型和长度。4.

6、3关系数据库关于关系数据库，记住以下三点：²一个应用范围内，所有关系的集合就形成了一个关系数据库。²对关系数据库的描述称为关系数据库的模式，也称为关系数据库的型。²全部关系模式在某一时刻的值的集合即全部关系的集合为关系数据库的值，简称为关系数据库。关于关系数据库的其它概念我们将在以后的学习中逐渐领会。4.4关系代数关系代数运算的对象是关系，运算的结果也是关系。关系代数的运算可分为传统的集合运算和专门的关系运算两类。关系代数用到的运算符包括四类：²集合运算符：并（∪）、差（－）、交（∩）和广义的笛卡尔积（×）²专门的关系运算符：投影（π）、选择（）

7、、连接（）和除（÷）²比较运算符：＞、≥、＜、≤、＝、≠²逻辑运算符：∨（或）、∧（与）、（非）后两种运算符是用来辅助前两种运算符进行操作的。4.4.1传统的集合运算传统的集合运算是二目运算。设关系R和S的目都是n（都有n个属性），且相应的属性取自同一域，则1、关系R和S的并（Union）为：RS＝｛t

8、tR∨tS｝含义：任取元组t，当且仅当t属于R或t属于S时，t属于R∪S。R∪S是一个n目关系。2、R和S的差（Difference）为：R－S＝｛t

9、tR∧tS｝含义：当且仅当t属于R并且不属于S时，t属于R－S。R－S也是一个n目关系。3、R

10、和S的交（Intersection）为：R∩S＝｛t

11、tR∧tS｝含义：当且仅当t属于R又属于S时，tR∩S。4、广义笛卡尔积：（Ext