CS348 Lecture : Assignment #2 Fall 2009 - Solutions available in another note
Document Summary
Due: friday november 20, 2009 @ 5:00 pm. Using armstrong"s axioms (plus union and decomposition), prove the following general transitivity rule: If z y , then x y and z w imply x w . Prove that the set of axioms {b1, b2, b3} is complete and sound (hint: to prove completeness, you need to derive armstrong"s axioms from the given axioms. B cd, e f, d e, b a, ad b, f g. Show that b is a candidate key for the relation r = {a, b, c, d, e, f, g}. For the relation r = {s, p, n, c, x, y, q} and the following set of fds: S n c, p xy, sp q. Relation r should appear at the root of the tree. Consider the set of attributes r = abcdegh and the set of fds. F = {ab c, ac b, ad e, b d, bc a, e g}.