2-第二章：关系数据模型（5）.pdfVIP

本讲简要说明 授课目的与要求：完成元组关系演算的讨 论，学习域关系演算没关系运算的安全 性，三种关系运算表达能力的等价性,关系 完备性。三种典型的关系语言。 授课重点：元组关系演算表达式 域关系演算定义 作业安排： P.68 15,16 元组关系演算定义 复习 一、元组关系演算的定义 △=＜U、D、d、Ｈ、h、θ、L1＞， F={x[R] ⏐ϕ(x)} 二、元组演算表达式的值（演算结果） F(h)={t ⏐t ∈d(R)且I(ϕ(x/t))为真} 1、元组演算公式的定义(原子、复合公式） 2、合法公式（型与述） 3、元组代入规则 4、合法公式的解释规则 元组关系演算定义 ｛x[R]| ϕ(x)｝满足条件： ①ϕ(x)是△上的合法公式； ②x是ϕ中唯一自由出现的元组变量； ③R是U的子集； ④若T(x, ϕ)已定义，则必有R=T(x, ϕ)； 否则必有R⊇M(x, ϕ)。 1)所有男生的信息 {x[S]| s(x) ∧x[SEX] ‘男’} 2010-2-28 4 2)刘老师开的所有课程的名称 {x[CNAME]| ∃y [C] （c(y)∧ y[TEACHER] “Liu” ∧ x[CNAME]=y[CNAME]）} 2010-2-28 5 3)学习了所有课程的学生 {x[S] | s(x) ∧∀z[C](∼ c(z)∨ ∃v [SC](sc(v)∧v[C-NO]=z[C-NO] ∧v[S-NO]=x[S-NO]))} 2010-2-28 6 4)所有男生都学了的课程的课程号 {x[C-NO] | ∃y[C](c(y)∧x[C-NO]=y[C-NO] ∧∀z[S](∼ s(z)∨ ∼ z[SEX] “M” ∨∃t[SC](sc(t)∧t[C-NO]=y[C-NO] ∧t[S-NO] z[S-NO]))} 2010-2-28 7 5)至少学了LIU老师所讲一门课程的所有 学生的学号。 {t[S-NO] ︱∃y[C](c(y)∧y[TEACHER] “Liu” ∧ ∃z[SC] (sc(z) ∧ z[C-NO]=y[C-NO] ∧t[S-NO]=z[S-NO])} 2010-2-28 8 6)未学LIU老师所讲任何一门课程的学生 的学号。 {t[S-NO] ︱∀y[C] (∼ c(y) ∨ ∼ y[TEACHER] “Liu” ∨ ∼∃z[SC](sc(z) ∧z[C-NO]=y[C-NO] ∧z[S-NO]=t[S-NO])))} 2010-2-28