关系演算是关系运算的另一种思维方式
元组演算的基本形式 { t | p(t) } : 此为 所有使谓词p为真的元组t的集合
t 是元组变量
t∈r 表示元组t在关系 r 中
t[a] 指的是 元组 t 在属性 a 上的值
p 是与谓词逻辑相似的公式 , p[t] 是以元组t为变量的公式
用关系代数写,检索出所有课程都及格的同学 其中 student(s#,sname,ssex,sage,d#,sclass),sc(s#,c#,score)
要用到除法运算
两个任意
四个典型例子 (写在纸上夹书里了)
元组演算实际是 以元组为基本单位进行循环,先找元组,再找元组变量,再谓词判断
<