ความสำคัญของผู้ประกอบการลอจิก 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" เป็น OR หรือ Serial ที่มีเครื่องหมายวงเล็บอยู่รอบ ๆ
• และมีความสำคัญเหนือกว่าหรือในทุกภาษาที่ฉันรู้

ดังนั้นทั้ง 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 ขึ้นมาคุณจะแยก ORS อนุกรมและเปลี่ยนลำดับความสำคัญ

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