数据库系统课件第二章关系数据库幻灯片.ppt

* 2.5 关系演算 元组演算运算符的优先级： 算术运算符 ?, ?, ┐ ∧ ∨ → 元组演算的等价规则： 德摩根律 P1 ∧P2? ┐( ┐P1 ∨ ┐P2 ) P1 ∨P2? ┐( ┐P1 ∧ ┐P2 ) 蕴含式 P1 → P2? ┐P1 ∨P2 量词转换 ?x ( P(x)) ? ┐?x( ┐P(x)) ?x ( P(x)) ? ┐?x( ┐P(x)) * 第二章 关系数据库 回顾 关系代数综合示例 选择、投影用法 连接、笛卡尔积的用法（难点：表与自身笛卡尔积） 除运算的用法 关系演算是用谓词演算的方式构造新的关系， 分为 元组演算 和 域演算 两种 元组演算 变量 t 表示元组，谓词 S(…) 表示关系， 原子公式 S(t) 表示 t 是关系 S 中的元组 元组演算表达式 {t | Ф(t)} 表示查询的结果 量词用法：?u(S(u)∧…) ， ?u(S(u)→…) * 2.5 关系演算 19 02 男 钱七 805 20 02 女 赵六 804 20 01 男 王五 803 20 01 男 李四 802 19 01 女 张三 801 sage sdep ssex sname sno S c4 88 c4 803 90 c4 802 82 c3 802 85 c2 801 78 c3 801 92 801 grade cno sno SC 元组演算综合举例： （本小节的所有查询均用到以下关系） 关系模式： S(sno,sname,ssex,sdep,sage) C(cno,cname,credit,cpno) SC(sno,cno,grade) Pascal c4 编译原理 c3 数据结构 c2 数据库 c1 credit cname cno 3.5 4 4 3 C cpno c2 c4 c6 * 2.5 关系演算 查询选修了c2课程的学生学号和成绩。 关系模式： 　S(sno,sname,ssex,sdep,sage) 　C(cno,cname,credit,cpno) 　SC(sno,cno,grade) c4 88 c4 803 90 c4 802 82 c3 802 85 c2 801 78 c3 801 92 801 grade cno sno SC { t | } ∧u[2]=‘c2’ ?u(SC(u) ) ∧t[1]=u[1]∧t[2]=u[3] (2) 查询选修了c2课程的学生学号和姓名。 { t | ?u?v(S(u) ∧SC(v) )} ∧t[1]=u[1] ∧t[2]=u[2] ∧u[1]=v[1]∧v[2]=‘c2’ * 2.5 关系演算 (3) 查询选修了数据库课程的学生学号、姓名和成绩。 关系模式： 　S(sno,sname,ssex,sdep,sage) 　C(cno,cname,credit,cpno) 　SC(sno,cno,grade) {t | ?u?v?w(S(u)∧SC(v)∧C(w)∧u[1]=v[1] ∧v[2]=w[1] ∧w[2]=‘数据库‘ ∧t[1]=u[1]∧t[2]=u[2]∧t[3]=v[3])} (4)查询选修了c2或c4课程的学生学号。 {t | ?u (SC(u)∧(u[2]=‘c2‘∨u[2]=‘c4’ ) ∧ t[1]=u[1])} * 2.5 关系演算 (5) 查询选修了c2和c4课程的学生学号。 关系模式： 　S(sno,sname,ssex,sdep,sage) 　C(cno,cname,credit,cpno) 　SC(sno,cno,grade) c4 88 c4 803 90 c4 802 82 c3 802 85 c2 801 78 c3 801 92 801 grade cno sno SC u v {t | ?u ?v (SC(u)∧SC(v)∧u[1]=v[1]∧u[2]=‘c2‘∧v[2]=‘c4’∧ t[1]=u[1])} (6) 查询不学c2课的学生学号。 {t |?u?v (S (u)∧(SC(v)∧u[1]=v[1]→v[2]≠‘c2‘)∧ t[1]=u[1])} {t |?u ┐?v (S (u)∧(SC(v)∧u[1]=v[1]∧v[2]=‘c2‘)∧ t[1]=u[1])} 等