The document discusses transferring money from account A to account B, describing how the transaction would occur by deducting the transfer amount S from account A's balance and adding it to account B's balance. It also notes some issues that could arise, such as insufficient funds, and asks how these might be handled to ensure the integrity and security of the transaction.
8. "
:
! , , " ,,
$%
8 9
F " C 9 DE , I ".
F , ," C " DE " ". I ,
F " " E, ".
F ' ' E , ,
F " E , I " ,
8 9
F ( ' " E
!" !" C5 $5 D
C%$)# 8% J D
F ' " E
"
F ' " E
" 9
9 K "
@A 5 " $ " # " +
9. ;9
" $% ". " " ! 8 ,,
". " "7" , ,
!
Livre(Cote: Chaîne, Titre: Chaîne)
Auteur(Nom: Chaîne, Cote: Chaîne)
Personne(Nom: Chaîne, Prénom: Chaîne, Année_naissance: Entier)
Livre
Cote Titre
BD/46 Les BD en BD
Personne
Nom Prénom Année_naissance
Dupont Jean 1960
Durand Pierre 1953
Auteur
Nom Cote
Dupont BD/46
Durand BD/46
@A 5 " $ " # " -
15. . '' ! ". ,,
" " I " ' " ", " $% ,
, "" ''
M '' " , 0
" "" , , "7" ! !
F % 7" " " E ! , I ! 4 I ! "
4
F 5 ", " E
" I "7" " ,, " I
" , " 4, " , , I
" ' " I
' " " I
N
F '' ! C
* I I A . I NDI
F
@A 5 " $ " # " ((
24. , 3; $5 (&/&I " 7 " 9 '
. 4 ! ! "I , " 21I !
, " " 4E
F %$ $5 I
F 8 I
F 7 "4I
F : I
F . 5" 7I
N
" P? E
F , "" E $% . I
F " E ' " '" , "
@A 5 " $ " 5 " 1
25. + 1
B 1 " , E
F " I
F " I
F " " '"
@A 5 " $ " 5 " (
26. B . "
8 " " ' E
F " E
!G I
" I
I
I
N
F " E
9 I ? " . 4 , E
Couleur = {"rouge", "vert", "bleu", "jaune"}
I ? " 7 " . "7" ! . I
, 4 , E
Mois = {m| m ∈ Entier et 1 m 12}
% 4 " " " . "
, 4 , I " E
Taille = {t | Réel t et t > 0}
Poids = {p | Réel p et p > 0}
, , " ' , ,
@A 5 " $ " 5 "
27. B " , " " " %(I N I % E
⊆ %( × N × %
B " 7" " , I, :, , 4 "
!
4, " 7 E
C (E %(I NI E%D
H ! %" " ! " "" " *
" %" " 4 , E
rel(Nom: Chaîne, Age: Entier, Marié: Booléen)
:, " " " !G I 3 " $
, " , I Q' "" 7 " >
"
;9
9 :, C (E %(I NI E%D
, E
R ( S .(I N I S. T
.( ∈ %(I NI . ∈ %
4 " " . " ."
4 , E
{{Nom = "Dupont", Age = 36, Marié = Vrai}
{Nom = "Durand", Age = 22, Marié = Faux}}
4 " " : E
,
rel(Nom: Chaîne, Age: Entier, Marié: Booléen)
@A 5 " $ " 5 "
28. "
,, " 4, " E
C (E %(I NI E%D
" "' " :, C (E %(I NI E%D 4 , E
Personne(Nom: Chaîne, Age: Entier, Marié: Booléen)
" " " " , " I ! " ,
" ? 4, " E
C (I NI D
@A 5 " $ " 5 " +
29. 9#
8 ,, " ! E
Personne(Nom: Chaîne, Age: Entier, Marié: Booléen)
4 " E
{{Nom = "Dupont", Age = 36, Marié = Vrai}
{Nom = "Durand", Age = 22, Marié = Faux}}
$
4 " " ! C (E %(I NI E%D, > .
, (I NI ! "'
, , 4 " 4 , E
Personne
Nom Age Marié
Dupont 36 Vrai
Durand 22 Faux
$
" ! C (E %(I NI E%D" " , "
" . " " , ,, " ? 4 " 7 "
4 , I " E
Personne {Nom = "Dupont", Age = 36, Marié = Vrai}
. "
@A 5 " $ " 5 " -
30. $
, ". " " 7 " " " , "
4 , I 7 , 7"4 "
, "
, " 7 " "" . , " " E
# Nulle
4 , E
{Titre = "L'avenir des bases de données",
Conférencier = "Paul Durand",
Date = Nulle}
@A 5 " $ " 5 " /
31. +
+
8 ,, " I . ." I
" " 4 , {Nom, Age} " "
Personne
B " " ? " " "7 R T
+
B " U " "E
F , ! , I . U" "7" 7 L " , I
F " U , > ,, " " , ," ,
B " , . " , " " E !" "
" , 4 , I " E
Personne(Nom, Prénom, NumSS, Pays)
" ,, , " "7" , , "
, " " " {Nom, Prénom}
NumSS " , > !" " ," "
. " "' " ," " 4 , E
Personne(Nom, Prénom, NumSS, Pays)
@A 5 " $ " 5 " 0
32. +
B " J " ( ' ( " 4" "
, ," " U J , " .
U 8 " J "
" , 4 , " E
Personne(Nom, Prénom, Age)
Livre(Cote, Titre, Nom_Auteur, Prénom_Auteur)
" " ". , I "
{Nom_Auteur, Prénom_Auteur} ' " Livre 3
7 " Personne
'"
" " '" $% " , . 4, " , E
F ,, . " ? " I
F 7" " " I
F " " " I
F " I
F "" " 4 , " " ?9
I 47 " '" 9 * " , E
F " . "7" " . " ," "
,
F " . "7" " ! . ' JE
" 4" . ," " , " J
7 I
"
@A 5 " $ " 5 " 2
33. ;9
$% , " " , 2111 3
V 2111W
8 . , 7 " ". E
F " ! B " "7" ,
F " " I ? " , : "
. B , . , " , : " ,, " ?
7 " ! , :
F , " " 7 >
" B , " " "7" , 7 ' ."
F '" , : " , " E '" ,
" "7" ,
@A 5 " $ " 5 " &
36. $
Sommet Localisation
Nom_Sommet Altitude Nom_Sommet Pays
Everest 8848 Everest Népal
Manaslu 8163 Everest Chine
Hidden Peak 8068 Manaslu Népal
Hidden-Peak Chine
Hidden-Peak Pakistan
Première
Nom_Sommet Face Année
Everest S 1953
Manaslu S 1972
Hidden-Peak NO 1975
Everest SO 1975
Manaslu O 1981
Conquête
Grimpeur Nom_Sommet Face
Hillary Everest S
Tensing Everest S
Messner Manaslu S
Messner Everest SO
Habeler Everest SO
Habeler Hidden Peak NO
Messner Hidden Peak NO
Béghin Manaslu O
@A 5 " $ " 5 "
37. $
F 4 " " Sommet 7
RNom_Sommet S I Altitude S T 4, " 7 "
, "
F 4 " " Localisation 7
RNom_Sommet S I Pays S ,T 4, " 7 " .
, : ,
F 4 " " Première 7 ",
RNom_Sommet S I Face S 7I Année S T 4, " 7 " , "
" 7 7 77
F 4 " " Conquête 7 ",
RGrimpeur S ' Nom_Sommet S I Face S 7T 4, "
I 7 " '" ,
' ' ." , " " 7 7
@A 5 " $ " 5 "
41. 5
, " ", 4 "
" I ? " ,
) , ' " ,, " ? , " "
, " "
" , " " ' E
F , " " E " I" " I "77 I, "
" I
F , , "7" 4 E " I, 9 " I9 " I
@A 5 " $ " '' " 0
42. F E
I I 4, " : , . " I
I $I " I
UI JI X " I
. " , I
" CUD " " UI
(I NI E 7 " 4, " (I NI :,
S. 7 " 4, " . .
F " U SR (I NI T " " , "7 (I NI
%(I NI % " ' ". "" E
UE % , (E %(I NI E%
U, R ( S (I NI S T
F " " 4, " " , :, :,
, . 4 "
@A 5 " $ " '' " 2
43. /
>
" E
I E CUE %D
E
C I DE CUE %D
C I D SR Y ∈ ∈ T
C I DE CUE %D
C I D SR Y ∈ ∈ T
C I DE CUE %D
C I D SR Y ∈ ∉ T
4 , E
Sommet Altitude
Sommet Altitude
Hidden Peak 8086
minus( , Everest 8848 ) =
Everest 8848
Manaslu 8163
Manaslu 8163
Sommet Altitude
Hidden Peak 8086
@A 5 " $ " '' " &
44. 8
" E
E CUE %UD
E CJE %JD
" CUD ∩ " CJD S ∅
E
C I DE CUE %UI JE %JD
C I D S R, ∪ Y,∈ I ∈ T
4 , E
Sommet2 Pays
Sommet1 Altitude
pc( , Everest Népal ) =
Everest 8848
Everest Chine
Sommet1 Altitude Sommet2 Pays
Everest 8848 Everest Népal
Everest 8848 Everest Chine
@A 5 " $ " '' " +1
45. , 4 " , " " . "7"
""
" E
E CUE %D
7 E RUE %T −> $
E
C I 7D E CUE %D
C I 7D S R Y ∈ 7C D S 6 "T
% 7 H 7 " 7 , . "
, " " , "7" ". E
C I θ .D ≡ C I7 θ .D
4 , E
Sommet Altitude
Everest 8848
sel( , Altitude > 8500) =
Manaslu 8163
Hidden Peak 8086
Sommet Altitude
Everest 8848
@A 5 " $ " '' " +(
46. 8 ?
, ? 4 " . "
"
" E
E CUE %UI JE %JD
E
? I UD E
C CUE %UD
? I UD S R U Y ∈ T
C
4 , E
Grimpeur Sommet Face
Hillary Everest S
Tensing Everest S
proj( Messner Manaslu S , {Sommet, Face}) =
Habeler Hidden Peak NO
Messner Hidden Peak NO
Beghin Manaslu O
Sommet Face
Hidden Peak NO
Manaslu S
Everest S
Manaslu O
@A 5 " $ " '' " +
47. , 9 " 7 " 4 " , " "
, , "7 " . "7" " "
" E
E CUE %UD
E CJE %JD
" CUD ∩ " CJD S ∅
7 E RUE %UI JE %JT −> $
E
? C I I 7D E CUE %UI JE %JD
? C I I 7D S R, ∪ Y , ∈ I ∈ I 7C, ∪ D S 6 "T
" " , " , "7" 7? ,
" ' " 4 "
8 E
@ C I I U S JD ≡ ? C I I 7
? C9D 9 U S 9 JD
HU J " , "7 " , "
4 , E
Sommet1 Face
Everest N Sommet2 Altitude
equi_join( Manaslu S , Everest 8848 ,
Hidden Peak NO Manaslu 8163
Manaslu O
Sommet1 Face Sommet2 Altitude
Everest N Everest 8848
Sommet1 = Sommet2) =
Manaslu S Manaslu 8163
Manaslu O Manaslu 8163
@A 5 " $ " '' " +
48. 9
, > " . 9 " I , !
4 " " , . > 9 " ", > , , "
? 9
" E
E CUE %UD
E CJE %JD
" CUD ∩ " CJD S ∅
U S RU(I NI U T
J S RJ(I NI J T
E
9 @ C I I 7D E
? CUE %UI JE %JD
9 @ C I I 7D S
? C 4I AI 4D
HE
AS ? C I I 7D
4 S C C I , 9CA UDDI RRJ( S NulleI NI J S NulleTTD
I
4 S CRRU( S NulleI NI U S NulleTTI C I ? I JDDD
CA
4 , E
Sommet1 Altitude Sommet2 Face
ext_equi_join( Manaslu 8163 , Everest S ,
Everest 8848 Annapurna N
Sommet1 Altitude Sommet2 Face
Manaslu 8163 Nulle Nulle
Sommet1 = Sommet2) =
Everest 8847 Everest S
Nulle Nulle Annapurna N
@A 5 " $ " '' " ++
49. 7?
, "9 " 4 " , "
" . " , " . "7" "
" 4, " "7" " 4" "
" E
E CUE %UD
E CJE %JD
" CUD ∩ " CJD S ∅
7 E RUE %UI JE %JT −> $
E
@ C I I 7D E
? CUE %UD
@ C I I 7D S R, Y , ∈
? ∃ ∈ I 7C, ∪ D S 6 "T
4 , E
Sommet1 Face
Everest N
Manaslu S Sommet2
equi_semi_join( Hidden Peak NO , Annapurna ,
Manaslu O Manaslu
K2 NE
Annapurna N
Sommet1 Face
Annapurna N
Sommet1 = Sommet2) =
Manaslu S
Manaslu O
@A 5 " $ " '' " +-
50. #
, "." " 4, " "7" " ".
" E
E CUE %UI JE %JD
E CXE %JD
" CJD ∩ " CXD S ∅
7 E RUE %UI JE %JI XE %JT −> $
E
".C I I 7D E CUE %UD
".C I I 7D S
R4 Y 4 ∈ , 9C I UD C∀ ∈ I ∃, ∈ I , U S 4 7C, ∪ D S "DT
6
4 , E
Sommet Face1
Everest S Face2
Manaslu S N
Sommet
equi_div( Everest N , E , Face1 = Face2) =
Everest
Everest O S
Manaslu O O
Everest E
@A 5 " $ " '' " +/
51. . . I , " " ' " " ,
" " , C "9 "
" " D , > " " " .
,, " , E * ,
" E
E CNI E %I ND
E
C I I $D E CNI $E %I ND
C I I $D S
" > :, > 4 " I
4 , ' " , $
4 , E
Nom Altitude
Everest 8848
rename( , Nom , Nom_Sommet) =
Manaslu 8163
Hidden Peak 8086
Nom_Sommet Altitude
Everest 8848
Manaslu 8163
Hidden Peak 8086
@A 5 " $ " '' " +0
53. "
C I 7D 7
? I UD
C U
? C I I 7D
7
@A 5 " $ " '' " +&
54. +
4" 4 :, , . " E
F 7 E . " "' , C "'
D
F E . " "' . "
C D
@A 5 " $ " '' " -1
55. + 7
B 7 " , 7" " , ' ". E
F ! . " " ? " "' , "Z
F "4 . " I 4 . " , 4Z
F 4 " . " "4 , " Z
F θ C H " D ( ( θ "
. " " , " , " θ C[ S ]D . "7" I 7 4 " Z
F 7 Z
F "7 7 C7D 7 7 Z
F "7 ' 7 7 '7
I '7
I ' 7 Z
F "7 7 4 . " " ∃4 7 ∀4 7
7 4 " . " " 7
" Z
F ' ", " 7
B 4, " " , 7 E
RR$( S 4( (I NI $ S 4 T Y 7T
H7 7 " , I $(I NI $
" 4(I NI 4 . " " 7
3 " E^ , R$( S ( (I NI $ S T 7
. ", 4( S (I NI 4 S
@A 5 " $ " '' " -(
56. ;9
!#
%#
{{S = s.Nom_Sommet, A = s.Altitude} | Sommet s et
s.Altitude > 8100}
{{S = c.Nom_Sommet, F = c.Face, A = s.Altitude} | Conquête c et
Sommet s et c.Nom_Sommet = s.Nom et c.Grimpeur = "Messner"}
{{G = c.Grimpeur} | Conquête c et ∃l (Localisation l et
l.Pays = "Pakistan" et l.Nom_Sommet = c.Nom_Sommet)}
{{G = c.Grimpeur} | Conquête c et ∀s (Sommet s
∃c' (Conquête c' et c'.Nom_Sommet = s.Nom_Sommet et
c'.Grimpeur = c.Grimpeur))}
@A 5 " $ " '' " -
57. +
B 7 " " 7" " , ' ". E
F ! . " " ? " "' . " "Z
F C ( S .(I N I S. D H.(I NI . "
. " I " . " " 4" , " : .(
, . " (I NI . , . " Z
F .( θ . H.( . " . " I "
. " " , " , " θ C[ S ]D . "7" 7 4 " Z
F ' 7 > , , Z
F ' ", " 7
B 4, " " " 7 E
RR ( S 4(I NI S 4 T Y 7T
H7 7 " " I (I NI
" .(I NI . . " " 7
3 " E^ , R ( S .(I NI S. T 7
. " , 4( S .(I NI 4 S . _
@A 5 " $ " '' " -
58. 34 ,
!#
%#
{{S = s, A = a} | Sommet(Nom_Sommet = s, Altitude = a) et
a > 8100}
{{S = s, F = f, A = a} |
Conquête(Grimpeur = "Messner", Nom_Sommet = s, Face = f)
et Sommet(Nom_Sommet = s, Altitude = a)}
{{G = g} | ∃s (Conquête(Grimpeur = g, Nom_Sommet = s) et
Localisation(Nom_Sommet = s, Pays = "Pakistan")}
{{G = g} | ∀s (Sommet(Nom_Sommet = s)
Conquête(Grimpeur = g, Nom_Sommet = s)}
@A 5 " $ " '' " -+
62. B > $% , > , , "77 "
, " !" " I " , , . , " ?9
$% " , 4 , " E
Nom_Sommet Face Altitude Année
Everest S 8848 1953
Manaslu S 8125 1972
Hidden-Peak NO 8068 1975
Everest SO 8848 1975
" ?9 " , , ". E
E , > " " , " "
E " " 3. "7" " 7 "7"
, "
E " " , " ,, " " 7 "
" ,
" ? , " ? ! $%
, " "
, "" ,, " " 4" "
" 4 , I , "
" , : " .
@A 5 " $ " ," ! " -2
63. 6
: " U " J
" ", 4 " I? ! . U" ,
9 > . J 8 " U J
E
U −> J
B , 7 " U J " # "J ." "
U 4 , I , E
{Nom_Sommet, Face} -> Face
{Nom_Sommet, Pays} -> {}
"."
% $% V 2111W , 7 " "." ". E
Nom_Sommet −> Altitude
{Nom_Sommet, Face} −> Année
@A 5 " $ " ," ! " -&
64. 8
, " , 7 " I , "
4 , I?, " , Grimpeur Ville C." " D
Ville Pays , " , Grimpeur Pays C, :
" D
3 , ; " "
" I ;< C ;D ,
7 " '" " ," , ;, > ?, " " '
". C 4" 'E
D
C 9# D " J ⊆ U ⊆ U J
C D "U J X⊆ U∪X J∪X
C # D "U J J X U X
% 4" ' , " 4 ' , , " ,
;< E
C D "U J U X U J∪X
C D "U J∪X U J U X
@A 5 " $ " ," ! " /1
65. 8 , 7" " " " "
"
B " U " C (I NI D " "
"E
F U R (I NI TI
F " 4" , " J" U J R (I NI T
3 " I ,, " "
,, " ? I " " : ,, " ,
8 ,, 7 " ""
4 , " Premiere(Nom_Sommet, Face, Année)
{Nom_Sommet, Face} E
F {Nom_Sommet, Face} {Nom_Sommet, Face} Année ,
' " {Nom_Sommet, Face} {Nom_Sommet, Face, Année}I
F Nom_Sommet Face " , I
F Année " ,
@A 5 " $ " ," ! " /(
70. 6
#
#
8 " " : # " U
" J " CUI JI XD " , 4 " I? ! .
U" , 9 > . J
. , , . X8 " U J
E
U J
% " Localisation , ". E
Nom_Sommet ->> Pays
" Conquête E
{Nom_Sommet, Face} ->> Grimpeur
@A 5 " $ " ," ! " //
71. 8 #
3 , %I 7 " ". I
" " " I 7 %<
, '" " ," , %, > ?, " 4"
' - ' ". E
C D " U J U U J
C # D " U J 6⊆ ` ⊆6
6 ∪ U ` ∪ J
C # # D " U J J X U X J
C D "U J U J
C D " U J X⊆ J " " 4" ` ⊆ "9 " J
` XI U X
% 2 ' , " ' , " , , %< E
C # D " U J U X U J ∪ X
C D " U J U X U J ∩ X
C D " U J U X U J − X U X J
@A 5 " $ " ," ! " /0