Schema Refinement And Functional Dependency Flashcards
Problems due to redundancy
- Repeated Storage
- Insertion Anomalies (violation of rule)
- Updation Anomalies
- Deletion Anomalies
Functional Dependency
(FD)X–>Y
if two tuples agree on value of X they must agree on value of Y
Properties of Functional dependency
- Reflexivity
- Augmentation
- Transitivity
- Union
- Decomposition
Reflexivity
X superset of Y
AB->A, AB->B, AB->AB
Trivial Functional Dependency
Augmentation
If X–>Y is a FD then
ZX–>ZY is a FD too
Transitivity
If X–>Y is FD and Y–>Z is FD
then X–>Z is FD
Union
If X–>Y is FD and X–>Z is FD
then X–>YZ is FD
Decomposition
If X–>YZ is FD
then X–>Y and X–>Z is FD
Closure Set of Functional Dependencies
Set of all functional dependencies that can be derived using given set F.
Denoted by F+
Closure Set of Attributes
Set of all attributes that can be derived using given set X.
Denoted by X+
How to find attribute closure
X+ = X if any subset of X is at the LHS of some FD, then add its RHS to X+ and repeat.
Closure Set of Functional Dependencies
Set of all functional dependencies that can be derived using given set F.
Denoted by F+
Additional set of FD
a functional dependency X–>Y is said to be possible if and only if X+ contains Y.
Equivalent FD
F equivalent to G if F+ = G+