The third normal form is a similar exercise, only now one is looking to see if any key attributes depend on other non-key attributes. Going beyond third normal form is largely an intellectual exercise ...