sql 的EXISTS和NOT EXISTS

如果一个子查询返回任何的行，则EXISTS subquery为TRUE。例如：

SELECT column1 FROM t1 WHERE EXISTS (SELECT * FROM t2);

过去，EXISTS子查询以SELECT *为开始，但是可以以SELECT 5或SELECT column1或其它的为开始。MySQL在这类子查询中忽略了SELECT清单，因此没有区别。

对于前面的例子，如果t2包含任何行，即使是只含有NULL值的行，EXISTS条件也为TRUE。这实际上是一个不可能的例子，因为基本上所有的[NOT] EXISTS子查询均包含关联。

以下是一些更现实的例子：

·         哪些种类的商店出现在一个或多个城市里？

·                  SELECT DISTINCT store_type FROM stores

·                      WHERE EXISTS (SELECT * FROM cities_stores

·                                    WHERE cities_stores.store_type = stores.store_type);

·         哪些种类的商店没有出现在任何城市里？

·                  SELECT DISTINCT store_type FROM stores

·                      WHERE NOT EXISTS (SELECT * FROM cities_stores

·                                        WHERE cities_stores.store_type = stores.store_type);

·         哪些种类的商店出现在所有城市里？

·                  SELECT DISTINCT store_type FROM stores s1

·                      WHERE NOT EXISTS (

·                        SELECT * FROM cities WHERE NOT EXISTS (

·                          SELECT * FROM cities_stores

·                           WHERE cities_stores.city = cities.city

·                           AND cities_stores.store_type = stores.store_type));

·         哪个城市还有所有种类的商店？
·                  SELECT DISTINCT city FROM cities
·                      WHERE NOT EXISTS (
·                        SELECT * FROM store_type WHERE NOT EXISTS (
·                          SELECT * FROM cities_stores
·                           WHERE cities_stores.city = cities.city
·                           AND cities_stores.store_type = stores.store_type));

最后一个例子是一个双嵌套NOT EXISTS查询。也就是，该查询包含一个NOT EXISTS子句，该子句又包含在一个NOT EXISTS子句中。该查询正式地回答了这个问题，“是否有某个城市拥有没有列在Stores中的商店？”（？_？）。可以比较容易的说，一个带双嵌套的NOT EXISTS可以回答这样的问题，“是否对于所有的y，x都为TRUE？”（x就是前半部分select, y是里边的嵌套字句）

 

哪个城市还有所有种类的商店？可以这样理解，

内层嵌套：是不是有商店，任何一个城市都没有的？

外层嵌套：把不是这样的城市找出来（ 无论哪个城市都没有的商店），这就是这个城市什么商店都有。