第二讲关系数据库理论解读.ppt

关系的完整性约束 例2：学生实体及其内部的联系 学生（学号，姓名，性别，专业号，年龄，班长） 关系的完整性约束 例3：选修（学号，课程号，成绩） “学号”和“课程号”可能的取值 ： （1）选修关系中的主属性，不能取空值 （2）只能取相应被参照关系中已经存在的主码值 关系的完整性约束 （3）域完整性（用户自定义完整性） 规则：要求属性值必须取自其对应的值域。 例：学生的性别只能是:‘男’和‘女’ CONSTRAINT SX CHECK (性别 IN (‘男’，‘女’) 传统的集合运算 定义1. 设给定两个关系R和S，若满足：具有相同的度n，且R中第i个属性和S中第i个属性必须来自同一个域，则说关系R和S是相容的。即：关系R和S有相同的度，即有相同的属性个数，且对应的属性的域相同。 传统集合运算的两个关系必须是相容的。 约定：大写字母表示命名关系和关系的属性；小写字母表示元组。 传统的集合运算 ① 并（Union） 关系R和S的并记为R∪S，结果仍为n度关系，由或属于R或属于S的元组组成。 R S R∪S 传统的集合运算 ② 差（Minus） 关系R和S的差记为R-S，结果仍为n度关系，由属于R而不属于S的元组组成。 R S R-S 传统的集合运算 ③ 交（Intersect） 关系R和S的并记为R∩S，结果仍为n度关系，由既属于R又属于S的元组组成。 R S R∩S R∩S=R–(R-S) 广义笛卡儿积 广义笛卡儿积 R是一个n度关系，S是一个m度关系。关系R和S的广义笛卡儿积记为R×S，其结果是（n+m）度的关系，结果中的元组是R中元组和S中元组连成的一串，前n个分量是R中的一个元组，后m个分量是S的一个元组。假定R中有元组(r1,r2,…,rn)，S中有元组(s1,s2,…,sm)，则结果中的元组为(r1,r2,…,rn,s1,s2,…,sm)。若R有k1个元组，S有k2个元组，则R×S有k1×k2个元组。 广义笛卡儿积 例： A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B D a1 b2 c2 a1 b3 c2 a2 b2 c1 R S A B C A′ B′ D a1 b1 c1 a1 b2 c2 a1 b1 c1 a1 b3 c2 a1 b1 c1 a2 b2 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a1 b3 c2 a1 b2 c2 a2 b2 c1 a2 b2 c1 a1 b2 c2 a2 b2 c1 a1 b3 c2 a2 b2 c1 a2 b2 c1 R×S 记录 个 数 9 度数 6 专门的关系运算 ① 选择（Select） σ(sigma) 从一个关系中选出所有满足指定条件的元组。即在给定关系中，从水平方向上选取符合给定条件的元组的子集。 一般定义为： σF(R)={t|t∈R∧F(t)=‘True’} 读作关系R关于公式F的选择运算，表示从R中选择那些满足公式F的元组。 专门的关系运算 SNO SNAME SDEPT SAGE 96001 丁一 计算机 19 96002 王二 计算机 20 96003 张三 数学 21 96004 李四 信息 19 96005 刘五 数学 20 96006 赵六 计算机 22 S CNO CNAME CT C1 高等代数 144 C2 程序设计 100 C3 微机原理 44 C4 数据结构 64 C5 编译原理 90 C6 操作系统 32 C SNO CNO GRADE 96004 C3 95 96004 C5 70 96005 C2 81 96005 C3 95 SC 例：设有学生-课程关系数据库,如下所示: 专门的关系运算 例1：求计算机系的学生。 σSDEPT=‘计算机’(S) 例2：求计算机系叫的张三学生。 σSDEPT=‘计算机’^SNAME=‘张三’(S) SNO SNAME SDEPT SAGE 96001 丁一 计算机 19 96002 王二 计算机 20 96003 张三 数学 21 96004 李四 信息 19 96005 刘五 数学 20 96006 赵六 计算机 22 专门的关系运算 ② 投影（ Select ） ∏(pi) 从一个关系出发构造其垂直子集的运算，即结果关系由运算分量中的某些列组成，并消去重复的元组。 一般定义为：关系R在域列A上的投影： ∏A(R)={t[A]|t∈R} ∏表示投影运算符；A为R中的属性列，R是运算对象的关系，写在∏之后用（）括起来。 专门的关系运算 注意： 因为投影运算的属性表不一定包含关系的码，经投影运算后，结果中很可能