наявність первинного ключа

неключові поля не повинні залежати від частини складеного первинного ключа

жодне з неключових полів не повинне залежати від іншого ключового поля (полів)