深入解释sql运算符 ALL()、ANY()、Exits()、Not Exits()

select * from [Order]  --OrderID: 1,2,3, 4, 7,8
select * from [Orders] --Order_ID:4,5,6,11,15,7

select * from [Order] where [Order].OrderID =Some(select Order_ID from Orders)

-- =Any()任何一个满足条件 [效果等同于 exists(..where..=..)]
-- Result:4,7
select * from [Order] where [Order].OrderID = Any(select Order_ID from Orders)
-- <>Any()没有一个满足条件 [效果等同于 exists(..where..<>..)]
-- Result:1,2,3,4,7,8
select * from [Order] where [Order].OrderID <> Any(select Order_ID from Orders)

-- =All()全部都满足条件 [效果等同于 not exists(..where..<>..)]
-- Result:
select * from [Order] where [Order].OrderID = ALL(select Order_ID from Orders)
-- <>All()部分满足条件 [效果等同于 not exists(..where..=..)]
-- Result:1,2,3,8
select * from [Order] where [Order].OrderID <> ALL(select Order_ID from Orders)

-- exists(..where..=..)相当于筛选的记录求交集
-- Result:4,7
select * from [Order] where exists(select null from [Orders] where Order_id = orderid)
-- not exists(..where..=..)相当于筛选的记录求交集之后取反
-- Result:1,2,3,8
select * from [Order] where not exists(select null from [Orders] where Order_id = orderid)

-- exists(..where..<>..)相当于筛选的记录求并集
-- Result:1,2,3,4,7,8
select * from [Order] where exists(select null from [Orders] where Order_id <> orderid)
-- not exists(..where..<>..)相当于筛选的记录求并集之后取反
-- 基本上这种情况不会产生值
-- Result:
select * from [Order] where not exists(select null from [Orders] where Order_id <> orderid)

-- 注：Any相当于Or运算，All相当于And运算。(验证：All运算符优先级别高于Any)
--       Exists先计算，Not Exitst再进行not运算。(验证：linq 中All()生成的SQL为 where Not(Exitst(...)))

 

 

扩展：.net linq中的IEnumerable泛型接口中的All(),Any()方法生成的SQL语法与此对应关系相类似。

         Any()方法对应Exits()运算符,All()方法对应Not Exits()运算符。

        但是All()方法生成的SQL语句中Not Exists()运算符中的Where条件是这种方式：

        WHERE (
          (CASE
              WHEN [t1].[Order_ID] = [t0].[OrderID] THEN 1
              ELSE 0
           END)) = 0

         )

         生成的语句处理方式不同，其得到的结果与我们预期得到的结果一样。