域演算表达式与关系代数表达式的等价性{定理23}三种关系运算.PPT

第2章 关系运算 2.3 关系演算 一、元组关系演算 （5） σF(R)≡{t|R(t)∧F’} 其中：用t[j] 代替公式F中的运算对象可得到 F’ 例如： σ2=‘d’(R) 可写成 {t|(R(t)∧t[2]=‘d’)} 例：设有已知关系R 如图所示，求如下元组演算表达式的值。 例：设有已知关系R、W 如图所示，求如下元组演算表达式的值。 一、元组关系演算 元祖关系演算应用举例 1）查询“程军”老师所授课程的记录 元祖关系演算应用举例 2）查询所有课程的课程名和任课教师 元祖关系演算应用举例 3）查询学习了课程号为02的学生学号和成绩 元祖关系演算应用举例 查询学习了课程号为02的学生学号和姓名 元祖关系演算应用举例 查询学习了课程号为02或04的学生学号 元祖关系演算应用举例 查询学习了课程号为02和04的学生学号 元祖关系演算应用举例 查询不学C2课程的学生姓名和年龄 比较：关系代数表达式 元祖关系演算应用举例 查询学习了全部课程的学生姓名 比较：关系代数表达式 例：设有关系R、W 如图所示，求如下的域演算表达式的值 例：设有关系R、W 如图所示，求如下的域演算表达式的值 例：设有关系R、W 如图所示，求如下的域演算表达式的值 2.4 三种关系运算表达能力的等价性 2、域关系演算的原子形式 　　（1） R(x1,x2,…,xn) 涵义：域变量xj 的选择应使x1,x2,…,xn是R 的一个元组。 （2） xj?c 或 c?xj 涵义：xj 是域变量，xj 应取使xj?c 或c?xj 为真的值。 二、域关系演算 2、域关系演算的原子形式 　　（3） xj?yk 涵义： xj 是域变量，即元组x 的第j 个分量，yk 为元组y 的第k 个分量。 含义为xj 和yk 应取使xj?yk 为真的值。 二、域关系演算 3、域关系演算的公式定义 　　（1）每个原子是一个公式，称为原子公式。 （2）如果?1 和?2 是公式，则?1∧?2、?1∨?2 和??1 也是公式。 （3）若?(x1,x2,…,xn)是公式，则(?xj)(?)，(?xj)(?)也是公式。 二、域关系演算 3、域关系演算的公式定义 　　（4）域演算公式中运算符的优先级与元组演算规定相同。 （5）公式或只限于上述4 种基本形式之一，即域演算公式或是一个原子公式，或是由原子公式经过有限次?、∨、∧逻辑运算和?、 ?量词运算而形成的复合公式。 二、域关系演算 4 b d 3 f d 6 f c e B 8 C a A 关系R 关系R1 R1＝{xyz|R(xyz)∧z≤6∧y=f）} 二、域关系演算 C(z) B(y) A(x) 3 f d 6 f c B C A 选择 4 b d 3 f d 6 f c e B 8 C a A 关系R 关系S R2＝{xyz|R(xyz)∨S(xyz)∧y≠c∧z≤8）} 二、域关系演算 关系R2 C(z) B(y) A(x) 4 b d 6 f d 5 c b e B 8 C a A C(z) B(y) A(x) 3 f d 4 b d 6 f d 6 f c e B 8 C a A 关系R C(z) B(y) A(x) 4 b d 3 f d 6 f c e B 8 C a A 关系R 6 9 4 E 17 D 关系W R3＝{yux|(?z)(?v)（R(xyz)∧W(uv)∧z≥v）} 二、域关系演算 关系R3 a 9 e c 17 f c 9 f d 17 b a 17 e C(z) B(y) A(x) E(v) D(u) D A B 第2章 关系运算 * * 数据库系统原理及应用 主讲：唐四薪 （第三讲） 主要内容 2.3 关系演算 2.4* 三种关系运算表达能力的等价性 第2章 关系运算 关系演算是谓词演算在关系运算中的推广应用。 关系演算： 元组关系演算（以元祖为对象） 域关系演算（以属性为对象） 1、元组关系演算表达式 　　一般形式： {t|?(t)} 其中：t 为元组变量（tuple），?(t)为由原子公式和运算符组成的公式。 一、元组关系演算 2、三种原子公式 　　（1）R(t) ：表示t 是关系R 的元组。 （2）t[j]θu[k] ：表示元组t 的第j 个分量与元组u 的第k 个分量满足θ运算。 （3）t[j]θa 或 aθt[j]：表示元组t 的第j 个分量与常数a 之间满足θ运算。 一般形式： {t|?(t)} 一、元组关系演算 3、自由元组变量和约束元组变量 　　在一个公式中