SQL进阶教程1

　　1. 谓词

　　谓词是一种特殊的函数，返回值是真值。例如   = Betweeen LIKE IN IS NULL等，返回值都是true  false或者unknown。

　　同样是谓词，但是与= BETWEEB等相比，EXISTS的用法还是不殊的函数，返回值是真值。例如 < > = Betweeen LIKE IN IS NULL等，返回值都是true false或者unknown。

　　同样是谓词，但是与= BETWEEB等相比，EXISTS的用法还是不太相同的。区别在于“谓词的参数可以取什么值”

　　可以看出EXISTS的参数是行数据的集合，无论子查询中选择什么样的列，对于EXISTS来说都是一样的。在EXISTS的子查询里，SELECT子句的列表可以有下面这三种写法：

　　1.通配符： SELECT * 

　　2.常量： SELECT ‘任意内容'

　　3.列名： SELECT col

　　EXISTS的特殊性在与输入值的阶数，谓词逻辑中，根据输入值的阶数对谓词进行分类。

　　1. =或者BETWEEN 等输入值为一行的谓词叫做“一阶谓词”

　　2.像EXISTS这样输入值为行的集合的谓词叫做“二阶谓词”；

　　3. 三阶谓词--------输入值为“集合的集合”的谓词；

　　4.四阶谓词---------输入值为“集合的集合的集合”的谓词；

　　..........

　　可以像上面这样无限地扩展阶数。

　　高阶函数-------指的是不以一般的原子性的值为参数，而是以函数为参数的函数。

　　现在，在SQL中EXISTS谓词最高只能接受一阶的实体作为参数。如果将来SQL能支持二阶谓词逻辑，那么我们就能对表进行量化，现在的SQL只能进行“是否包含供应商S1的行”这样的查询，如果能够支持二阶谓词逻辑，那么就能够表达更为复杂的查询，比如“是否存在包含供应商S1的表”。

　　全称量化和存在量化

　　谓词逻辑中有量词这类特殊的谓词。

　　“所有的X都满足条件P”-----------全称量词

　　“存在至少一个满足条件P的X”-----存在量词。

　　SQL中的EXISTS谓词实现了谓词逻辑中的存在量词，但是并没有全称量词的实现。全称量词可以由存在量词推到出来，依照德.摩根定律：

实践：

　　1.查询表中不存在的数据，使用NOT EXISTS实现差集运算功能

　　想要从上面的表中查找出“没有参加某次会议的人”，想要的结果如下：

　　问题分析：一般来说，我们从数据库中查询数据时，都是从表中存在的数据选出满足某些条件的数据。但是某些情况下，需要从表中查找出“数据是否存在”。从阶层上来说，这是更高一阶的问题，即“二阶查询”。

　　思路：先假设所有人都参加了全部会议，并以此生成一个集合，然后从中减去实际参加会议的人，这样就能得到缺席会议的人。

或者

　　2.全称量化: "肯定双重否定之间的转化"

　　使用EXISTS谓词来表达全称量化，将“所有的行都XXX”转化为“不XX的行一行都不存在”。

　　如下是一张存储了学生考试成绩的表：

　　查找同时满足如下两个条件的学生：

　　1.数学的分数在80分以上；

　　2.语文的分数在50分以上。

　　像这样的需求，我们在实际业务中应该会经常遇到，但是乍一看可能会觉得不太像是全称量化的条件。改成下面的说法：

　　“某个学生的所有行数据中，如果科目是数学，则分数在80分以上；如果科目是语文，则分数在50分以上。”

　　这其实是针对同一个集合内的行数据进行了条件分支后的全称量化。　

 　　使用EXISTS实现如下：