Ch 05: FD and BCNF (Formal)