共用方式為


聯結 (SQL Server)

適用於:SQL ServerAzure SQL DatabaseAzure SQL Managed InstanceAzure Synapse Analytics分析平台系統(PDW)Microsoft Fabric 中的 SQL 資料庫

SQL Server 會使用聯結,根據資料表之間的邏輯關聯性,從多個資料表擷取資料。 聯結是關聯式資料庫作業的基礎,可讓您將兩個或多個資料表的資料合併成單一結果集。

SQL Server 會實作邏輯聯結作業 (由 Transact-SQL 語法定義) 和實體聯結作業 (用來執行聯結的實際演算法)。 了解這兩個方面有助於您編寫高效的查詢並優化資料庫效能。

邏輯聯結作業包括:

  • 內部聯結
  • 左、右和完整外部聯結
  • 交叉聯結

實體聯結作業包括:

  • 巢狀迴圈聯結
  • 合併聯結
  • 雜湊聯結
  • 調適性聯結 (適用於: SQL Server 2017 (14.x) 和更新版本)

本文說明聯結的運作方式、何時使用不同的聯結類型,以及查詢最佳化工具如何根據資料表大小、可用索引和資料分佈等因素選取最有效率的聯結演算法。

Note

如需聯結語法的詳細資訊,請參閱 FROM 子句加上 JOIN、APPLY、PIVOT。

加入基本概念

使用聯結,您即可根據資料表之間的邏輯關聯性,從兩個或更多資料表中擷取資料。 聯結會指出 SQL Server 應該如何使用一個資料表的資料來選取另一個資料表中的資料列。

聯結條件定義兩個資料表在查詢中相關的方式:

  • 指定每個資料表中要用於聯結的資料行。 典型的聯結條件會指定一個資料表的外部索引鍵,以及其在另一個資料表關聯的索引鍵。
  • 指定邏輯運算子 (例如 = 或 <>) 以用來比較來自資料行的值。

聯結是使用下列 Transact-SQL 語法的邏輯來表示的:

  • [ INNER ] JOIN
  • LEFT [ OUTER ] JOIN
  • RIGHT [ OUTER ] JOIN
  • FULL [ OUTER ] JOIN
  • CROSS JOIN

內部聯結可在 FROMWHERE 子句中指定。 外部聯結交叉聯結只能在 FROM 子句中指定。 聯結條件會與 WHEREHAVING 搜尋條件結合,以控制從 FROM 子句所參考之基底資料表中選取的資料列。

FROM 子句中指定聯結條件有助於將它們與 WHERE 子句中可能指定的任何其他搜尋條件分開,建議您以此方式指定聯結。 簡化的 ISO FROM 子句聯結語法為:

FROM first_table < join_type > second_table [ ON ( join_condition ) ]
  • join_type 會指定所執行聯結的種類:內部、外部或交叉聯結。 如需不同聯結類型的說明,請參閱 FROM子句
  • join_condition 會定義要針對每一對聯結資料列評估的述詞。

下列的程式碼是 FROM 子句聯結規格的範例:

FROM Purchasing.ProductVendor INNER JOIN Purchasing.Vendor
     ON ( ProductVendor.BusinessEntityID = Vendor.BusinessEntityID )

下列程式碼是使用聯結的簡易 SELECT 陳述式:

SELECT ProductID, Purchasing.Vendor.BusinessEntityID, Name
FROM Purchasing.ProductVendor INNER JOIN Purchasing.Vendor
    ON (Purchasing.ProductVendor.BusinessEntityID = Purchasing.Vendor.BusinessEntityID)
WHERE StandardPrice > $10
  AND Name LIKE N'F%';
GO

SELECT 陳述式將傳回其名稱以字母 F 開頭的公司所供應零件,且產品價格大於 $10 的任何組合其產品與供應商資訊。

若在單一查詢中參考多個資料表,所有的資料行參考都不可以模擬兩可。 在先前範例中,ProductVendorVendor 兩個資料表都有名為 BusinessEntityID 的資料行。 查詢所參考的二或多個資料表中,若有任何資料行名稱重複,則必須以資料表名稱來加以限定。 在範例中,所有對 Vendor 資料行的參考都已限定。

