20 Summary We have learned how to prove fds based on the Armstrong axioms –and also why & when its ok to do so We have learned how to prove that a set of axioms is redundant or not We have learned that the Armstrong axioms are not redundant
{}