心之所向，所向披靡 关系演算补充内容 * 把谓词演算应用于到关系运算中就是关系演算，它分为元组关系演算与域关系演算。 * 谓词演算 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（学
