SlideShare a Scribd company logo
1/ 18
Dependent¸e multivaluate
Baze de date relat¸ionale
Dependent¸e multivaluate
Nicolae-Cosmin Vˆarlan
October 24, 2018
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
2/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Exemplu
Presupunem c˘a persoana cu CNP = 1 a fost admis˘a la dou˘a
facult˘at¸i ¸si are permis de conducere pentru categoriile A ¸si B:
r :
CNP Admis la facult. Are permis categ.
1 Informatic˘a A
1 Matematic˘a B
De¸si anumite rˆanduri nu sunt scrise ˆın tabel˘a, putem s˘a intuim c˘a
persoana cu CNP = 1 a dat la Facultatea de Informatic˘a ¸si are
permis de conducerea categoria B. Deci, de¸si ˆın r nu exist˘a t-uplul
1,Informatica,B , ar trebui s˘a existe ¸si el (pentru c˘a poate fi
dedus din cele existente).
Care alt t-uplu mai poate fi dedus ?
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
3/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Exemplu
r :
CNP Admis la facult. Are permis categ.
1 Informatic˘a A
1 Matematic˘a B
1 Informatic˘a B
1 Matematic˘a A
t-uplele marcate cu ro¸su ar putea lipsi, ele fiind redundante
deoarece pot fi obt¸inute din primele dou˘a t-uple.
Prin intermediul dependent¸elor funct¸ionale pot afla la care coloane
pot renunt¸a astfel ˆıncˆat s˘a le pot reface ulterior.
Prin intermediul dependent¸elor multivaluate pot afla la care linii
pot renunt¸a astfel ˆıncˆat s˘a le pot reface ulterior.
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
4/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Dependent¸e multivaluate - definit¸ie
Fie X, Y ⊆ U. O dependent¸˘a multivaluat˘a este notat˘a cu X Y .
Definition
Relat¸ia r peste U satisface dependent¸a multivaluat˘a X Y dac˘a
pentru oricare dou˘a tuple t1, t2 ∈ r satisf˘acˆand t1[X] = t2[X],
exist˘a tuplele t3 ¸si t4 din r, astfel ˆıncˆat:
t3[X] = t1[X], t3[Y ] = t1[Y ], t3[Z] = t2[Z];
t4[X] = t2[X], t4[Y ] = t2[Y ], t4[Z] = t1[Z]
unde Z = U − XY (Z mai este denumit˘a ¸si rest).
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
5/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Exemplul 2 (mai formal)
r :
A B C D
a1 b1 c1 d1 t1 t1”
a1 b2 c2 d2 t2
a1 b1 c1 d2 t3 t2”
a1 b2 c2 d1 t4
a2 b3 c1 d1 t1, t4
a2 b3 c1 d2 t2, t3
r satisface A BC
Intrebare: cum alegem t3”, t4” ?
Deoarece atunci cˆand t1[A] = t2[A] avem c˘a:
t3[A] = t1[A], t3[BC] = t1[BC], t3[D] = t2[D] ¸si
t4[A] = t2[A], t4[BC] = t2[BC], t4[D] = t1[D]
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
6/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Definit¸ie echivalent˘a
Relat¸ia r peste U satisface dependent¸a multivaluat˘a X Y , dac˘a
pentru orice t1, t2 ∈ r cu t1[X] = t2[X] avem c˘a
MY (t1[XZ]) = MY (t2[XZ])
unde MY (t[XZ]) = {t [Y ]|t ∈ r, t [XZ] = t[XZ]} = valorile lui Y
din diferite tuple ˆın care XZ sunt egale (cu XZ-ul din parametru).
r :
A B C D
a1 b1 c1 d1 = t1
a1 b2 c2 d2 = t2
a1 b1 c1 d2
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 Baze de date relat¸ionale Dependent¸e multivaluate
7/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Observat¸ii
Dac˘a r satisface dependent¸a funct¸ional˘a X → Y , atunci
pentru orice t ∈ r, avem MY (t[XZ]) = {t[Y ]}.
Dac˘a r satisface dependent¸a funct¸ional˘a X → Y , atunci r
satisface ¸si dependent¸a multivaluat˘a X Y .
Dac˘a r satisface dependent¸a multivaluat˘a X Y , atunci
putem defini o funct¸ie ψ : r[X] → P(r[Y ]), prin
ψ(t[X]) = MY (t[XZ]), ∀t ∈ r (returneaz˘a valorile diferite din
proiect¸ia pe Y). Cˆand r satisface X → Y , atunci
ψ : r[X] → r[Y ] (deoarece valorile pe Y nu sunt diferite ˆın cadrul
dependent¸ei funct¸ionale).
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
8/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Propriet˘at¸i ale dependent¸elor multivaluate
MVD0 (Complementariere) Fie X, Y, Z ⊆ U, asfel ˆıncˆat
XY Z = U ¸si Y ∩ Z ⊆ X. Dac˘a r satisface X Y , atunci r
satisface X Z.
MVD1 (Reflexivitate) Dac˘a Y ⊆ X, atunci orice relat¸ie r satisface
X Y .
MVD2 (Extensie) Fie Z ⊆ W ¸si r satisface X Y . Atunci r
satisface XW Y Z
MVD3 (Tranzitivitate) Dac˘a r satisface X Y ¸si Y Z, atunci
r satisface X Z − Y
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
9/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
X Y
Z U
MVD0
1 2
3
4
5
6
7 8
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
10/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
X
Y
U
MVD1
1
2
3
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
11/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
MVD2
1 23
4
56
7
8
9
10
11
12
X
Y
Z W
U
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
12/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Propriet˘at¸i ale dependent¸elor multivaluate
MVD4 (Pseudotranzitivitate) Dac˘a r satisface X Y ¸si
Y W Z, atunci r satisface ¸si XW Z − Y W.
MVD5 (Uniune) Dac˘a r satisface X Y ¸si X Z atunci r
satisface X Y Z.
MVD6 (Descompunere) Dac˘a r satisface X Y ¸si X Z,
atunci r satisface X Y ∩ Z, X Y − Z, X Z − Y
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
13/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Propriet˘at¸i mixte ale dependent¸elor multivaluate
FD-MVD1. Dac˘a r satisface X → Y , atunci r satisface ¸si X Y .
FD-MVD2. Dac˘a r satisface X Z ¸si Y → Z , cu Z ⊆ Z ¸si
Y ∩ Z = ∅, atunci r satisface X → Z .
FD-MVD3. Dac˘a r satisface X Y ¸si XY Z, atunci r
satisface X → Z − Y .
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
14/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Reguli de inferent¸˘a
MVD0f: XY Z=U, Y ∩Z⊆X, X Y
X Z
MVD1f: Y ⊆X
X Y
MVD2f: Z⊆W, X Y
XW Y Z
MVD3f: X Y, Y Z
X Z−Y
MVD4f: X Y,Y W Z
XW Z−Y W
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
15/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Reguli de inferent¸˘a
MVD5f: X Y, X Z
X Y Z
MVD6f: X Y, X Z
X Y ∩Z, X Y −Z, X Z−Y
FD-MVD1f: X→Y
X Y
FD-MVD2f: X Z, Y →Z , Z ⊆Z, Y ∩Z=∅
X→Z
FD-MVD3f: X Y, XY Z
X Z−Y
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
16/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Propozit¸ie
Fie R o multime de reguli valide si γ o regula α1,α2,...αk
β , astfel
incat {α1, . . . αk} R β, atunci si regula γ este valida.
Propozit¸ie
Fie RFM = {FD1f − FD3f 1, MVD0f − MVD3f ,
FD − MVD1f − FD − MVD3f }. Avem:
FD − MVD3f se exprima cu celelalte regulid din RFM si FD
MVD2f se exprima prin celelalte reguli din RFM .
Propozit¸ie
Regulile MVD4f − MVD6f se exprima cu ajutorul regulilor
MVD0f − MVD3f
1
cele de la dependente functionale
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
17/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸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 Baze de date relat¸ionale Dependent¸e multivaluate
18/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Observatii
Avem Σ RF M
X Z daca si numai daca Z este o reuniune
de elemente din partitia B(Σ, X).
Fie X∗
Σ = {A|Σ RF M
X → A}. Atunci pentru orice A ∈ X∗
Σ
avem {A} ∈ B(Σ, X).
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
19/ 18
Dependent¸e multivaluate
Definit¸ii ¸si observat¸ii
Propriet˘at¸i ¸si reguli de inferent¸˘a
Bibliografie
Baze de date relat¸ionale. Dependent¸e - Victor Felea; Univ. Al.
I. Cuza, 1996
Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate

