Ch 10: JDs and 5NF (Formal)