数据库系统概论-关系数据库-元组关系演算ALPHA

直观上，元组关系演算ALPHA中的存在量词和全称量词并不太好理解。本文虽对其做了一定的解释，但是依然可能显得不够。建议大家最好结合表实际演算，增加大家的直觉。

1. 取定学生关系Student中的一个元组，设为t，现对元组t进行判断；
2. 若选修关系X（即选修关系SC）中存在一个元组s，使得s.Sno=t.Sno成立而且s.Cno='2'成立，则元组t满足要求，并按要求输出元组t的相关属性值（学生姓名）。
3. 按照1，2遍历学生关系Student中的每一个元组。
4. 简而言之，该学生在选修关系中，存在一个选修2号课程的元组记录。

1. 取定学生关系Student中的一个元组，设为t，现对元组t进行判断；
2. 若选修关系SCX（即选修关系SC）中任意一个元组s，都有要么s.Sno≠t.Sno成立，要么s.Sno=t.Sno但是s.Cno≠'1'成立，则元组t满足要求，并按要求输出元组t的相关属性值（学生姓名）。
3. 按照1，2遍历学生关系Student中的每一个元组。
4. 简而言之，对任意一个选修，该学生的选修的课程号都不等于1。

1. 取定学生关系Student中的一个元组，设为t，现对元组t进行判断；
2. 若课程关系CX（即课程关系Course）中任意一个元组s，都有（在选修关系中存在一个元组v，使得v.Sno=t.Sno成立而且v.Cno=s.Cno成立），则元组t满足要求，并按要求输出元组t的相关属性值（学生姓名）。
3. 按照1，2遍历学生关系Student中的每一个元组。
4. 简而言之，对任意一门课程，该学生在选修关系中，都存在一个选了该课的元组记录。

1. 取定学生关系Student中的一个元组，设为t，现对元组t进行判断；
2. 若课程关系CX（即课程关系Course）中任意一个元组s，都有（若在选修关系中存在一个元组v1，使得v1.Sno=‘S3’成立而且v1.Cno=s.Cno成立时，能推出，在选修关系中存在一个元组v2，使得v2.Sno=t.Sno成立而且v2.Cno=s.Cno成立 ），则元组t满足要求，并按要求输出元组t的相关属性值（学生学号）。
3. 按照1，2遍历学生关系Student中的每一个元组。
4. 简而言之，对任意一门课程，若学生'S3'在选修关系中，都存在一个选了该课的元组记录，则一定有该学生也存在一个选了该课的元组记录。