象集（Image Set）

关系R(X , Z), X, Z是属性组，x是X上的取值，定义x在R中的象集为

Zx = { t[Z] | tÎR Ù t[X]= x }

从R中选出在X上取值为x的元组，去掉X上的分量，只留Z上的分量

除运算

给定关系R（X，Y）和S（Y，Z），其中X，Y，Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的值域。

R与S的除运算得到一个新的关系P（X），P是R中满足下列条件的元组在X属性列上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。记做：

重命名运算

关系代数运算的结果没有可供引用的名字，使得复杂的查询显得非常冗长；

用小写希腊字母r表示的命名运算可对关系更名，或赋予关系代数运算结果一个名字

实体完整性

若属性A是基本关系R的主属性，则属性A不能取空值

参照完整性

关系间的引用：在关系模型中实体及实体间的联系都是用关系来描述的，因此可能存在着关系与关系间的引用。

外码：设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码

基本关系R称为参照关系（Referencing Relation）

基本关系S称为被参照关系（Referenced Relation）或目标关系（Target Relation）

若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：

或者取空值（F的每个属性值均为空值）

或者等于S中某个元组的主码值