- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第2章 关系数据库 重点
关系代数举例 例2.2 找出所有学生的学号,姓名, 性别和电话 解: πSnum,Sname,Ssex,Sphone(S) 或 π1,2,3,5(S) 关系代数举例 例2.3.找出系编号为2的男学生的学号和姓名。 解: πSnum,Sname(σSsex=’男’∧Dnum=’2’(S)) 例2.4. 找出选修了“数据库系统原理”的学生的学号,姓名和联系电话。 解: πSnum,Sname,Sphone(σCname=’数据库系统原理’(S?SC?C)) 关系代数举例 例2.5.找出选修了“自动控制原理”课程并且分数在80分以上的学生的学号,姓名和成绩。 解: πSnum,Sname,Score(σCname=‘自动控制原理’∧Score80(S?SC?C)) 关系代数举例 例2.6 检索至少选修两门课程的学生学号。 解: 由于关系SC中每个元组表示一个学生学了一门课的情况,所以要求至少选修两门课程的学生学号须进行自身的乘积,再选择,投影。 π1 (σ1=4∧2≠5(SC×SC)) 关系代数举例 例2.7 检索选修课程号为C002和C004的学生学号。 解: πSnum,Cnum(SC)÷πCnum(σCnum=’C002’∨Cnum=’C004’(C)) πSnum(σCnum=’C002’(SC)) ∩ πSnum(σCnum=’C004’(SC)) 关系代数举例 例2.8. 检索选修课程包含学号为0903330002的学生所修课程的学生学号。 解: πSnum,Cnum(SC)÷πCnum(σSnum=’0903330002’ (SC)) ? ? § 2.5关系演算 把谓词演算(Predicate Calculus)推广到关系运算中,就可得到关系演算(Relational Calculus)。关系演算可分为元组关系演算和域关系演算两种,前者以元组为变量,简称元组演算;后者以域为变量,简称演算。 在元组关系演算(Tuple Relational Calculus)中,元组关系演算表达式的一般形式为: {t| ?(t) } 其中,t为元组变量,?(t)是由原子公式(Atom Formula)和运算符组成的公式。 § 2.5.1元组关系演算 原子公式的三种形式: (1) R(t),其中R是关系名,t是元组变量。原子R(t)表示命题:“t是关系R的元组”。 (2) t[j]θu[k],其中t和u是元组变量,θ是比较运算符。该原子表示命题:“元组t的第j个分量与元组u的第k个分量之间满足θ关系”。例如,t[1]u[2]表示元组t的第1个分量必须小于元组u的第2个分量。 (3) t[j]θc或cθt[j],其中t是元组变量,c是一个常量。前一个原子t[j]θc表示命题:“元组t的第j个分量与常量c之间满足θ关系”。例如,t[1]=2表示元组t的第1个分量值为2,后一个原子cθt[j]有类似的含义。 元组演算的公式定义 元组演算的公式如下: (1) 任何原子公式是公式。 (2) 若?是公式,则??也是公式。当?为真时,??为假。 (3) 若?1,?2是公式,则?1??2,?1??2也是公式。只有当?1,?2同时为真时,?1??2为真,否则为假。当?1,?2至少有一个为真时,?1??2为真。 (4) 若?是公式,则(?t)(?)也是公式。当存在一个t使?为真时,(?t)(?)为真,否则为假。 元组演算的公式定义: (5) 若?是公式,则(?t)(?)也是公式。当所有t都使?为真时,(?t)(?)为真,否则为假。 (6) 所有公式都是从以上5条规则对原子公式进行有限次复合运算求得。 (7)在公式中各种运算符的优先级从高到低依次为:θ、?和?、?、?和?(算术运算符和比较运算符的优先级最高) 元组关系演算举例 存在关系R和S,求R1={t | S(t)∧t[1]2} A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 A B C 3 4 6 5 6 9 R S R1 元组关系演算举例 求R3={t | (?u) (S(t)∧R(u)∧t[3]u[2])} A B C 1 2 3 3 4 6 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S R3 关系代数运算与元组演算的等价表示 用关系演算表达式表示关系代数的五种基本运算: (1) 并 R∪S={t|R(t)∨S(t)} (2) 差 R-S={t |
您可能关注的文档
- 第21讲-生物的进化.ppt
- 第21课《从现在开始》.ppt
- 第20讲——北极和南极.ppt
- 第22章四边形综合复习教学设计.doc
- 第22讲 多边形与平行四边形.ppt
- 第22章第1节生物的分类ppt.ppt
- 第23讲 动 能 定 理.ppt
- 第24章 第三节 生物进化的学说.ppt
- 第24章圆复习与小结.ppt
- 第24讲1-6量子力学基本知识点总概括.ppt
- 建设工程质量安全管理标准化图集(安全篇2024版)ppt230页.pptx
- 《油气储存企业安全风险评估细则(2025年修订)》解读.pptx
- 2025年《危大工程专项施工方案严重缺陷清单专题培训》ppt120页_1230.pptx
- 中建分部分项检验批划分方案、资料目录策划编制要点ppt75页.pptx
- 某项目智慧工地示范项目应用成果介绍75页_5843.pptx
- 2025年中国风筝无人机LED夜光编队编程师应聘面试模拟题及答案.doc
- 2025年中国鞍钢集团招聘笔试题库附答案.doc
- 2025年中国鞍钢集团招聘面试预测题及答案.doc
- 临床器械实验培训试题及答案2025年版.docx
- 中石化《两个责任》解读分析.ppt
文档评论(0)