📘 database theory
Step-by-step solutions with LaTeX - clean, fast, and student-friendly.
Functional Dependency 62C186
1. **Problem statement:** Given the functional dependencies $F=\{AB\to E; AG\to I; BE\to I; E\to G; GI\to H\}$, prove that $AB \to GH$.
2. **Recall the closure definition:** To pro