5.2 Consultation et extraction de données dans une table
75
© Dunod – La photocopie non autorisée est un délit.
Les clients qui ne tombent pas dans cette catégorie sont caractérisés par la condition
inverse, soit :
not (LOCALITE = 'Toulouse' and COMPTE < 0)
ou encore, par les lois de de Morgan (r12) :
not (LOCALITE = 'Toulouse') or not (COMPTE < 0)
ou, en simplifiant :
LOCALITE <> 'Toulouse' or COMPTE >= 0
➤ L’opérateur d’implication
L’opérateur d’implication (P ⇒ Q) est plus délicat à manier, en particulier parce que
sa définition, telle que précisée dans la table de vérité ci-dessus, ne semble pas
toujours conforme à l’intuition 7 , qui interprète l’implication de manière plus restrictive. Comme il n’est pas disponible en SQL, nous devrons le traduire à l’aide
d’opérateurs plus classiques. A titre d’illustration, recherchons les clients qui, s’ils
ont un compte négatif, alors sont aussi de catégorie B1. On peut écrire, en SQL
étendu :
(COMPTE < 0) ⇒ (CAT = 'B1')
L’interprétation est la suivante : si un client a un compte négatif et est de catégorie
B1, alors il est sélectionné; bien que ceci soit moins intuitif, on admet aussi que, si
son compte n’est pas négatif, alors il est sélectionné quelle que soit sa catégorie. Ou
encore : les clients sont sélectionnés s’ils ont un compte non négatif ou s’ils sont de
catégorie B1 (règle r18). On peut donc réécrire la condition de sélection de ces
clients en SQL pur:
(COMPTE >= 0) or (CAT = 'B1')
➤ L’opérateur ou exclusif
Cet opérateur stipule que l’une des conditions doit être vérifiée, et une seulement,
ainsi que l’exprime la règle r19 :
P ⊕ Q ≡ (Q and not P) or (P and not Q)
7. Considérons la loi selon laquelle "s’il pleut, alors la chaussée est mouillée" (P ≡ "il pleut" et Q
≡ "la chaussée est mouillée"). On peut affirmer sans risque que "il pleut et la chaussée n’est pas
mouillée" décrit une situation qui viole cette loi, d’où, en toute généralité, (P ∧ ¬ Q) = faux. On
en infère que ¬ (P ∧ ¬ Q) = vrai. Il vient donc, par application de la règle r12, P ⇒ Q ≡ (¬ P)
∨ Q. D’où la règle r18.
Précédent

- 75/436

Suivant