20 Chapter 8 Relational-Database
Design
8.11 Does A →→ BC logically imply A →→ B and A →→ C? If yes prove it, else give
8.12 Consider the following
functional dependencies
for
relation
schema R
=
(A, B, C,
D
,
8.13 Give an example of a relation, with one or more multivalued dependencies,
which is not in 4NF, and show how to bring your example to 4NF.
. .
.2+ 2
8.14 Dependency theory
a. Give an example of functional
dependencies
on relation
r(A,
B, C) such that
r
does not satisfy BCNF, and give an example relation showing the resultant
redundancy.
. .
.2 + 2
8.15 Show using the schema
r(A,
B,
C,
D, E) with functional dependencies A →
B
8.16 Dependency theory
a. Prove, from first principles, the transitivity axiom for multivalued depen-
dencies (α →→ β and β →→ γ ⇒ α →→ γ − β ).
. .
.4
b. Prove, using Armstrong’s axioms, the union rule for functional
dependen-
cies (α → β and α → γ ⇒ α → βγ).
. . .3
c. Does A →→ BC imply A →→ B and A →→ C. Prove or give a
counter-
example.
. . .3
d. Given a schema R(A, B,
C,
D), with an MVD A →→ BC, what MVDs, if
any, hold on a decomposition of R into R1(A, B, D) and R2(A,
C,
D)? Prove
8.17 Normalization