SQL逻辑运算符优先级：And和Or

Question

以下两个陈述是否相同？

SELECT [...]
FROM [...]
WHERE some_col in (1,2,3,4,5) AND some_other_expr

和

SELECT [...]
FROM [...]
WHERE some_col in (1,2,3) or some_col in (4,5) AND some_other_expr

我可以用某种真值表来验证这个吗？

Answer 1

And优先于Or，因此，即使a <=> a1 Or a2

Where a And b 

与

不同

Where a1 Or a2 And b,

因为那将被执行为

Where a1 Or (a2 And b)

以及你想要的，使它们相同，如下（使用括号来覆盖优先规则）：

 Where (a1 Or a2) And b

以下是一个例子来说明：

Declare @x tinyInt = 1
Declare @y tinyInt = 0
Declare @z tinyInt = 0

Select Case When @x=1 OR @y=1 And @z=1 Then 'T' Else 'F' End -- outputs T
Select Case When (@x=1 OR @y=1) And @z=1 Then 'T' Else 'F' End -- outputs F

对于那些喜欢咨询参考文献的人（按字母顺序排列）：

• Microsoft Transact-SQL operator precedence
• Oracle MySQL 9 operator precedence
• Oracle 10g condition precedence
• PostgreSQL operator Precedence
• SQL as understood by SQLite

Answer 2

我会加2分：

• “IN”实际上是围绕它们的括号的串行OR，
• 并且在我知道的每种语言中优先于OR

所以，这两个表达式根本不相等。

WHERE some_col in (1,2,3,4,5) AND some_other_expr
--to the optimiser is this
WHERE
     (
     some_col = 1 OR
     some_col = 2 OR 
     some_col = 3 OR 
     some_col = 4 OR 
     some_col = 5
     )
     AND
     some_other_expr

因此，当你打破IN子句时，你将串行OR分开，并改变优先级。

Answer 3

1. 算术运算符
2. 连接运算符
3. 比较条件
4. IS [NOT] NULL，LIKE，[NOT] IN
5. [NOT] BETWEEN
6. 不等于
7. 非逻辑条件
8. AND逻辑条件
9. OR逻辑条件

您可以使用括号覆盖优先规则。

Answer 4

查询以显示3变量布尔表达式真值表：

;WITH cteData AS
(SELECT 0 AS A, 0 AS B, 0 AS C
UNION ALL SELECT 0,0,1
UNION ALL SELECT 0,1,0
UNION ALL SELECT 0,1,1
UNION ALL SELECT 1,0,0
UNION ALL SELECT 1,0,1
UNION ALL SELECT 1,1,0
UNION ALL SELECT 1,1,1
)
SELECT cteData.*,
    CASE WHEN

(A=1) OR (B=1) AND (C=1)

    THEN 'True' ELSE 'False' END AS Result
FROM cteData

(A=1) OR (B=1) AND (C=1)的结果：

A   B   C   Result
0   0   0   False
0   0   1   False
0   1   0   False
0   1   1   True
1   0   0   True
1   0   1   True
1   1   0   True
1   1   1   True

(A=1) OR ( (B=1) AND (C=1) )的结果相同。

( (A=1) OR (B=1) ) AND (C=1)的结果：

A   B   C   Result
0   0   0   False
0   0   1   False
0   1   0   False
0   1   1   True
1   0   0   False
1   0   1   True
1   1   0   False
1   1   1   True