分開它們的問題只有一個：除了判斷有沒有，還要不要用到被比對的那張表的欄位。

同一題用 IN、EXISTS 與 JOIN 各寫一次

書店的三位顧客裡只有佳穎下過單，兩張都是她的。要找出下過單的顧客。

IN 問的是成員資格——這個顧客編號在不在括號裡那個子查詢交出的清單裡：

1SELECT 姓名 FROM 顧客 WHERE 顧客編號 IN (SELECT 顧客編號 FROM 訂單);
2-- 佳穎

EXISTS 問的是存在性——有沒有至少一張訂單屬於這位顧客：

1SELECT 姓名 FROM 顧客
2WHERE EXISTS (SELECT 1 FROM 訂單 WHERE 訂單.顧客編號 = 顧客.顧客編號);
3-- 佳穎

JOIN 做的是另一件事——把兩張表併成一個新的關係：

1SELECT 顧客.姓名 FROM 顧客 JOIN 訂單 ON 訂單.顧客編號 = 顧客.顧客編號;
2-- 佳穎、佳穎

同一個「找出下過單的顧客」的問題，IN 與 EXISTS 回一列而 JOIN 回兩列——佳穎在 JOIN 的結果裡出現了兩次。

列數：條件與連接的差別

IN 與 EXISTS 出現在 WHERE 裡，它們是條件。條件對每一列只做一件事——留下或丟掉——所以顧客表有三列，過完條件最多剩三列，一列都不會多出來。

JOIN 出現在 FROM 裡，它參與的是關係的組成。佳穎配得上兩張訂單，於是她在新的關係裡出現兩次（SQL.6 連接之後的列數與空缺：列數膨脹、外連接補的 NULL 與三值邏輯）。加上 DISTINCT 之後結果才與 IN、EXISTS 一致：

1SELECT DISTINCT 顧客.姓名 FROM 顧客 JOIN 訂單 ON 訂單.顧客編號 = 顧客.顧客編號;
2-- 佳穎

需要 DISTINCT 這件事本身是一個訊號：它表示這個查詢只是要判斷有沒有，而 JOIN 順便做了不需要的配對。這種時候 IN 或 EXISTS 更貼合意圖，因為它們一開始就沒有把列複製出來。

IN 與 EXISTS 做的運算在關聯代數裡叫半連接：顧客表與訂單表配對之後只留下顧客表的列，每一列至多出現一次。否定式的 NOT EXISTS 留下顧客表裡配不到任何訂單的列，叫反連接（Semi-join 與 Anti-join（半連接與反連接））。

可取用的欄位：被比對的那張表在不在 FROM 裡

要列出每位顧客的訂單金額，JOIN 是最直接的一條路：

1SELECT 顧客.姓名, 訂單.金額 FROM 顧客 JOIN 訂單 ON 訂單.顧客編號 = 顧客.顧客編號;
2-- 佳穎 300 / 佳穎 500

同一件事用 IN 寫不出來：

1SELECT 姓名, 訂單.金額 FROM 顧客 WHERE 顧客編號 IN (SELECT 顧客編號 FROM 訂單);
2-- SQLite: no such column: 訂單.金額
3-- DuckDB: Referenced table "訂單" not found!

錯誤訊息說得很直接：訂單 這張表不在 FROM 裡面。子查詢是一個獨立的查詢，它算完之後只交出一份值的清單，而訂單表沒有成為外層 FROM 的一部分——外層因此引用不到它的任何欄位。

帶欄位出來還有另一條路——把子查詢寫在 SELECT 裡並讓它引用外層的欄位。引用外層欄位的子查詢叫相關子查詢（correlated subquery）：

1SELECT 姓名, (SELECT 金額 FROM 訂單 WHERE 訂單.顧客編號 = 顧客.顧客編號
2              ORDER BY 訂單編號 LIMIT 1) FROM 顧客;
3-- 佳穎 300 / 宗翰 NULL / 雅文 NULL

它一次只交得出一個值，所以要多欄或多列時仍然回到 JOIN；而它的執行方式是逐列的，代價怎麼算見 SQL.17 查詢的代價：資料分布、索引與寫法各自的影響。

