web-dev-qa-db-ja.com

SQLロジック演算子の優先順位：AndおよびOr

以下の2つのステートメントは同等ですか？

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

これを確認するために使用できる何らかの真理値表はありますか？

sqllogical-operatorsoperator-precedence
156
nc.

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

参照を参照したい人（アルファベット順）：

258
Charles Bretana

2つのポイントを追加します。

  • 「IN」は事実上、括弧で囲まれたシリアルORです
  • ANDは、私が知っているすべての言語でORよりも優先されます

したがって、2つの式は単純に等しくありません。

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が分割され、優先順位が変更されます。

32
gbn
  1. 算術演算子
  2. 連結演算子
  3. 比較条件
  4. IS [NOT] NULL、LIKE、[NOT] IN
  5. [NOT] BETWEEN
  6. 等しくない
  7. NOT論理条件
  8. AND論理条件
  9. OR論理条件

括弧を使用して、優先順位の規則をオーバーライドできます。

21
Yassine Abdul-Rahman

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
8
AjV Jsy