More Related Content

Featured

2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot
Marius Sescu
 
Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPTEverything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
Expeed Software
 
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage EngineeringsProduct Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
Pixeldarts
 
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental HealthHow Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
ThinkNow
 
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
marketingartwork
 
Skeleton Culture Code
Skeleton Culture CodeSkeleton Culture Code
Skeleton Culture Code
Skeleton Technologies
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
Neil Kimberley
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
contently
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
SpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Lily Ray
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
Rajiv Jayarajah, MAppComm, ACC
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
Christy Abraham Joy
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
Vit Horky
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
MindGenius
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
RachelPearson36
 

Featured (20)

2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot
 
Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPTEverything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
 
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage EngineeringsProduct Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
 
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental HealthHow Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
 
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
 
Skeleton Culture Code
Skeleton Culture CodeSkeleton Culture Code
Skeleton Culture Code
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 

Curs bd 4 - dependente multivaluate

  • 1. 1/ 18 Dependent¸e multivaluate Baze de date relat¸ionale Dependent¸e multivaluate Nicolae-Cosmin Vˆarlan October 24, 2018 Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 2. 2/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Exemplu Presupunem c˘a persoana cu CNP = 1 a fost admis˘a la dou˘a facult˘at¸i ¸si are permis de conducere pentru categoriile A ¸si B: r : CNP Admis la facult. Are permis categ. 1 Informatic˘a A 1 Matematic˘a B De¸si anumite rˆanduri nu sunt scrise ˆın tabel˘a, putem s˘a intuim c˘a persoana cu CNP = 1 a dat la Facultatea de Informatic˘a ¸si are permis de conducerea categoria B. Deci, de¸si ˆın r nu exist˘a t-uplul 1,Informatica,B , ar trebui s˘a existe ¸si el (pentru c˘a poate fi dedus din cele existente). Care alt t-uplu mai poate fi dedus ? Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 3. 3/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Exemplu r : CNP Admis la facult. Are permis categ. 1 Informatic˘a A 1 Matematic˘a B 1 Informatic˘a B 1 Matematic˘a A t-uplele marcate cu ro¸su ar putea lipsi, ele fiind redundante deoarece pot fi obt¸inute din primele dou˘a t-uple. Prin intermediul dependent¸elor funct¸ionale pot afla la care coloane pot renunt¸a astfel ˆıncˆat s˘a le pot reface ulterior. Prin intermediul dependent¸elor multivaluate pot afla la care linii pot renunt¸a astfel ˆıncˆat s˘a le pot reface ulterior. Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 4. 4/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Dependent¸e multivaluate - definit¸ie Fie X, Y ⊆ U. O dependent¸˘a multivaluat˘a este notat˘a cu X Y . Definition Relat¸ia r peste U satisface dependent¸a multivaluat˘a X Y dac˘a pentru oricare dou˘a tuple t1, t2 ∈ r satisf˘acˆand t1[X] = t2[X], exist˘a tuplele t3 ¸si t4 din r, astfel ˆıncˆat: t3[X] = t1[X], t3[Y ] = t1[Y ], t3[Z] = t2[Z]; t4[X] = t2[X], t4[Y ] = t2[Y ], t4[Z] = t1[Z] unde Z = U − XY (Z mai este denumit˘a ¸si rest). Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 5. 5/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Exemplul 2 (mai formal) r : A B C D a1 b1 c1 d1 t1 t1” a1 b2 c2 d2 t2 a1 b1 c1 d2 t3 t2” a1 b2 c2 d1 t4 a2 b3 c1 d1 t1, t4 a2 b3 c1 d2 t2, t3 r satisface A BC Intrebare: cum alegem t3”, t4” ? Deoarece atunci cˆand t1[A] = t2[A] avem c˘a: t3[A] = t1[A], t3[BC] = t1[BC], t3[D] = t2[D] ¸si t4[A] = t2[A], t4[BC] = t2[BC], t4[D] = t1[D] Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 6. 6/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Definit¸ie echivalent˘a Relat¸ia r peste U satisface dependent¸a multivaluat˘a X Y , dac˘a pentru orice t1, t2 ∈ r cu t1[X] = t2[X] avem c˘a MY (t1[XZ]) = MY (t2[XZ]) unde MY (t[XZ]) = {t [Y ]|t ∈ r, t [XZ] = t[XZ]} = valorile lui Y din diferite tuple ˆın care XZ sunt egale (cu XZ-ul din parametru). r : A B C D a1 b1 c1 d1 = t1 a1 b2 c2 d2 = t2 a1 b1 c1 d2 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 Baze de date relat¸ionale Dependent¸e multivaluate
  • 7. 7/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Observat¸ii Dac˘a r satisface dependent¸a funct¸ional˘a X → Y , atunci pentru orice t ∈ r, avem MY (t[XZ]) = {t[Y ]}. Dac˘a r satisface dependent¸a funct¸ional˘a X → Y , atunci r satisface ¸si dependent¸a multivaluat˘a X Y . Dac˘a r satisface dependent¸a multivaluat˘a X Y , atunci putem defini o funct¸ie ψ : r[X] → P(r[Y ]), prin ψ(t[X]) = MY (t[XZ]), ∀t ∈ r (returneaz˘a valorile diferite din proiect¸ia pe Y). Cˆand r satisface X → Y , atunci ψ : r[X] → r[Y ] (deoarece valorile pe Y nu sunt diferite ˆın cadrul dependent¸ei funct¸ionale). Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 8. 8/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Propriet˘at¸i ale dependent¸elor multivaluate MVD0 (Complementariere) Fie X, Y, Z ⊆ U, asfel ˆıncˆat XY Z = U ¸si Y ∩ Z ⊆ X. Dac˘a r satisface X Y , atunci r satisface X Z. MVD1 (Reflexivitate) Dac˘a Y ⊆ X, atunci orice relat¸ie r satisface X Y . MVD2 (Extensie) Fie Z ⊆ W ¸si r satisface X Y . Atunci r satisface XW Y Z MVD3 (Tranzitivitate) Dac˘a r satisface X Y ¸si Y Z, atunci r satisface X Z − Y Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 9. 9/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a X Y Z U MVD0 1 2 3 4 5 6 7 8 Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 10. 10/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a X Y U MVD1 1 2 3 Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 11. 11/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a MVD2 1 23 4 56 7 8 9 10 11 12 X Y Z W U Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 12. 12/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Propriet˘at¸i ale dependent¸elor multivaluate MVD4 (Pseudotranzitivitate) Dac˘a r satisface X Y ¸si Y W Z, atunci r satisface ¸si XW Z − Y W. MVD5 (Uniune) Dac˘a r satisface X Y ¸si X Z atunci r satisface X Y Z. MVD6 (Descompunere) Dac˘a r satisface X Y ¸si X Z, atunci r satisface X Y ∩ Z, X Y − Z, X Z − Y Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 13. 13/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Propriet˘at¸i mixte ale dependent¸elor multivaluate FD-MVD1. Dac˘a r satisface X → Y , atunci r satisface ¸si X Y . FD-MVD2. Dac˘a r satisface X Z ¸si Y → Z , cu Z ⊆ Z ¸si Y ∩ Z = ∅, atunci r satisface X → Z . FD-MVD3. Dac˘a r satisface X Y ¸si XY Z, atunci r satisface X → Z − Y . Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 14. 14/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Reguli de inferent¸˘a MVD0f: XY Z=U, Y ∩Z⊆X, X Y X Z MVD1f: Y ⊆X X Y MVD2f: Z⊆W, X Y XW Y Z MVD3f: X Y, Y Z X Z−Y MVD4f: X Y,Y W Z XW Z−Y W Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 15. 15/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Reguli de inferent¸˘a MVD5f: X Y, X Z X Y Z MVD6f: X Y, X Z X Y ∩Z, X Y −Z, X Z−Y FD-MVD1f: X→Y X Y FD-MVD2f: X Z, Y →Z , Z ⊆Z, Y ∩Z=∅ X→Z FD-MVD3f: X Y, XY Z X Z−Y Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 16. 16/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Propozit¸ie Fie R o multime de reguli valide si γ o regula α1,α2,...αk β , astfel incat {α1, . . . αk} R β, atunci si regula γ este valida. Propozit¸ie Fie RFM = {FD1f − FD3f 1, MVD0f − MVD3f , FD − MVD1f − FD − MVD3f }. Avem: FD − MVD3f se exprima cu celelalte regulid din RFM si FD MVD2f se exprima prin celelalte reguli din RFM . Propozit¸ie Regulile MVD4f − MVD6f se exprima cu ajutorul regulilor MVD0f − MVD3f 1 cele de la dependente functionale Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 17. 17/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸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 Baze de date relat¸ionale Dependent¸e multivaluate
  • 18. 18/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Observatii Avem Σ RF M X Z daca si numai daca Z este o reuniune de elemente din partitia B(Σ, X). Fie X∗ Σ = {A|Σ RF M X → A}. Atunci pentru orice A ∈ X∗ Σ avem {A} ∈ B(Σ, X). Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate
  • 19. 19/ 18 Dependent¸e multivaluate Definit¸ii ¸si observat¸ii Propriet˘at¸i ¸si reguli de inferent¸˘a Bibliografie Baze de date relat¸ionale. Dependent¸e - Victor Felea; Univ. Al. I. Cuza, 1996 Nicolae-Cosmin Vˆarlan Baze de date relat¸ionale Dependent¸e multivaluate