這時候佳穎出現兩次是對的，因為問的是每一張訂單的金額，而她確實有兩張。這一題本來就要每張訂單各佔一列，所以列數變多正是這個寫法要交出來的東西。

選用的判斷標準：要不要用到被比對那張表的欄位

要不要用到被比對的那張表的欄位。 要用到就得 JOIN，因為只有它把那張表帶進 FROM。這時候要順帶檢查列數是不是預期內的——後面如果接聚合，sum 與 count 算的是配對後的列；這個膨脹怎麼發生、可加與不可加的聚合各自怎麼修，在 SQL.6 連接之後的列數與空缺。

只是判斷有沒有，就用 IN 或 EXISTS。它們是條件，對每一列只做留或丟，寫出來的意圖比 JOIN 加 DISTINCT 清楚——而哪一種比較快是另一個問題，答案取決於資料與索引。SQL.17 查詢的代價 用一道重複值的題目量分組、自連接與 EXISTS 三種寫法，並示範加一個索引之後排名重排——EXISTS 從最慢掉到與分組同一個量級。

IN 與 EXISTS 的分岔：子查詢含 NULL 時的否定式

IN 與 EXISTS 在「有沒有」這件事上同值，而在一個地方分岔：子查詢的結果裡有 NULL 的時候。

清單裡只要混了一個 NULL，NOT IN 就再也不會為真：值在清單裡的列判成明確的假，值不在清單裡的列因為那個 NULL 判成未知，兩種都被 WHERE 丟掉，整段查詢回零列且不報錯；NOT EXISTS 不受影響。在共用資料上多一張沒填顧客編號的訂單就看得到：

1INSERT INTO 訂單 VALUES (103, NULL, '2026-03-20', 100);   -- 訂單 103 沒有填顧客編號
2
3SELECT 姓名 FROM 顧客 WHERE 顧客編號 NOT IN (SELECT 顧客編號 FROM 訂單);
4-- 共用資料：宗翰、雅文
5-- 多了訂單 103 之後：零列，不報錯（子查詢交出的清單是 1、1、NULL）
6
7SELECT 姓名 FROM 顧客
8WHERE NOT EXISTS (SELECT 1 FROM 訂單 WHERE 訂單.顧客編號 = 顧客.顧客編號);
9-- 共用資料與多了訂單 103 之後都是：宗翰、雅文

完整的推導在 SQL.6 連接之後的列數與空缺：列數膨脹、外連接補的 NULL 與三值邏輯，包括 NOT EXISTS 的安全範圍為什麼限定在等號配對。零列與「確實沒有」在結果上分不開，所以 NOT IN 碰到 NULL 的錯只能靠寫的人預先知道「子查詢有 NULL 時 NOT IN 會失效」那條規則——SQL.13 查詢的合法性與答案的正確性：引擎檢查的範圍、答案錯掉的成因與查證方法 把它歸成誤解語意模型：寫的人對某條規則的預期與語意模型的規定不同，而誤解語意模型修得掉，改對之後永遠對。

所以肯定式的 IN 與 EXISTS 可以按可讀性挑，而否定式一律用 NOT EXISTS——除非能保證子查詢那一欄不會有 NULL，而那個保證要來自約束而不是來自習慣：翻遍現在的資料都沒有 NULL 只證明此刻沒有，而查詢要活得比這一批資料久。

還有一個形態上的差別：本篇 IN 的子查詢與外層無關，可以單獨拿出來執行，叫獨立子查詢；EXISTS 的子查詢引用了外層的欄位，離開外層就跑不動，是相關子查詢。讀陌生的查詢時，看子查詢裡有沒有出現外層的表名，就分得出它是算一次的獨立子查詢，還是對外層每一列各問一次的相關子查詢。

「語意相同就按可讀性挑」這個處置的適用範圍不只 IN、EXISTS 與 JOIN 這三種寫法：哪幾類寫法差異是免費的、哪一類會與效能分岔，在 SQL.21 可讀性與執行代價：兩者一致與分岔的情形。

