Software Engineering
Consider the following set of functional dependencies FA which hold for relation A containing attributes A = {P,Q, R, S, T,U, V, W}:
(a) Visualize FA as a hypergraph as shown in the lecture slides [p. 608]. Make sure that the layout is not too messy and that it is clear which subsets are connected by each arrow. What do you notice?
(b) Prove FAE VW → P, i.e., "every database instance that satisfies FA also satisfies VW → P" (the rhs is an implied FD), by each of the following three methods:
i. Proof by using the definition of functional dependencies.
ii. Proof by using the Armstrong Axioms.
iii. Proof by computing the (attribute) cover {V, W }+ (p. 612f).
(c) Is {V, W } a key of A? Justify your answer briefly.
(d) Is {V, W } a determinant for {P,Q, R, S,T,U, V}? Explain your answer.
Verified
Getting answers to your urgent problems is simple. Submit your query in the given box and get answers Instantly.
Success