直观上,元组关系演算ALPHA中的存在量词和全称量词并不太好理解。本文虽对其做了一定的解释,但是依然可能显得不够。建议大家最好结合表实际演算,增加大家的直觉。
- 取定学生关系Student中的一个元组,设为t,现对元组t进行判断;
- 若选修关系X(即选修关系SC)中存在一个元组s,使得s.Sno=t.Sno成立而且s.Cno='2'成立,则元组t满足要求,并按要求输出元组t的相关属性值(学生姓名)。
- 按照1,2遍历学生关系Student中的每一个元组。
- 简而言之,该学生在选修关系中,存在一个选修2号课程的元组记录。
- 取定学生关系Student中的一个元组,设为t,现对元组t进行判断;
- 若选修关系SCX(即选修关系SC)中任意一个元组s,都有要么s.Sno≠t.Sno成立,要么s.Sno=t.Sno但是s.Cno≠'1'成立,则元组t满足要求,并按要求输出元组t的相关属性值(学生姓名)。
- 按照1,2遍历学生关系Student中的每一个元组。
- 简而言之,对任意一个选修,该学生的选修的课程号都不等于1。
- 取定学生关系Student中的一个元组,设为t,现对元组t进行判断;
- 若课程关系CX(即课程关系Course)中任意一个元组s,都有(在选修关系中存在一个元组v,使得v.Sno=t.Sno成立而且v.Cno=s.Cno成立),则元组t满足要求,并按要求输出元组t的相关属性值(学生姓名)。
- 按照1,2遍历学生关系Student中的每一个元组。
- 简而言之,对任意一门课程,该学生在选修关系中,都存在一个选了该课的元组记录。
- 取定学生关系Student中的一个元组,设为t,现对元组t进行判断;
- 若课程关系CX(即课程关系Course)中任意一个元组s,都有(若在选修关系中存在一个元组v1,使得v1.Sno=‘S3’成立而且v1.Cno=s.Cno成立时,能推出,在选修关系中存在一个元组v2,使得v2.Sno=t.Sno成立而且v2.Cno=s.Cno成立 ),则元组t满足要求,并按要求输出元组t的相关属性值(学生学号)。
- 按照1,2遍历学生关系Student中的每一个元组。
- 简而言之,对任意一门课程,若学生'S3'在选修关系中,都存在一个选了该课的元组记录,则一定有该学生也存在一个选了该课的元组记录。