title: Functional Dependencies Inference Rules
body: <p>I have this Relation with these dependancies:</p>
  
  <pre><code>R(A,B,C,D,E,F,G,H)
  Fd1: A → B,C,D
  Fd2: A,D → E  
  Fd3: E,F,G → H
  Fd4: F → G,H
  </code></pre>
  
  <p>My question is: there is a redundant dependency in this set and I want to know how the process of identifying this redundancy goes. The answer according to the solutions is FD3 however I have no idea how this was achieved: could anyone explain this?</p>