當資料行名稱未在查詢中使用的兩個或多個資料表中重複時,對該資料行名稱的參考不需要以資料表名稱進行限定。 如先前的範例所示。 這樣的 SELECT 子句有時很難理解,因為沒有任何內容可以指示提供每列的表格。 如果以資料表名稱限定所有資料行,可增進查詢的可讀性。 如果還使用資料表別名,特別是當資料表名稱本身還需要以資料庫和擁有者名稱加以限定時,可進一步增進可讀性。 下列程式碼是相同的範例,但是指定了資料表別名,並且以資料表別名限定資料行,以增進可讀性:

SELECT pv.ProductID, v.BusinessEntityID, v.Name
FROM Purchasing.ProductVendor AS pv
INNER JOIN Purchasing.Vendor AS v
    ON (pv.BusinessEntityID = v.BusinessEntityID)
WHERE StandardPrice > $10
    AND Name LIKE N'F%';

先前範例在 FROM 子句中指定了聯結條件,這是較好的方式。 下列查詢包含指定於 WHERE 子句中的相同聯結條件:

SELECT pv.ProductID, v.BusinessEntityID, v.Name
FROM Purchasing.ProductVendor AS pv, Purchasing.Vendor AS v
WHERE pv.BusinessEntityID=v.BusinessEntityID
    AND StandardPrice > $10
    AND Name LIKE N'F%';

聯結的 SELECT 清單可參考聯結資料表中的所有資料行,或資料行的任何子集。 SELECT清單不需要包含聯結中每個資料表的資料行。 例如,在三個資料表的聯結中,一個資料表可作為第二個資料表與第三個資料表的橋樑,並且中間的資料表不需要有任何資料行參考於選取清單中。 這也稱為反半聯結

雖然聯結條件通常擁有相等比較 (=),您也可以指定其他的比較或關聯式運算子,就如同其他述詞一樣。 如需詳細資訊,請參閱比較運算子WHERE。

當 SQL Server 處理聯結時,查詢最佳化工具將從多種可能性選擇最有效率的聯結處理方式。 這包括選擇最有效的實體聯結類型、表的聯結順序,甚至使用無法直接用 Transact-SQL 語法表達的邏輯聯結操作類型,例如 半聯結反半聯結。 各種聯結的實體執行可以使用許多不同的最佳化,因此無法可靠地預測。 如需半聯結及反半聯結的相關資訊,請參閱 邏輯及實體顯示計劃運算子參考

聯結條件中使用的資料行不需要具有相同的名稱或相同的資料類型。 不過,如果資料類型不相同,則它們必須相容,或是 SQL Server 可以隱含轉換的類型。 如果無法隱含轉換資料類型,則聯結條件必須使用函式明確 CAST 轉換資料類型。 如需隱含和明確轉換的詳細資訊,請參閱資料類型轉換 (資料庫引擎)。

大多數使用聯結的查詢都可使用子查詢重新改寫 (查詢巢狀於另一個查詢之內),而大多數的子查詢也可重新改寫成聯結。 如需子查詢的詳細資訊,請參閱子查詢 (SQL Server)。

Note

表格無法直接在 ntext、text 或影像資料行上聯結。 不過,可以藉由使用 SUBSTRING,以間接方式在 ntext、text 或 image 資料行上聯結資料表。 例如,SELECT * FROM t1 JOIN t2 ON SUBSTRING(t1.textcolumn, 1, 20) = SUBSTRING(t2.textcolumn, 1, 20) 會對資料表 t1t2 中每個 text 資料行的前 20 個字元執行兩個資料表的內部聯結。 此外,另一個比較兩個資料表之 ntext 或 text 資料行的可能方式,就是使用 WHERE 子句來比較資料行的長度,例如:WHERE DATALENGTH(p1.pr_info) = DATALENGTH(p2.pr_info)

了解巢狀迴圈聯結

如果一個聯結輸入相當小 (少於 10 個資料列),但另一個聯結輸入相當大而且在聯結資料行建有索引的話,索引巢狀迴圈是最快速的聯結作業,因為它們需要的 I/O 最少,需要的比較也最少。

巢狀迴圈聯結 (也稱為「巢狀反覆運算」) 會使用一個聯結輸入作為外部輸入資料表 (在圖形化執行計劃中顯示為上方輸入),另一個聯結作為內部 (下方) 輸入資料表。 外部迴圈會逐列消耗外部輸入資料表。 內部迴圈 (針對外部每一列各執行一次) 會在內部輸入資料表中搜尋符合的資料列。

