重点:全称量词与存在量词
关系:
- 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]="李明,显然这样都不符合。
量词逻辑图:
二、没学过李明老师所讲任一一门课程的学生(全没学过)
关系代数:减法等价替换
关系演算: