数据库原理与应用教程（第3版）第3章 关系数据库.ppt

第3章关系数据库3.1关系数据模型概述3.1关系数据结构关系操作关系模型的数据操作数据完整性约束关系数据模型的基本术语关系数据模型的基本术语（续）关系数据模型的基本术语（续）关系数据模型的基本术语（续）关系数据结构及其形式化定义笛卡儿乘积示例笛卡尔积实际上就是一个二维表2．对关系的限定3.3关系模型的完整性约束实体完整性参照完整性外码引用例1外码引用例2外码引用例3参照完整性规则用户定义的完整性语义许可取值范围约束例：3.4关系代数关系运算符关系运算符（续）3.4.1传统的集合运算1．并运算2．交运算3．差运算4．广义笛卡尔积广义笛卡尔积示例3.4.2专门的关系运算学生信息管理系统1．选择（Selection）2．投影（Projection）2．投影（Projection）3．连接等值连接StudentSCStudent.sno=SC.sno自然连接StudentSC4．除（Division）除（续）RSR÷S其中，元组在X上各个分量值的象集分别为：
(a1,b2)的象集为{(c3,d5),(c4,d6)}
(a2,b4)的象集为{(c1,d3)}
(a3,b5)的象集为{(c2,d8)}
S在Y上的投影为{(c3,d5),(c4,d6)}5．除（续）RSR÷S已知关系R和S,如图(a)(b)所示,则R÷S如图(c)所示。
本题中X={A,B}={(a1,b2),(a2,b4),(a3,b5)}，
Y={C,D},Z={E}
其中，元组在X上各个分量值的象集分别为：
(a1,b2)的象集为{(c3,d5),(c4,d6)}
(a2,b4)的象集为{(c1,d3)}
(a3,b5)的象集为{(c2,d8)}
S在Y上的投影为{(c3,d5),(c4,d6)}
显然只有(a1,b2)的象集包含S在Y上的投影，所以
R÷S={(a1,b2)}示例关系除法运算分下面4步进行：1)将被除关系的属性分为象集属性和结果属性：与除关系相同的属性属于象集属性，不相同的属性属于结果属性。2)在除关系中，对与被除关系相同的属性（象集属性）进行投影，得到除目标数据集。3)将被除关系分组，原则是，结果属性值一样的元组分为一组。4)逐一考察每个组，如果它的象集属性值中包括除目标数据集，则对应的结果属性值应属于该除法运算结果集。【例4-5】给出选课、选修课和必修课3个关系，它们的关系模式为：选课(学号，课号，成绩)；选修课(课号，课名)；必修课(课号，课名).学号
除法解析例题除法解析例题4.2.3用关系代数表示检索的例子用关系代数表示检索的例子除(续)除(续)除(续)分析：SNO举例:Course
5．综合举例综合举例(续)综合举例(续)综合举例(续)综合举例(续)查询修c02号课程的学生的学号和成绩。
∏sno,grade(σcno=‘c02’(SC))
查询计算机系修c02号课程的学生的姓名和成绩。
∏sname,grade(σcno=‘c02’∧σsdept=‘计算机系’(SCStudent))
或∏sname,grade(σcno=‘c02’(SC)σsdept=‘计算机系’(Student))
查询修了第2学期课程的学生的姓名和所在系。
∏sname,sdept(σsemester=2(Course)SCStudent)
查询修了全部课程的学生的学号和姓名。
∏sno,sname(Student(∏sno,cno(SC)÷∏cno(Course)))作业