Назови нормальные формы баз данных за пределами третьей

1NF (Первая нормальная форма):

• Все атрибуты атомарны (неделимы).
• Нет повторяющихся групп или массивов.

2NF (Вторая нормальная форма):

• Удовлетворяет 1NF.
• Нет частичной зависимости от первичного ключа (все неключевые атрибуты зависят от всего ключа).

3NF (Третья нормальная форма):

• Удовлетворяет 2NF.
• Нет транзитивных зависимостей (неключевые атрибуты не зависят от других неключевых атрибутов).

За пределами 3NF:

• BCNF (Бойса-Кодда):
  Усиленная 3NF. Каждая детерминанта (атрибут, от которого зависит другой) — потенциальный ключ.

• 4NF:
  Устраняет многозначные зависимости. Если есть зависимости вида A →→ B, то A должен быть суперключом.

• 5NF (Проекционно-соединительная):
  Устраняет зависимости соединения. Таблица не должна разлагаться на меньшие без потери информации.

Пример для BCNF:

-- Нарушает BCNF: {студент, предмет} → преподаватель, но преподаватель → предмет
CREATE TABLE Enrollment (
    student_id INT,
    subject VARCHAR(50),
    professor VARCHAR(50),
    PRIMARY KEY (student_id, subject)
);
-- Разделяем:
CREATE TABLE ProfessorSubject (
    professor VARCHAR(50) PRIMARY KEY,
    subject VARCHAR(50)
);
CREATE TABLE Enrollment (
    student_id INT,
    professor VARCHAR(50),
    PRIMARY KEY (student_id, professor)
);