Documente Academic
Documente Profesional
Documente Cultură
Dependente functionale
Dependente multivaluate
November 2, 2014
Nicolae-Cosmin V
arlan
Modelul Relational
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
r:
A1
v11
...
vm1
A2
v12
...
vm2
...
...
...
...
An
v1n
...
vmn
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
X U;
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Atunci: r1 r2 :
A
0
1
0
0
B
1
1
0
0
C
0
0
1
1
Nicolae-Cosmin V
arlan
D
0
0
0
0
E
0
0
0
1
Modelul Relational
r1 r2 [U1 ] r1
r1 r2 [U2 ] r2
Daca X = U1 U2 si:
r10 = {t1 |t1 r1 , t2 r2 a.i. t1 [X] = t2 [X]} si r1 = r1 r10 ,
r20 = {t2 |t2 r2 , t1 r1 a.i. t1 [X] = t2 [X]} si r2 = r2 r20 ,
atunci: r1 r2 = r10 r20 , r1 r2 [U1 ] = r10 , r1 r2 [U2 ] = r20 .
Daca r1 r1 , r2 r2 si r1 r2 = r1 r2 atunci r10 r1 si r20 r2
Daca U1 U2 = atunci r1 r2 = r1 r2 .
Nicolae-Cosmin V
arlan
Modelul Relational
r1 r2 . . . rh
./ hri , i = 1, hi
hri , i = 1, hi
Nicolae-Cosmin V
arlan
Modelul Relational
./
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Modelul Relational
Nicolae-Cosmin V
arlan
Dependente functionale
Dependente functionale
Propriet
ati ale dependentelor functionale
Dependente functionale
Fie X, Y U . Vom nota o dependenta functionala cu X Y .
O relatie r peste U satisface dependenta functionala X Y daca:
(t1 , t2 )(t1 , t2 r)[t1 [X] = t2 [X] t1 [Y ] = t2 [Y ]]
X = avem Y daca (t1 , t2 )(t1 , t2 r)[t1 [Y ] = t2 [Y ]]
Y = atunci orice r peste U avem ca X
Daca r satisface X Y , atunci exista o functie : r[X] r[Y ]
definita prin (t) = t0 [Y ], unde t0 r si t0 [X] = t r[X].
Daca r satisface X Y spunem ca X determina functional pe Y
n r.
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Exemplu
Fie X = {A, B}, Y = {D, E}. Se observa ca X Y .
r:
A
0
1
0
0
B
1
1
0
0
C
0
0
0
1
D
0
0
0
0
E
0
0
1
1
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
r:
A
0
1
0
0
B
1
1
0
0
C
0
0
0
1
D
0
0
0
0
E
0
0
1
1
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Propozitie
|= X Y daca si numai daca |= X Bj pentru j = 1, h,
unde Y = B1 . . . Bh .
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Reguli de deducere
Fie R o multime de formule de deducere pentru dependente
functionale si o multime de dependente functionale. Spunem ca
X Y este o demonstratie n utilizand regulile R si vom nota
`R X Y , daca exista sirul 1 , 2 , . . . , n , astfel ncat:
I
n = X Y si
unde j1 , j2 , . . . , jk < i.
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Reguli de deducere
Conform proprietatilor FD1-FD5 putem defini regulile:
FD1f:
Y X
XY
FD4f:
XY, Y W Z
XW Z
FD2f:
XY, ZW
XW Y Z
FD5f:
XY, XZ
XY Z
FD3f:
XY, Y Z
XZ
FD6f:
XY Z XY Z
XY , XZ
Propozitie
Regulile FD4f, FD5f, FD6f se exprima cu ajutorul regulilor FD1f,
FD2f, FD3f.
Notam cu R1 = {FD1f, FD2f, FD3f},
si cu R2 = R1 {FD4f, FD5f, FD6f}
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
A1 ...Am Ai , i
A2:
A1 ,...Am B1 ,...Br
,j
A1 ...Am Bj
= 1, m
= 1, r
A1 ,...Am Bj , j=1,r
A1 ...Am B1 ,...Br
A3:
Dependente functionale
Propriet
ati ale dependentelor functionale
Propozitie
Regulile din R1 se exprima prin cele din RA si invers.
Notatie:
+
R = {X Y | `R X Y }
Propozitie
Fie R01 si R02 doua multimi de reguli astfel incat R01 se exprima
prin R02 si invers. Atunci +
= +
pentru orice multime de
R01
R02
dependente functionale.
+
Consecinta: +
R1 = RA
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Lema
+
`R X Y daca si numai daca Y XR
.
1
Nicolae-Cosmin V
arlan
Dependente functionale
Propriet
ati ale dependentelor functionale
Lema
Fie o multime de dependente functionale si : X Y o
dependenta functionala astfel ncat 0R1 X Y . Atunci exista
o relatie r ce satisface toate dependentele functionale din si r
nu satisface X Y .
Theorem
Fie o multime de dependente functionale. Atunci exista o relatie
r0 ce satisface exact elementele lui +
a:
R1 , adic
I
r0 satisface , +
R1 si
r0 nu satisface , 6 +
R1
Nicolae-Cosmin V
arlan
Dependente multivaluate
Definitii si observatii
Propriet
ati si reguli de inferent
a
Exemplu
Presupunem ca persoana cu CNP = 1 a fost admisa la doua
facultati si are permis de conducere pentru categoriile A si B:
r:
CNP
1
1
Admis la facult.
Informatica
Matematica
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Exemplu
r:
CNP
1
1
1
1
Admis la facult.
Informatica
Matematica
Informatica
Matematica
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Definition
Relatia r peste U satisface dependenta multivaluata X Y daca
pentru oricare doua tuple t1 , t2 r si t1 [x] = t2 [x], exista relatiile
t3 si t4 din r, astfel ncat:
I
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
r:
A
a1
a1
a1
a1
a2
a2
B
b1
b2
b1
b2
b3
b3
C
c1
c2
c1
c2
c1
c1
D
d1
d2
d2
d1
d1
d2
t1
t2
t3
t4
t1
t2
r satisface A BC
t01 , t04
t02 , t03
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Definitie echivalenta
Definition
Relatia r peste U satisface dependenta multivaluata X Y , daca
pentru orice t1 , t2 r cu t1 [X] = t2 [X] avem ca
MY (t1 [XZ]) = MY (t2 [XZ])
unde MY (t[XZ]) = {t0 [Y ]|t0 r, t0 [XZ] = t[XZ]}
A B C D
a1 b1 c1 d1
= t1
a1 b2 c2 d2
= t2
a1 b1 c1 d2
r:
a1 b2 c2 d1
a2 b3 c1 d1
a2 b3 c1 d2
MY (t1[AD]) = MY (t2[AD]) = {(b1 , c1 ), (b2 , c2 )}
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Observatii
I
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Reguli de inferenta
MVD0f:
MVD1f:
Y X
XY
MVD2f:
ZW, XY
XW Y Z
MVD3f:
XY, Y Z
XZY
MVD4f:
XY,Y W Z
XW ZY W
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Reguli de inferenta
MVD5f:
XY, XZ
XY Z
MVD6f:
XY, XZ
XY Z, XY Z, XZY
FD-MVD1f:
XY
XY
FD-MVD2f:
XZ, Y Z 0 , Z 0 Z, Y Z=
XZ 0
FD-MVD3f:
XY, XY Z
XZY
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Propozitie
Fie R o multime de reguli valide si o regula 1 ,2,...k , astfel
incat {1 , . . . k } `R , atunci si regula este valida.
Propozitie
Fie RF M = {FD1f FD3f 1 , MVD0f MVD3f ,
FD MVD1f FD MVD3f }. Avem:
I
Propozitie
Regulile MVD4f MVD6f se exprima cu ajutorul regulilor
MVD0f MVD3f
1
Definitii si observatii
Propriet
ati si reguli de inferent
a
Theorem
Fie o multime de dependente functionale sau multivaluate si X
o submultime de atribute. Atunci exista o partitie a lui U X
notata prin Y1 . . . Yk , astfel incat pentru Z U X avem
`RF M X Z daca si numai daca Z este reuniunea unui numar
de multimi din partitia {Y1 , . . . Yk }
Definition
Pentru o multime de dependente functionale sau multivaluate si
X o submultime de atribute, numim baza de dependenta pentru X
cu privire la partitia B(, X) = {{A1 } . . . {Ah }, Y1 . . . Yk }, unde
X = A1 , . . . Ah , iar Y1 , . . . Yk este partitia construita in teorema
precedenta.
Nicolae-Cosmin V
arlan
Definitii si observatii
Propriet
ati si reguli de inferent
a
Observatii
Nicolae-Cosmin V
arlan