I'm currently studying a basic database course with the course literature Database Systems - The Complete Book1.
In one of the book's exercises you are asked to
Show that the following rules hold, by using the closure test.
This is the closure test described in the book:
And the question I'm having trouble with is as follows:
How can I show that the rules hold? Can I do it by computing the closures of the relevant attributes somehow prove that?
Thank you in advance!
1 Garcia-Molina, H. & Ullman, J. D. & Widom, J. (2009). Database Systems - The Complete Book, Second Edition. Pearson Education Inc., Upper Saddle River, NJ, USA.