Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword
Like this
3Activity
×
0 of .
Results for:
No results containing your search query
P. 1
DBMS Appendix C

DBMS Appendix C

Ratings: (0)|Views: 631|Likes:
Published by John

More info:

Published by: John on Jul 30, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

10/25/2012

pdf

text

original

 
 ©Silberschatz, Korth and SudarshanC.1Database System Concepts, 5
th
Ed.
Appendix C: Advanced Relational Database DesignAppendix C: Advanced Relational Database Design
Reasoning with MVDs
Higher normal forms
Join dependencies and PJNF
DKNF
 
 ©Silberschatz, Korth and SudarshanC.2Database System Concepts, 5
th
Ed.
Theory ofTheory ofMultivaluedMultivaluedDependenciesDependencies
Let
denote a set of functional and multivalued dependencies. Theclosure
+
of
is the set of all functional and multivalueddependencies logically implied by
.
Sound and complete inference rules for functional and multivalueddependencies:
1.Reflexivity rule
. If
α
is a set of attributes and
βα
, then
α→β
holds.
2.Augmentation rule
. If
αβ
holds and
 γ
is a set of attributes, then
 γαγβ
holds.
3.Transitivity rule
. If
αβ
holds and
 γαγβ
holds, then
α→γ
holds.
 
 ©Silberschatz, Korth and SudarshanC.3Database System Concepts, 5
th
Ed.
Theory of Multivalued Dependencies (Cont.)Theory of Multivalued Dependencies (Cont.)
4.
Complementation rule.
If
α β
holds, then
α
 – 
β
 – 
α
holds.5.
Multivalued augmentation rule.
If
α β
holds and
 γ
and
δγ
, then
 γα δβ
holds.6.
Multivalued transitivity rule
. If
α β
holds and
β γ
holds,then
α γ
 – 
β
holds.7.
Replication rule.
If
α β
holds, then
α β
.
8.
Coalescence rule.
If
α β
holds and
 γ⊆β
and there is a
δ
such that
δ
and
δβ
=
and
δ γ
, then
α γ
holds.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->