Toán tử SQL Logic Ưu tiên: Và và Hoặc

Là hai tuyên bố dưới đây tương đương?

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

và

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

Có một số loại bảng sự thật tôi có thể sử dụng để xác minh điều này?

Andđã được ưu tiên hơn Or, vì vậy, ngay cả khia <=> a1 Or a2

Where a And b 

không giống như

Where a1 Or a2 And b,

bởi vì điều đó sẽ được thực thi như

Where a1 Or (a2 And b)

và những gì bạn muốn, để làm cho chúng giống nhau, là như sau (sử dụng dấu ngoặc đơn để ghi đè các quy tắc ưu tiên):

 Where (a1 Or a2) And b

Đây là một ví dụ để minh họa:

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

Đối với những người thích tham khảo tài liệu tham khảo (theo thứ tự chữ cái):

• Ưu tiên toán tử Microsoft Transact-SQL
• Ưu tiên nhà điều hành Oracle MySQL 9
• Ưu tiên điều kiện 10g của Oracle
• Toán tử PostgreQuery Ưu tiên
• SQL được hiểu bởi SQLite

Tôi sẽ thêm 2 điểm:

• "IN" là các OR nối tiếp hiệu quả với dấu ngoặc đơn xung quanh chúng
• VÀ được ưu tiên hơn OR trong mọi ngôn ngữ tôi biết

Vì vậy, 2 biểu thức đơn giản là không bằng nhau.

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

Vì vậy, khi bạn ngắt mệnh đề IN lên, bạn tách các OR nối tiếp lên và thay đổi quyền ưu tiên.

1. Toán tử số học
2. Điều hành nối
3. Điều kiện so sánh
4. LÀ [KHÔNG] NULL, THÍCH, [KHÔNG] VÀO
5. [KHÔNG PHẢI Ở GIỮA
6. Không bằng
7. KHÔNG điều kiện logic
8. VÀ điều kiện logic
9. HOẶC điều kiện logic

Bạn có thể sử dụng dấu ngoặc đơn để ghi đè các quy tắc ưu tiên.

Truy vấn để hiển thị bảng chân lý biểu thức boolean 3 biến:

;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

Kết quả cho (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

Kết quả cho (A=1) OR ( (B=1) AND (C=1) )giống nhau.

Kết quả cho ( (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