在最簡單的情況下,搜尋會掃描整個資料表或索引;這稱為「單純巢狀迴圈聯結」。 如果搜尋利用索引,則稱為 索引巢狀迴圈聯結。 如果索引建置為查詢計劃的一部分 (,並在查詢完成時終結) ,則稱為 暫存索引巢狀迴圈聯結。 「查詢最佳化工具」會將所有這些變化都列入考慮。

如果外部輸入相當小,內部輸入已預先建立索引而且很大的話,巢狀迴圈聯結會特別有效率。 在許多小型交易中 (如只影響一小組資料列的交易),索引巢狀迴圈聯結比合併聯結與雜湊聯結要好得多。 然而在大型查詢中,巢狀迴圈聯結多半不是最佳選擇。

當巢狀迴圈聯結運算子的 OPTIMIZED 屬性設定為 True 時,代表會在內部資料表過大時使用巢狀迴圈聯結 (或稱批次排序) 來將 I/O 最小化,而不論資料表平行與否。 因為排序本身是隱藏作業,所以在分析執行計劃時,此最佳化在指定計劃內可能不會很明顯。 但如果仔細在計劃 XML 中尋找屬性 OPTIMIZED 的話,能看出來巢狀迴圈聯結可能在嘗試重新排序輸入資料列來改善 I/O 效能。

合併聯結

如果兩個聯結輸入不小,但在其聯結資料行上排序 (例如,如果它們是透過掃描排序索引取得的) ,則合併聯結是最快的聯結作業。 如果兩個聯結輸入都相當大,而且兩個輸入的大小類似,先行排序再進行的合併聯結所提供的效能大致類似雜湊聯結。 然而,如果兩個輸入的大小差異極大的話,雜湊聯結作業多半快得多。

合併聯結需要在合併直欄上排序這兩個輸入,這些直欄由聯結述詞的相等 (ON) 子句定義。 查詢最佳化工具通常會掃描索引 (如果適當的資料行集合建有索引的話),或在合併聯結下放置排序運算子。 在極少的情況下,可以有多個相等子句,但只會從部份可用的相等子句中取得合併資料行。

因為每個輸入都會經過排序,所以合併聯結運算子會從每個輸入各取得一列資料列,然後加以比較。 例如,對於內部聯結作業,會傳回是否相等的資料列。 如果它們不相等,則會捨棄較低值的資料列,並從該輸入取得另一資料列。 這個處理程序會一再重複,直到處理過所有資料列為止。

合併聯結作業可能是一般的,也可能是多對多的作業。 多對多合併聯結會使用暫存資料表來儲存資料列。 如果每個輸入有重複的值,在處理其他輸入的每個重複項時,必須將輸入之一倒回重複項的開始。

如果出現殘餘述詞的話,滿足合併述詞的所有資料列都會計算殘餘述詞,只有滿足的資料列才會傳回。

合併聯結本身非常快,但如果需要排序作業的話,有時候代價會很高。 但如果資料量很大,而且可以從現有的 B-tree 索引取得已排序的預期資料,那麼合併聯結往往是可用的最快速聯結演算法。

雜湊聯結

雜湊聯結可以有效率地處理大型、未排序、無索引的輸入。 它們在做為複雜查詢的中繼結果方面很有用,因為:

  • 中繼結果不會編製索引 (除非明確儲存至磁碟,然後編製索引),而且通常不會針對查詢計劃中的下一個作業進行適當的排序。
  • 查詢最佳化工具只估計中繼結果的大小。 因為複雜查詢的估計值可能非常不準確,所以處理中繼結果的演算法不僅必須要有效率,而且萬一中繼結果顯著大於預期時,它的效能還不得惡化得太明顯。

雜湊聯結允許少使用反正規化。 反正規化一般是利用減少聯結作業,來達成較佳的效能,但它會有備援性的危險,例如不一致的更新。 雜湊聯結降低了反正規化的需要。 雜湊聯結讓垂直分割 (以不同的檔案或索引來呈現一個資料表中的資料行群組) 可以成為實體資料庫設計可實行的選項。

