数据库关系代数与关系演算

重点：全称量词与存在量词

关系：

• stu（s#,sname,sage,sex,class)
• cou(c#,cname,credit,tnamw)
• sc(s#,c#,score)

一、学过李明老师所讲全部课程的学生（全部学过）
1.关系代数：全部 用除法
πsname，c#(stu&cou&sc）÷ πc#（ρtname="李明“（cou））

2.关系元组演算：投影 条件:(双量词） 范围 验证：范围 验证：双连接

注意：不能把u[tname]="李明"写在单位外，验证内，否则会造成范围扩大，验证每一个元组u时都要求此元组需u[tname]="李明,显然这样都不符合。

量词逻辑图：

二、没学过李明老师所讲任一一门课程的学生（全没学过）
关系代数：减法等价替换
关系演算：