数据库系统概念6版形式化关系查询语言.ppt

* * 数据库系统概念前言 二、元组关系演算 (5) r×s= ｛t｜?u∈r (?v∈s (t［１］=u［１］∧…∧t［n］=u［n］∧t［n+1］=V［1］∧…∧t(n+m)=V［m］))｝ 注意：并、差、选择不用量词，投影、笛卡尔积用量词表示。 量词是扫描一遍的意义，量词变量如同指针，依次定位在表中的各个元组上。 * * 数据库系统概念前言 二、元组关系演算 学生 学号 姓名 性别 年龄 系别 98001 张平 男 19 计算机 98002 王欣 女 19 计算机 98003 李华 女 20 数学 98004 赵岩 男 18 外语 * * 数据库系统概念前言 二、元组关系演算 课程 课程号 课程名 先行课号 学分 1 数据库 5 4 2 数学 6 3 软件工程 5 4 4 操作系统 7 4 5 数据结构 7 4 6 计算机网络 4 3 7 C语言 3 * * 数据库系统概念前言 二、元组关系演算 选课 学号 课程号 成绩 98001 1 90 98001 2 86 98001 5 92 98002 5 80 98002 1 77 98002 3 94 * * 数据库系统概念前言 三、元组关系演算实例 例 ：检索学生关系中所有学生的情况。 解： ｛t｜t∈学生｝ 选择运算不用量词， 结果是学生表的全部属性 学号 姓名 性别 年龄 系别 … … … … … … … … … … * * 数据库系统概念前言 三、元组关系演算实例 例 ：求计算机系的学生姓名。 解：｛t｜?u∈学生（t[姓名]=u[姓名]∧u［系别］=“计算机”）｝ 投影运算用量词， u对学生表扫描一遍，每一行确定是否选取 结果：列是t[姓名]确定的属性，行是由u［系别］=“计算机” 确定的各行 * * 数据库系统概念前言 三、元组关系演算实例 学号 姓名 性别 年龄 系别 ?u→ 98001 张平 男 19 计算机 98002 王欣 女 19 计算机 98003 李华 女 20 数学 98004 赵岩 男 18 外语 ↓ 结果： 姓名 张平 王欣 * * 数据库系统概念前言 三、元组关系演算实例 例 ：求年龄大于20岁女学生的姓名和系别。 解：｛t｜?u∈学生(t[姓名]=u[姓名]∧ t[系别]=u[系别]∧ u［年龄］＞20∧u［性别］=“女”)｝ 有投影运算，用量词。 结果： 姓名 系别 王欣 计算机 李华 数学 * * 数据库系统概念前言 三、元组关系演算实例 例 ：找出选修了课程号为“5”的课程的学生的姓名和成绩。 解：｛t｜?u∈学生 (?v∈选课 (t［姓名］=u[姓名］∧ t［成绩］=v[成绩］∧ u［学号］=v［学号］∧v［课程号］=“5”）｝ 意义：u对学生表扫描一遍，定位在每一行时， v对选课表扫描一遍，确定是否选取u指向的行 * * 数据库系统概念前言 三、元组关系演算实例 学生 选课 结果 ?u→ 98001 张平 ?v→ 98001 2 90 姓名 成绩 98002 王