SQL 用 EXISTS 與 NOT EXISTS 表達這兩個運算，語言本身沒有為它們保留關鍵字：

1-- 半連接：下過單的顧客
2SELECT 姓名 FROM 顧客
3WHERE EXISTS (SELECT 1 FROM 訂單 WHERE 訂單.顧客編號 = 顧客.顧客編號);
4
5-- 反連接：從未下單的顧客
6SELECT 姓名 FROM 顧客
7WHERE NOT EXISTS (SELECT 1 FROM 訂單 WHERE 訂單.顧客編號 = 顧客.顧客編號);

名字裡的「半」指結果只帶走一邊

三個運算作用在同一對關係上，差別在結果帶走什麼。

右邊那份資料在這兩個運算裡的角色是條件，它的欄位到不了結果。要把右邊的欄位列出來就得用連接，那條判斷標準在 SQL.8 IN、EXISTS 與 JOIN：列數、可取用的欄位與 NULL 的處理。

列數上限省掉去重這一步

半連接問的是配不配得到，所以配到幾筆不影響結果——一位顧客手上有兩張訂單或二十張訂單，EXISTS 都只讓她出現一次。同一個問題用連接寫，她會照訂單張數各出現一次，要補 DISTINCT 把複製出來的列收掉（SQL.6 連接之後的列數與空缺：列數膨脹、外連接補的 NULL 與三值邏輯）。

需要 DISTINCT 因此是一個訊號：這個查詢問的是有沒有，而連接順便做了它不需要的配對。

反連接有兩條描述路徑

NOT EXISTS 直接說「找不到」。外連接那一版先讓左邊每一列都保留下來，再挑出補了 NULL 的那些：

1SELECT 顧客.姓名 FROM 顧客
2LEFT JOIN 訂單 ON 訂單.顧客編號 = 顧客.顧客編號
3WHERE 訂單.訂單編號 IS NULL;

兩段回同一批列，路徑不同——一條由條件直接表達，另一條靠外連接補出來的 NULL 當標記。

NOT IN 的行為與這兩條分岔：子查詢的結果裡出現一個 NULL，整段就回零列且不報錯。反連接的安全寫法因此落在 NOT EXISTS 與外連接這兩條上（SQL.6 連接之後的列數與空缺：列數膨脹、外連接補的 NULL 與三值邏輯）。

概念位置

半連接與反連接跟連接一樣是導出運算：半連接等於連接之後只投影左邊的欄位再去重，反連接等於左邊減去半連接的結果。關聯代數的正典運算清單因此多半只列到連接，而「有沒有對應資料」這一族問題全部落在這兩個運算上——找出下過單的顧客、找出從未下單的顧客、找出比前一天熱的日子，題目與寫法各異而運算只有這兩個。

計畫上看不看得到這兩個運算的名字，各家不同。DuckDB 1.5.5 把它印成 Join Type: SEMI；SQLite 3.51.0 沒有對應的運算子，它把 EXISTS 的子查詢編成帶一個 LIMIT 1 計數器的迴圈，找到第一筆就跳出去——語意相同，而執行計畫上只看得到一個子查詢節點。

它們與積分別是連接結果大小的兩個極端。積是條件缺席時的上限，列數是兩邊相乘；半連接把上限壓到左邊的列數，因為右邊配到幾列都只算一次。中間那一段是連接，結果的大小由配對的重複程度決定。

往下走

IN、EXISTS 與 JOIN 在列數與可取用欄位上的差別、以及選哪一種只問一句話，在 SQL.8 IN、EXISTS 與 JOIN：列數、可取用的欄位與 NULL 的處理。從一句業務描述推到反連接、以及為什麼計數那條路走不通，在 SQL.9 分組鍵的選擇：鍵與一組所代表的對象。同一張表的兩列互相比較時這兩個運算長什麼樣，在 SQL.7 表的出現與別名：表名的指稱、別名的作用範圍與自連接。同一組寫法的快慢隨索引與資料分布重排的實測，在 SQL.17 查詢的代價。