7.7

Using the functional dependencies of Exercise 7.6, compute the canonical cover $F_c$.

---

The given set of FDs (Functional Dependencies) $F$ is:-

$$\begin{gathered} A\to BC \\ CD\to E \\ B\to D \\ E\to A \end{gathered}$$

The left side of each FD in $F$ is unique. Also, none of the attributes in the left side or right side of any of the FDs is extraneous. Therefore the canonical cover $F_c$ is equal to $F$.