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

Если предыдущие формы требовали нормализацию зависи­мостей на уровне столбцов отношения, требования, заключающие­ся к приведению отношения к четвертой нормальной форме, каса­ются зависимостей между разными записями внутри отношения. То есть если существует запись (х, yl,zl), и запись (x,y2,z2), то в силу симметричности определения, должны существовать записи (x,y2,zl) и (x_?y2,zl). Многозначные зависимости выявляются при логическом группировании некоторых атрибутов и их симметрич­ном вхождении в отношении. Естественно было бы предположить, что необходимым требованием при этом является нахождение от­ношения в третьей нормальной форме. Рассмотрим пример не со­всем удачной таблицы, содержащей сведения о поставщиках това­ров в некоторой посреднической фирме.

Из таблицы можно предположить, что поставщики Фирбима­тик и Бузетти производят одинаковые по своим параметрам пароманекены, однако это совсем не так, следовательно, в такую табли­цу должен быть занесен код каждого товара.

Если отношение не находится в четвертой нормальной форме это зачастую означает, что в предметной области были пропущенные какие-то классы объектов или сущностей. В данном случае этой сущностью является код товара.