数据库学习 哈工大课程 第五讲 关系模型之关系演算

关系演算是关系运算的另一种思维方式

元组演算的基本形式 { 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)

     要用到除法运算 

两个任意 

 

四个典型例子   （写在纸上夹书里了）

元组演算实际是 以元组为基本单位进行循环，先找元组，再找元组变量，再谓词判断 

 

元组演算与域演算对比   （都是非过程化的语言）   代数运算是过程化语言

元组演算是以元组为变量，以元组为基本处理单位，先找到元组，然后再找到元组分量，进行谓词判断

域演算是以域变量为基本处理单位，先有域变量，然后再判断由这些域变量组成的元组是佛如存在或是否满足谓词判断

QBE应用

示例元素 实现‘与’运算和‘或’