雜湊聯結有兩個輸入:建置輸入與探查輸入。 查詢最佳化工具會指派這些角色,使兩個輸入中比較小的一個做為建置輸入。

雜湊聯結用於許多種集合比對作業:內部聯結;左方、右方與完整外部聯結;左方、右方半聯結;交集;聯合;與差異。 此外,雜湊聯結的變體還可以執行移除重複項及進行群組的作業,例如 SUM(salary) GROUP BY department。 這些修改方式只使用一個輸入,兼做組建與探查角色。

下列章節描述不同類型的雜湊聯結:In-Memory 雜湊聯結、寬限雜湊聯結和遞迴雜湊聯結。

記憶體內部雜湊聯結

雜湊聯結會先掃描或計算整個建置輸入,然後在記憶體中建立雜湊表。 根據以雜湊鍵計算所得的雜湊值,將每一列插入雜湊桶中。 如果整個建置輸入小於可用記憶體,就可以將所有資料列都插入雜湊表。 這個組建階段後跟著探查階段。 這時候會以逐列方式掃描或計算整個探查輸入,針對每個探查列計算雜湊鍵值、掃描對應的雜湊桶,並產生符合項目。

寬限雜湊聯結

如果建置輸入不適合記憶體,雜湊聯結會分幾個步驟進行。 這就是所謂的寬限雜湊聯結。 每個步驟分別有組建階段與探查階段。 最開始,會消耗整個組建與探查輸入,並分割 (對雜湊鍵使用雜湊函數) 成多個檔案。 對雜湊鍵使用雜湊函數會保證任何兩個聯結資料錄一定在同一對檔案中。 因此,本來是聯結兩個大型輸入的工作,變成是做好幾個相同的工作,但每個工作都變得比較小。 然後再對每對分割檔案套用雜湊聯結。

遞迴雜湊聯結

如果建置輸入太大,使得標準外部聯結排序的輸入需要多個合併層級,就需要多個分割步驟與多個分割層級。 如果只有一些分割很大,就僅對這部分使用額外的分割步驟。 為了使所有分割步驟都盡可能達到最快的速度,所以使用大型的非同步 I/O 作業,使單一執行緒可以讓多部磁碟機保持忙碌。

Note

如果建置輸入只比可用記憶體稍微大一點,就會將 In-memory 雜湊聯結和寬限雜湊聯結的元素合併到單一步驟中,而產生混合型雜湊聯結。

在優化期間,不一定可以判斷使用哪個雜湊聯結。 因此,SQL Server 會先從使用 In-Memory 雜湊聯結開始,然後再依據建置輸入的大小,逐漸轉換成寬限雜湊聯結和遞迴雜湊聯結。

如果「查詢最佳化工具」誤判兩個輸入中哪個較小,因而選錯建置輸入,則建置和探查角色會動態地顛倒。 雜湊聯結會確定使用溢位較小的檔案做為建置輸入。 這項技術稱為角色反轉。 當至少有一個雜湊聯結蔓延至磁碟之後,角色反轉就會在雜湊聯結內發生。

Note

角色反轉的發生與任何查詢提示或結構無關。 角色反轉不會顯示在您的查詢計劃中;當它發生時,它對用戶來說是透明的。

哈希救助

雜湊釋出一詞有時候是用來描述寬限雜湊聯結或遞迴雜湊聯結。

Note

遞迴雜湊聯結或 Hash Bailout 會導致伺服器的效能降低。 如果您在追蹤內看到許多 「雜湊警告」事件,請在要聯結的資料行上更新統計資料。

如需有關雜湊釋出的詳細資訊,請參閱雜湊警告事件類別

調適性聯結

批次模式自適性聯結可讓選擇的雜湊聯結巢狀迴圈聯結方法,延後到已掃描的第一個輸入之後。 自適性聯結運算子定義的閾值是用於決定何時要切換至巢狀迴圈計劃。 因此,查詢計劃可在執行期間動態切換至較佳的聯結策略,而不需經過重新編譯。

Tip

經常在小型和大型聯結輸入掃描間變動的工作負載,由此功能獲益最大。

執行階段決策以下列步驟為基礎:

  • 如果組建聯結輸入的資料列計數小到巢狀迴圈聯結會比雜湊聯結更佳的情況,則計劃就會切換成巢狀迴圈演算法。
  • 如果組建聯結輸入超過特定的資料列計數閾值,則不會切換,且您的計劃會繼續執行雜湊聯結。

