象集（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中某个元组的主码值
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
