数据库系统概念05其它关系语言要领.pptVIP

数据库系统概念----前言 数据库系统概念----前言 * * 数据库系统概念----前言 提纲 5.1元组关系演算 5.2域关系演算:与元组关系演算非常相似，建议自己阅读； 5.3QBE:域关系演算的一种实现，已经淘汰； 5.4Datalog:属于人工智能范畴，有兴趣有能力的同学可以阅读 * * 数据库系统概念----前言 元组关系演算 形式化定义 { t | P（t）} 表示所有使谓词P为真的元组集合 t[A]表示元组t在属性A上的值，t∈R表示元组t在关系R中 t为元组变量 如果元组变量前有“全称”（?）或“存在”（?）量词，则称其为约束变量(Bound) ，否则称为自由变量(Free) P是公式 由原子公式和运算符组成 * * 数据库系统概念----前言 元组关系演算 原子公式 s∈R s是关系R中的一个元组 s[x] ? u[y] s[x]与u[y]为元组分量，他们之间满足比较关系? s[x] ? c 分量s[x]与常量c之间满足比较关系? * * 数据库系统概念----前言 元组关系演算 公式的递归定义 原子公式是公式 如果P是公式，那么┑P和(P)也是公式 如果P1 , P2是公式，则P1 ? P2 , P1 ? P2 , P1 ? P2也是公式 如果P(t)是公式，R是关系，则?t?R (P(t))和?t?R (P(t)) 也是公式 * * 数据库系统概念----前言 元组关系演算 公式的等价性 P1 ?P2 ? ┑(┑P1 ? ┑P2) ?t?R (P(t)) ? ┑?t ?R (┑P(t)) P1 ? P2 ? ┑P1 ?P2 T T T F F T T T T F F F F F T T T F T T ┑p ? q p ?q ┑p q p * * 数据库系统概念----前言 元组关系演算 9 8 7 6 5 4 3 2 1 C B A 9 6 5 6 4 3 3 2 1 C B A R S 9 6 5 6 4 3 C B A { t | t ? S ? t[A] 2} 6 5 4 9 8 7 C B A { t | t ? R ? ┑t ?S } * * 数据库系统概念----前言 元组关系演算 9 8 7 6 5 4 3 2 1 C B A 9 6 5 6 4 3 3 2 1 C B A R S 3 2 1 6 4 3 C B A { t | t?S ? ?u?R(t[C] u[B])} * * 数据库系统概念----前言 元组关系演算 9 8 7 6 5 4 3 2 1 C B A 9 6 5 6 4 3 3 2 1 C B A R S 6 5 4 9 8 7 C B A { t | t?R ? ?u?S(t[C] u[A])} * * 数据库系统概念----前言 元组关系演算 7 6 8 7 3 8 7 9 8 4 3 5 R.A S.C R.B { t | ?v?S(?u?R(u[A]v[B] ? t[A]=u[B] ?t[B]=v[C] ?t[C]=u[A]))} 9 8 7 6 5 4 3 2 1 C B A 9 6 5 6 4 3 3 2 1 C B A R S * * 数据库系统概念----前言 元组关系演算 示例 查询工资在800元以上的老师 {t | t?T ? t[SAL] 800} 查询工资在800元以上的老师的姓名 {t | ?s?T ( t[TNAME] ? s[TNAME] ? s[SAL] 800)} 查询计算机系老师的姓名 {t | ?u?D ( u[DNAME] = “计算机系” ? ?s?T ( s[DNO] = u[DNO] ? t[TNAME] ? s[TNAME] ))} * * 数据库系统概念----前言 元组关系演算 示例 查询未选课的学生姓名 {t | ?u?S ((t[sname]=u[sname]) ? ┑?v?SC (u[sno]=v[sno]))} * * 数据库系统概念----前言 元组关系演算 示例 查询数学成绩比王红同学高的学生 89 数学 张军 86 数学 王红 93 物理 刘洪 成绩 课程 姓名 R {t | ?u?R ?v?R((t[姓名]=u[姓名]) ? (v[姓名]=‘王红’) ?(v[课程]=‘数学’) ?(u [课程]=‘数学’) ?(u[成绩]v[成绩]))} * * 数据库系统概念----前言 元组关系演算 示例 查询选修了全部课程的学生号 ?课程，所求同学选之 {t | ?u?S ?v?C ( ?w?SC ( v[CNO]=w[CNO] ? u[SNO]=w[SNO] ? t[SNO]?u[SNO] ))} ┑?课程，所求同学未选之 * * 数据库系统概念----前言