Leram - Database Design and Relational Theory: Normal Forms and All That Jazz