第3章节关系数据库的基本理论幻灯片.pptVIP

* 关系代数是一种抽象的查询语言，是关系数据操纵语言的一种传统表达方式，它是用对关系的运算来表达查询的。 任何一种运算都是将一定的运算符作用于一定的运算对象上，得到预期的运算结果。所以运算对象、运算符、运算结果是运算的三大要素。 关系代数的运算对象是关系，运算结果亦为关系。关系代数用到的运算符包括四类：集合运算符、专门的关系运算符、算术比较符和逻辑运算符，如表所示。 比较运算符和逻辑运算符是用来辅助专门的关系运算符进行操作的，所以关系代数的运算按运算符的不同主要分为传统的集合运算和专门的关系运算两类。 * 传统的集合运算是二目运算，包括并、交、差、广义笛卡尔积四种运算。传统的集合运算将关系看成元组的集合，其运算是从关系的“水平”方向，即行的角度来进行的。 设关系R，S具有相同的目n（即，两个关系都有n个属性），且相应的属性都取自同一个域，则可以定义并、交、差运算如下： ⒈并（Union） 关系R与关系S的并由属于R或属于S的元组组成。其结果关系仍为n目关系。记作：  R∪S={t|t∈R∨t∈S} ⒉差（Difference） 关系R与关系S的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作：  R－S={t|t∈R∧t ? S} ⒊交（Intersection Referential integrity） 关系R与关系S的交由既属于R又属于S的元组组成。其结果关系仍为n目关系。记作：  R∩S={t|t∈R∧t∈S} * 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便，先引入几个记号。 （1）设关系模式为R（A1，A2，…，An）。它的一个关系设为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量。 （2）若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}后剩余的属性组。 （3）R为 n目关系，S为 m目关系。tr∈R，ts∈S，trts 称为元组的连接（Concatenation）。它是一个 n＋m列的元组，前n个分量为R中的一个 n元组，后m个分量为S中的一个m元组。 （4）给定一个关系R（X，Z），X和Z为属性组。定义，当t[X]= x时，x在 R中的象集（Images Set）为： Zx ={ t［Z］ | t ∈ R，t[X] = x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 * 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便，先引入几个记号。 （1）设关系模式为R（A1，A2，…，An）。它的一个关系设为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量。 （2）若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}后剩余的属性组。 （3）R为 n目关系，S为 m目关系。tr∈R，ts∈S，trts 称为元组的连接（Concatenation）。它是一个 n＋m列的元组，前n个分量为R中的一个 n元组，后m个分量为S中的一个m元组。 （4）给定一个关系R（X，Z），X和Z为属性组。定义，当t[X]= x时，x在 R中的象集（Images Set）为： Zx ={ t［Z］ | t ∈ R，t[X] = x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 * 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便，先引入几个记号。 （1）设关系模式为R（A1，A2，…，An）。它的一个关系设为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量。 （2）若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}后剩余的属性组。 （3）R为 n目关系，S为 m目关系。tr∈R，ts∈S，