SQL知识：图解各种join的执行原理

在SQL中，JOIN连接是较为基础也较为关键的一部分，正确理解JOIN，有助于提高数据库查询的速度和效率。今天我们将用图形的方式讲解JOIN ON在数据库中是怎么执行的，已帮助我们更好的了解join。

测试样表

我们新建两张测试表Customers和Orders，表结构如下：

表Customers

表Orders

要求：查询每个客户的订单数量

我们先直接写出查询语句：

SELECT a.CustomerName,Count(OrderID) Nums
FROM Customers a
LEFT JOIN Orders b ON a.CustomerID=b.CustomerID
GROUP BY a.CustomerName

结果如下：

问：这个结果是怎么来的呢？

要搞清楚这个结果是怎么来的，我们需要先知道一个概念：笛卡尔积。

1、执行笛卡尔积（交叉联接）

什么是笛卡尔积？

笛卡尔乘积是指在数学中，两个集合X和Y的笛卡尔积，表示为X×Y，第一个对象是X的成员而第二个对象是Y的所有可能有序对的其中一个成员。

具体如下图：

而我们在进行SQL的表关联时，JOIN的第一步就是生成笛卡尔积。我们上面的代码

... Customers a LEFT JOIN  Orders b ...

最开始是在数据库中生成了一张笛卡尔积的虚表VT1，VT1里面的数量正是两个表（Customers和Orders）数量的乘积9条(3 × 3)，我们可以使用如下代码获得笛卡尔积：

SELECT 
B.CustomerID,
B.CustomerName,
A.OrderID,
A.CustomerID
FROM Orders A
CROSS JOIN Customers B

查询出来的数据如下：

虚表VT1

2、执行过滤筛选
当JOIN将两个表生成笛卡尔积的虚表VT1之后，随后的ON开始执行筛选功能，ON后面的条件就是指符合条件的返回结果TRUE，不符合条件的返回结果FALSE，以及未知情况UNKNOWN。

在继续讲解前我们需要先普及一下三值逻辑的概念

三值逻辑就是我们上面说到的ON返回的三个结果：TRUE，FALSE和UNKNOWN。

大多数的编程语言中返回的结果要么是TRUE，要么就是FALSE。而SQL中的UNKONWN通常与NULL值出现有关。

以下情况都会返回UNKNOWN：

NULL>21

NULL=NULL

X+NULL>Y

NULL代表一种缺失值，当把一个缺失值与其他任意值进行比较时，结果始终为UNKNOWN。

而我们上面的代码中的ON的条件是这样写的：

... a.CustomerID=b.CustomerID ...

意思就是取a(表Customers的别名)和b(表Orders的别名)中CustomerID相等的结果。根据这个筛选条件，虚表T1中可以生成相应逻辑值，如下图：

ON筛选的逻辑结果表

从上面我们可以看到完全满足条件（Logic Value的值为TRUE）的只有两条记录，数据库会将这些结果插入到虚表VT2，进行下一步的操作准备。

虚表VT2

3、添加外部行
这一步只在外联接(OUT JOIN)中才会发生。对于外联接，通过为其指定一种联接方式(LEFT，RIGHT或FULL)，就把一个或两个输入表标记为保留表。

把表标记为保留表，即表示希望返回该表的所有行，即使ON过滤了一些行。

左连接(LEFT OUT JOIN)是把左边的表作为保留表，右连接（RIGHT OUT JOIN）是把右边的表作为保留表，全连接（FULL OUT JOIN）则是把两个表都作为保留表。（我们在书写时，通常会省略掉OUT)

在执行完ON的筛选后，我们根据写法来添加这些保留表中记录。

我们上面的代码使用的是LEFT JOIN，所以我们需要将左表（注：LEFT JOIN 左边的表）Customers表作为保留表。

在ON筛选完后，我们发现Customers表中CustomerID为1的没有在VT2中，我们需要将这条记录的相关信息添加到VT2中生成虚表VT3，并且将Order表中的所有数据置为NULL，因为他们（指表Orders中的两列）不属于保留表，不是我们需要保留的数据。这样汇总后虚表T3中的数据如下：

虚表VT3

这样当我们再对表Orders中的OrderID计数时，CustomerID为1的客户因为没有订单，返回的结果将为0，而CustomersID为2,3的客户都有一个订单，返回的结果将为1。

至此整个表关联环节就执行完成了。

以上就是JOIN在数据库中执行的相关内容，仅供大家参考。

重要声明：本文来自SQL数据库开发，经授权转载，版权归原作者所有，不代表锐成观点，转载的目的在于传递更多知识和信息。