Let F and G be sets of dependencies.
F and G are equivalent if
.
F = {
}
G = {
}
1.
2.
Design: Minimal Cover [252]
If F is equivalent to G, then F covers G and G covers F.
A set F is a minimal cover if
Design: Minimal Cover Example [253]
Step 1, make every rhs a single attribute.
Step 2, remove redundant FD's.
is redundant since
is redundant since if you remove it,
and B is still included.
Can not also remove
since
which does not include B.
(But start over and remove
)
Step 3,
can be replaced by
since
is given.
Design: Third Normal Form [254]
If whenever
holds in R and A is not in X, then either X is a superkey for R, or A is prime.
A decomposition of R into Third Normal Form implies that each of its subschemas is in Third Normal Form.
Example: R = Shipments = (SPQNCXY)
F = {
}
Key: SP
R is not in 3NF since first and second FD do not have superkeys on lhs and the rhs is not prime.
The decomposition (SNC,PXY,SPQ) is in 3NF since the keys are S,P,SP.
Design: Third Normal Form Example [255]
R = ABCDE, D = (ABC,BCD,ADE)
F = {
}
Key = AB since
R is not in 3NF since the second,third FD's violate.
But the decomposition D is in 3NF since the keys are AB,BC,AD.
Both of these examples preserve the original FD's but on a local level (to be proven later).
Both of these examples have been shown to have lossless join. That is because the original key is still a member of one of the decompositions.