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.
Fig: 1
Fig: 2
Fig: 3
Fig: 4
Fig: 5
Fig: 6
Fig: 7
Fig: 8
Fig: 9