- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
★ 关系演算补充内容
* 把谓词演算应用于到关系运算中就是关系演算,它分为元组关系演算与域关系演算。
* 谓词演算
1)个体是可以独立存在的物体
2)谓词是用于刻划个体性质或关系
3)一个谓词可以与一个个体相联,此种谓词称为一元谓词,
一元谓词刻划一个个体的性质。
4)a,b,...表示个体,一个一元谓词可表示为F(a)
一个谓词中个体是可以变化的,如“...是大学生”,可以是“王强是大学生”,也可以变为“李华是大学生”,令F(x)表示x是大学生,又令“王强”为a,“李华”为b,则“王强是大学生,李华也是大学生”可写为F(a)∧F(b)
* 现谓词演算用于关系,元组为个体,关系为个体域,则 R(u)即表示u是关系R中的元组
* 元组关系演算表达式{t|φ(t)},表示所有使φ为真的元组集合,即描述了一个关系。
P69
10、设有学生-课程关系数据库,它由三个关系组成,它们的模式是:学生S(学号S#,姓名SN,所在系SD,年龄SA)、课程C(课程号C#,课程名CN,先修课号PC#)、SC(学号S#,课程号C#,成绩G)。
请用关系代数与ALPHA语言分别写出下列查询:
(1) 检索学生的所有情况。
S SSCC
(2) 检索学生年龄大于等于20岁的学生姓名。
πSN(σSA=20(S))
(3) 检索先修课号为C2的课程号。
πC#(σPC#=’C2’(C))
(4) 检索课程号C1的成绩为A的所有学生姓名。
πSN(σC#=’C1’∧G=’A’(SCC))
(5) 检索S1修读的所有课程名及先修课号。
πCN,PC# (σS#=’S1’(SCS))
(6) 检索年龄为23岁的学生所修读的课程名。
πCN (σSA=23(SSCC))
(7) 检索至少修读了S5修读的一门课的学生的姓名。
πSN (SSCπC# (σS#=’S5’(SC)))
(8) 检索修读了S4所修读的所有课程的学生的姓名。
πSN (S(πS#,C# (SC)÷πC# (σS#=’S4’(SC))))
(9) 检索选修所有课程的学生的学号。
πS#,C# (SC)÷πC# (C)
(10) 检索不选修任何课程的学生的学号。
πS# (S) -πS# (SC)
设有学生-课程关系数据库,它由三个关系组成,它们的模式是:学生S(学号S#,姓名SN,所在系SD,年龄SA)、课程C(课程号C#,课程名CN,先修课号PC#)、SC(学号S#,课程号C#,成绩G)。
请用关系代数与ALPHA语言分别写出下列查询:
(1) 检索学生的所有情况。S SSCC
GET W(S)
GET W(S,SC,C): S.S#=SC.S# ∧ SC.C# =C.C#
(2) 检索学生年龄大于等于20岁的学生姓名。πSN(σSA=20(S))
GET W(S.SN): (S.SA=20)
(3) 检索先修课号为C2的课程号。πC#(σPC#=’C2’(C))
GET W(C.C#): (C.PC#=’C2’)
(4) 检索课程号C1的成绩为A的所有学生姓名。πSN(σC#=’C1’∧G=’A’(SCC))
RANGE SC SCX
GET W(S.SN): SCX (SCX.S#=S.S# ∧ SCX.C#=’C1’ ∧ SCX.G=’A’)
(5) 检索S1修读的所有课程名及先修课号。πCN,PC# (σS#=’S1’(SCS))
RANGE SC SCX
GET W(C.CN,C.PC#): SCX (SCX.C#=C.C# ∧ SCX.S#=’S1’)
(6) 检索年龄为23岁的学生所修读的课程名。πCN (σSA=23(SSCC))
RANGE S SX
SC SCX
GET W(C.CN): SXSCX (SX.S#=SCX.S# ∧ SCX.C#=C.C#∧ SX.SA=23)
(7) 检索至少修读为S5修读的一门课的学生的姓名。
πSN (SSCπC# (σS#=’S5’(SC)))
RANGE SC SCX
SC SCY
GET W(S.SN): SCXSCY (SCX.S#=’S5’ ∧ SCY.S#=S.S#∧ SCY.C#=SCX.C#)
或
RANGE C CX
SC SCX
SC SCY
GET W(S.S#):CX(SCX (SCX.S#=’S5’ ∧ CX.C#=SCX.C#)-SCY (SCY.S#=S.S# ∧ CX.C#=SCY.C#))
(8) 检索修读S4所修读的所有课程的学生的姓名。
πSN (S(πS#,C# (SC)÷πC# (σS#=’S4’(SC))))
R
您可能关注的文档
- 作文的开头与结尾#.ppt
- 作文分论之六段式议论文技法》#.ppt
- 作文技巧(总结)#.ppt
- 作文技巧15#.ppt
- 作文-结尾#.doc
- 作文开头的写作方法#.ppt
- 作文开头结尾技巧指导教案#.doc
- 作文亮点设计技巧训练:结尾#.doc
- 作文评改方法#.ppt
- 作文写作开头方式#.ppt
- 2025AACR十大热门靶点推荐和解读报告52页.docx
- 财务部管理报表.xlsx
- 高中物理新人教版选修3-1课件第二章恒定电流第7节闭合电路欧姆定律.ppt
- 第三单元知识梳理(课件)-三年级语文下册单元复习(部编版).pptx
- 俄罗斯知识点训练课件-七年级地理下学期人教版(2024).pptx
- 课外古诗词诵读龟虽寿-八年级语文上学期课内课件(统编版).pptx
- 高三语文二轮复习课件第七部分实用类文本阅读7.2.1.ppt
- 高考物理人教版一轮复习课件第4章第3讲圆周运动.ppt
- 高考英语一轮复习课件53Lifeinthefuture.ppt
- 2025-2030衣柜行业风险投资发展分析及投资融资策略研究报告.docx
最近下载
- 黑格尔逻辑学(上下卷).doc VIP
- 全等三角形.1 全等三角形PPT.ppt VIP
- 04G410-1 1.5mX6.0m预应力混凝土屋面板(预应力混凝土部分).docx VIP
- 困境儿童监护风险评估与社会干预规范.pdf
- 0.中国中铁建筑施工典型异常工况安全处置工作指引宣贯材料.pptx VIP
- 《次函数的图象》课件.ppt VIP
- 康城丽都杨安的临电施工方案.doc VIP
- 2025年度湖北省公安厅面向社会公开招聘200名警务辅助人员笔试模拟试题及答案解析.docx VIP
- MacroSAN MS系列存储设备 双活特性 图形界面用户手册(CH, V2.09).pdf
- 新视野大学英语第三版B4U2教案.docx VIP
文档评论(0)