如有帮助欢迎下载支持1 ★ 关系演算补充内容 * 把谓词演算应用于到关系运算中就是关系演算,它分为元组关系演算与域关系演算
* 谓词演算 1)个体是可以独立存在的物体 2)谓词是用于刻划个体性质或关系3)一个谓词可以与一个个体相联,此种谓词称为一元谓词,一元谓词刻划一个个体的性质
4)a,b,
表示个体,一个一元谓词可表示为F(a) 一个谓词中个体是可以变化的,如“
是大学生”,可以是“王强是大学生”,也可以变为“李华是大学生” ,令 F(x) 表示 x 是大学生,又令“王强”为 a,“李华”为 b,则“王强是大学生,李华也是大学生”可写为 F(a) ∧F(b) * 现谓词演算用于关系, 元组为个体, 关系为个体域, 则 R(u) 即表示 u 是关系 R中的元组* 元组关系演算表达式 {t| φ (t)},表示所有使 φ 为真的元组集合,即描述了一个关系
如有帮助欢迎下载支持2 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