下列查詢用來說明自適性聯結範例:

SELECT [fo].[Order Key], [si].[Lead Time Days], [fo].[Quantity]
FROM [Fact].[Order] AS [fo]
INNER JOIN [Dimension].[Stock Item] AS [si]
       ON [fo].[Stock Item Key] = [si].[Stock Item Key]
WHERE [fo].[Quantity] = 360;

此查詢會傳回 336 個資料列。 透過啟用即時查詢統計資料,會顯示下列計劃:

執行計畫的螢幕擷取畫面,顯示最終適應型聯結運算子中的查詢結果 336 個資料列。

在計劃中,請注意:

  1. 使用了資料行存放區索引掃描,為雜湊聯結建置階段提供資料列。
  2. 新的自適性聯結運算子。 此運算子定義的閾值是用於決定何時要切換至巢狀迴圈計劃。 本例中的閾值是 78 個資料列。 凡是 >= 78 個資料列的計劃都會使用雜湊聯結。 如果小於該閾值,則會使用巢狀迴圈聯結。
  3. 因為查詢傳回 336 個資料列 (超過閾值),所以第二個分支會表示標準雜湊聯結運算子的探查階段。 即時查詢統計資料會顯示流經運算子的資料列,本例中為 "672 of 672"。
  4. 而最後一個分支是叢集索引搜尋,供未超過閾值的巢狀迴圈聯結所使用。 請注意,我們看到的顯示是「0 of 336」資料列 (分支未使用)。

現在對比使用相同查詢的計畫,但當 Quantity 值在資料表中只有一個資料列時:

SELECT [fo].[Order Key], [si].[Lead Time Days], [fo].[Quantity]
FROM [Fact].[Order] AS [fo]
INNER JOIN [Dimension].[Stock Item] AS [si]
       ON [fo].[Stock Item Key] = [si].[Stock Item Key]
WHERE [fo].[Quantity] = 361;

查詢會傳回一個資料列。 啟用即時查詢統計資料會顯示下列計劃:

執行計畫的螢幕擷取畫面,顯示顯示一個資料列的最終適應型聯結。

在計劃中,請注意:

  • 因為傳回一個資料列,現在叢集索引搜尋中有資料列通過。
  • 而且由於雜湊聯結建置階段未繼續,因此沒有資料列流經第二個分支。

自適性聯結備註

自調性聯結導入的記憶體需求,會比索引巢狀的迴圈聯結相等計劃更高。 系統會以巢狀迴圈有如雜湊聯結一般的方式要求額外的記憶體。 建置階段也存在額外負荷,因為走走停停的作業,與巢狀迴圈串流對等的聯結。 加上額外的成本,隨組建輸入資料列計數浮動的案例而變動。

批次模式自適性聯結適合初次執行的陳述式使用,而且一旦編譯,連續執行仍會根據編譯的自適性聯結閾值和流經外部輸入建置階段的執行階段資料列聯結自動調整。

如果自適性聯結切換成巢狀迴圈作業,便會使用已由雜湊聯結組建讀取的資料列。 運算子「不會」再次重新讀取外部參考資料列。

追蹤自適性聯結活動

自適性聯結運算子有下列計劃運算子屬性:

計劃屬性 Description
AdaptiveThresholdRows 顯示從雜湊聯結切換至巢狀迴圈聯結所使用的閾值。
EstimatedJoinType 可能的聯結類型。
ActualJoinType 在實際的計劃中,顯示根據閾值最後選擇的聯結演算法。

評估計劃會顯示自適性聯結計劃圖形,以及定義的自適性聯結閾值和預估的聯結類型。

Tip

查詢存放區擷取並可強制執行批次模式自適性聯結計劃。

符合自適性聯結的陳述式

讓邏輯聯結符合批次模式自適性聯結有幾個條件:

  • 資料庫相容性層級為 140 以上。
  • 查詢是 SELECT 陳述式 (資料修改陳述式目前不適合)。
  • 聯結能夠由索引巢狀迴圈聯結或雜湊聯結實體演算法執行。
  • 雜湊聯結使用批次模式,可透過存在於整體查詢中的資料行存放區索引、由聯結直接參考的資料行存放區索引資料表,或透過使用資料列存放區中的批次模式加以啟用。
  • 產生的巢狀迴圈聯結和雜湊聯結替代解決方案應該有相同的第一個子系 (外部參考)。

