数据库关系模型之关系演算：存在量词和全称量词的使用（2020-04-13）

数据库之什么时候使用全称量词和存在量词

每次做元组演算的题目的时候都不知道到底什么时候用存在量词，什么时候用全称量词，可能你的各个元祖关系写对了，可错在符号，就很难受🙁
我就查了一些别人写的博客，借鉴了一些😬

一.什么时候需要用量词
当你所需要查询的结果只用到了某些表，但是查询的过程中却需要用到除了这些表以外的表的话，就需要用量词了。
当你查询的结果用到了某些表，而且你的查询过程中不需要用到别的表的话，就不需要用量词了。

二.量词的如何选择
书上的定义是：
存在量词：要求限定范围内的元组中只要有元组满足条件即可使用，即至少有一个元组能使谓词F(t)为真。
全称量词：要求限定范围内的元组中所有元组都需要满足条件时使用，保证所有元组都要使谓词F(t)为真。
eg：检索学过全部课程都及格的学生，这里对所有的SC(S#,C#,Score)的项都应该满足成绩＞60，故使用全称量词。
检索计算机系的所有学生，这里对u∈Dept只要有一个满足t［D#］＝u[D#]且u[Dname]＝“计算机”就可以了，所以用存在量词。

如果把这里的存在改成了全称就错了，如果是全称代表了所有的t[Sage]>u[Sage]，但是t和u来自同一个元组，这样肯定不会存在重复一模一样的数据的。

其实，我感觉如果有不同的两个变量却来自同一个元组的话，就要用存在了。