7.27

Use Armstrong’s axioms to prove the soundness of the decomposition rule.


Suppose \(\alpha \rightarrow \beta\gamma\) holds. By Reflexivity rule we know that, \(\beta\gamma \rightarrow \beta\) and \(\beta\gamma \rightarrow \gamma\) holds.

By Transitivity rule \(\alpha \rightarrow \beta\) holds and \(\alpha \rightarrow \gamma\) holds.