Нормальная форма - 4-я нормальная форма

Question

У меня есть эти данные, которые мне нужно поместить в 3-ю и 4-ю обычную форму.

Я понимаю основы нормальной формы, но меня смущают 3-я и 4-я нормальная форма, я проверил онлайн, но все еще не понимаю.

Я создаю базу данных, которая используется моей системой.

Answer 1

Отношение в 4NF также относится к BCNF, 3NF и нижним NF.

Из этого ответа:

Суперключ - это набор столбцов, который однозначно определяет строки.

Ключ-кандидат - это набор столбцов, который однозначно идентифицирует строки и содержит не меньшее ("правильное") подмножество столбцов, которое однозначно идентифицирует строки.

Таким образом, ключ-кандидат - это суперключ, который не содержит меньшего суперключа.

Многозначная зависимость (MVD) X ->> Y хранится в таблице (т. Е. Таблица имеет этот MVD) с набором атрибутов R, когда таблица может быть выражена как объединение двух таблиц, которые являются ее проекциями на наборы атрибутов X U Y и X U (R - Y). (Потому что MVD - это бинарная зависимость соединения (JD)).

Из Википедии:

Тривиальная многозначная зависимость X - >> Y - это зависимость, в которой либо Y является подмножеством X, либо X и Y вместе образуют весь набор атрибутов отношения.

Таблица находится в 4NF тогда и только тогда, когда для каждой из ее нетривиальных многозначных зависимостей X - >> Y X является суперключем, то есть X является либо ключом-кандидатом, либо его надмножеством.

Каждая таблица имеет предикат, то есть шаблон оператора, параметризованный именами атрибутов таблицы, где строки, которые идут в таблице, являются теми, которые составляют истинный оператор, заменяя имена атрибутов в предикате соответствующими значениями атрибутов в строке. MVD X ->> Y хранится в таблице, когда его предикат P можно перефразировать как:
ДЛЯ НЕКОТОРЫХ значений для атрибутов не в X U Y, P
И ДЛЯ НЕКОТОРЫХ значений для атрибутов не в XU (R - Y), P

Так что позвольте значению вашей таблицы быть вашим руководством для CK, суперключей и MVD. Для нормализации от BCNF к 4NF: если нетривиальное MVD X ->> Y, не принадлежащее суперкьюму, следует заменить таблицу ее проекциями на X U Y и X U (R - Y); повторить на новых столах.