Пріоритетність логічного оператора SQL: І та Ор

Чи є два твердження нижче еквівалентними?

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

Чи є якась таблиця істини, яку я міг би використати для перевірки цього?

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
• Пріоритет оператора Oracle MySQL 9
• Oracle 10g пріоритет
• Послідовність операторів PostgreSQL
• SQL, як розуміє SQLite

Я додам 2 бали:

• "IN" - це фактично послідовні АБО з дужками навколо них
• І має перевагу над АБО у всіх мовах, які я знаю

Отже, 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 вгору, ви розділите послідовні АБО вгору та змінили пріоритет.

1. Арифметичні оператори
2. Оператор конкатенації
3. Умови порівняння
4. IS [NOT] NULL, LIKE, [NOT] IN
5. [НЕ] МЕЖ
6. Не дорівнює
7. НЕ логічна умова
8. І логічний стан
9. АБО логічний стан

Ви можете використовувати круглі дужки для зміни правил пріоритетності.

Запит, щоб показати 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