Я изучаю нормализацию и мне было интересно, можно ли считать эту таблицу нормализованной до 2NF?
Да, это:
☑ 1NF: отношение находится в первой нормальной форме тогда и только тогда, когда домен каждого атрибута содержит только атомарные (неделимые) значения, а значение каждого атрибута содержит только одно значение из этого домена.
Поскольку названия озер / ручьев, хотя и содержат имена рыб, не делятся, они сами по себе атомарны.
Другими словами: одних первых слов названий озер / ручьев недостаточно для правильной идентификации озер / ручьев, как и вторых слов.
☑ 2NF: [...] отношение находится в 2NF, если оно находится в 1NF, и ни один непростой атрибут не зависит от какого-либо надлежащего подмножества любого ключа-кандидата отношения. Непростой атрибут отношения - это атрибут, который не является частью ключа-кандидата отношения.
Нет правильного подмножества атрибута PK Рыба , поскольку это всего один (кроме пустого набора {}, см. Комментарии). Лучшее озеро не является простым, поскольку оно не принадлежит ПК и не зависит от подмножества (, потому что нет ни одного , кроме пустого), но в целом ПК.