自適性閾值資料列

下圖顯示雜湊聯結成本與巢狀迴圈聯結替代方案成本之間的交集範例。 在此交集點決定的閾值,會隨之決定用於聯結作業的實際演算法。

顯示比較雜湊聯結與巢狀迴圈聯結之適應型聯結閾值的折線圖。巢狀迴圈聯結在低資料列的成本較低,但在較高資料列的資料列計數較高。

停用自適性聯結而不變更相容性層級

您可以在資料庫或陳述式的範圍停用自適性聯結,同時仍將資料庫相容性層級維持在 140 或更高層級。

若要針對源自資料庫的所有查詢執行停用自適性聯結,請在適用資料庫的內容中執行下列程式碼:

-- SQL Server 2017
ALTER DATABASE SCOPED CONFIGURATION SET DISABLE_BATCH_MODE_ADAPTIVE_JOINS = ON;

-- Azure SQL Database, SQL Server 2019 and later versions
ALTER DATABASE SCOPED CONFIGURATION SET BATCH_MODE_ADAPTIVE_JOINS = OFF;

啟用時,此設定在 sys.database_scoped_configurations 中會顯示為已啟用。

若要針對源自資料庫的所有查詢執行重新啟用自適性聯結,請在適用資料庫的內容中執行下列程式碼:

-- SQL Server 2017
ALTER DATABASE SCOPED CONFIGURATION SET DISABLE_BATCH_MODE_ADAPTIVE_JOINS = OFF;

-- Azure SQL Database, SQL Server 2019 and later versions
ALTER DATABASE SCOPED CONFIGURATION SET BATCH_MODE_ADAPTIVE_JOINS = ON;

您也可以將 DISABLE_BATCH_MODE_ADAPTIVE_JOINS 指定為 USE HINT 查詢提示,以針對特定查詢停用自適性聯結。 例如:

SELECT s.CustomerID,
       s.CustomerName,
       sc.CustomerCategoryName
FROM Sales.Customers AS s
LEFT OUTER JOIN Sales.CustomerCategories AS sc
       ON s.CustomerCategoryID = sc.CustomerCategoryID
OPTION (USE HINT('DISABLE_BATCH_MODE_ADAPTIVE_JOINS'));

Note

USE HINT查詢提示優先於資料庫範圍的組態或追蹤旗標設定。

Null 值與聯結

當要聯結的資料表資料行中有 Null 值時,Null 值彼此不相符。 若所要聯結之其中一個資料表的資料行中出現 Null 值,將只能藉由使用外部聯結來傳回該值 (除非 WHERE 子句會排除 Null 值)。

以下列出兩個資料表,而每個資料表都有 NULL 值出現在參與於聯結的資料行中:

table1                          table2
a           b                   c            d
-------     ------              -------      ------
      1        one                 NULL         two
   NULL      three                    4        four
      4      join4

將資料行a中的值與資料行c中的值進行比較的聯結不會在值為 :NULL

SELECT *
FROM table1 t1 JOIN table2 t2
   ON t1.a = t2.c
ORDER BY t1.a;
GO

唯一傳回的只有在資料行 4a 中有 c 值的資料列:

a           b      c           d
----------- ------ ----------- ------
4           join4  4           four

(1 row(s) affected)

基底資料表傳回的 Null 值,也很難與外部聯結傳回的 Null 值作區分。 例如,下列 SELECT 陳述式將對這兩個資料表進行左方外部聯結:

SELECT *
FROM table1 t1 LEFT OUTER JOIN table2 t2
   ON t1.a = t2.c
ORDER BY t1.a;
GO

結果集如下所示。

a           b      c           d
----------- ------ ----------- ------
NULL        three  NULL        NULL
1           one    NULL        NULL
4           join4  4           four

(3 row(s) affected)

結果無法輕鬆區分資料中的 a NULL 和代表聯結失敗的 a NULL 。 當值存在於要聯結的資料中時 NULL ,通常最好使用一般聯結從結果中省略它們。