第四节 关系代数            （1） （2） （3） （4） （5） （6）
1.关系代数
    一种抽象的查询语言，通过对关系的运算来表达查询。
2．关系代数运算的三个要素——运算对象：关系；运算结果：关系；运算符：四类。
    集合运算符：将关系看成元组的集合，从关系的“水平”方向，即行的角度来进行。
    专门的关系运算符：涉及行和列。
    算术比较符：辅助专门的关系运算符进行操作。
    逻辑运算符：辅助专门的关系运算符进行操作。
        
        
4．关系代数运算的分类：传统的集合运算；并、差、交、广义笛卡尔积；专门的关系运算；选择、投影、
连接、除。
5．表示记号
    1) R，t?R，t[Ai]，设关系模式为 R (A1,A2,…,An), 它的一个关系设为Rt R: t是R的一个元组t[Ai]:
元组t中相应于属性Ai的一个分量。
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 }后剩余的属性组。
3)
    R为n目关系，S为m目关系。tr ?R，ts?S， 称为元组的连接。一个n + m列的元组，前n个分量为R
中的一个n元组，后m个分量为S中的一个m元组。
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上分量的集合。