Что такое четвертая нормальная форма?

Question

[Антон]

На хабре прочитал одно, на другом сайте - другое.

Приведу пример:
Есть таблицы: employees, employees_positions и employees_and_positions.
Первая хранит в себе сотрудников.
Вторая хранит в себе должности.
А третья все это дело объединяет. Многие-ко-многим.

Сотрудник может иметь несколько должностей. А должность может иметь несколько сотрудников. Кому сечас сломал логику - это нормально. Это грубый пример. Но этот момент сейчас неважен. Я о другом.

Так вот. Это 4НФ?

Answer 1

[Андрей Буров]

Четвёртая нормальная форма

Comments

[Антон]

То есть. Пример с вики:

Такая переменная отношения не соответствует 4НФ, так как существует следующая многозначная зависимость:

{Ресторан} -> {Вид пиццы}
{Ресторан} -> {Район доставки}

Я так понимаю у {Ресторан} есть два внешних ключа для видов пицц и районов?

[Андрей Буров]

Антон:

То есть, например, при добавлении нового вида пиццы придется внести по одному новому кортежу для каждого района доставки. Возможна логическая аномалия, при которой определенному виду пиццы будут соответствовать лишь некоторые районы доставки из обслуживаемых рестораном районов.

в Вашем примере все ОК.

[Антон]

Андрей Буров: черт. Тогда это меня вгоняет в ступор.

Мы имеем простую связь многие-ко-многим. Это и есть 4НФ, говоря простым языком?

[Антон]

Андрей Буров: многие-ко-многим через таблицу*

[Антон]

Андрей Буров: в RoR это бы выглядело так:

# Модель Employee
has_many :employees_and_positions
has_many :employees_positions, through: :employees_and_positions

[Андрей Буров]

Антон: Теперь и я запутался, " нетривиальные многозначные зависимости фактически являются функциональными зависимостями" функциональная зависимость это связь один ко многим.

[Антон]

Андрей Буров: куча слов понаписано. Порой, неприличных для новичков. И ни единого адекватного примера таблиц со всеми сущностями.

[Андрей Буров]

Антон: Я думаю нужно искать кники по SQL где будут описаны формы БД.

Answer 2

[iegor]

Есть кортеж A, B, C где есть зависимость между A и B и между A и C, но между B и C ее нет. В таком случае 4НФ говорит о необходимости декомпозиции базы