MozgC пишет:

> *Первая нормальная форма:*

> * Все экземпляры сущности должны быть разными. Это условие
> требует наличие ключа (первичного или уникального), с помощью

1НФ не требует формально наличия ключа. Но ты правильно его туда запихал,
потому что где-то надо ввести понятие ключа.