Prédominance des opérateurs logiques SQL : Et et Ou

Question

Les deux affirmations ci-dessous sont-elles équivalentes ?

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

et

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

Y a-t-il une sorte de table de vérité que je pourrais utiliser pour vérifier cela ?

Answer 1

And a la priorité sur Or Ainsi, même si a <=> a1 Or a2

Where a And b 

n'est pas la même chose que

Where a1 Or a2 And b,

parce que cela serait exécuté comme

Where a1 Or (a2 And b)

et ce que vous voulez, pour les rendre identiques, est ce qui suit (en utilisant les parenthèses pour passer outre les règles de préséance) :

 Where (a1 Or a2) And b

Voici un exemple à titre d'illustration :

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

Pour ceux qui aiment consulter les références (par ordre alphabétique) :

• Précédence des opérateurs Microsoft Transact-SQL
• Précédence des opérateurs Oracle MySQL 9
• Priorité des conditions dans Oracle 10g
• Prédominance des opérateurs PostgreSQL
• SQL tel que compris par SQLite

Answer 2

Je vais ajouter 2 points :

• "IN" est en fait une série de OU avec des parenthèses autour d'eux.
• AND a la priorité sur OR dans toutes les langues que je connais.

Ainsi, les 2 expressions ne sont tout simplement pas égales.

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

Ainsi, lorsque vous séparez la clause IN, vous séparez les OR en série, et vous changez la préséance.

Answer 3

1. Opérateurs arithmétiques
2. Opérateur de concaténation
3. Conditions de comparaison
4. N'EST [PAS] NULLE, COMME, [PAS] EN
5. [PAS] ENTRE
6. Non égal à
7. Condition logique NOT
8. Condition logique AND
9. Condition logique OR

Vous pouvez utiliser les parenthèses pour passer outre les règles de préséance.

Answer 4

Requête pour afficher une table de vérité d'une expression booléenne à 3 variables :

;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

Résultats pour (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

Résultats pour (A=1) OR ( (B=1) AND (C=1) ) sont les mêmes.

Résultats pour ( (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

Answer 5

Ils sont équivalents. Vous n'avez pas spécifié de type de base de données, voici donc un exemple dans SQL Server 2005.

with temp as
(
    select 'a' as type, 1 as some_col
    union
    select 'b' as type, 2 as some_col
    union
    select 'c' as type, 3 as some_col
    union
    select 'd' as type, 4 as some_col
    union
    select 'e' as type, 5 as some_col
    union
    select 'f' as type, 6 as some_col

)

select * from temp where some_col in (1,2) or some_col in (3)
select * from temp where some_col in (1,2,3)