Дальнейшие исследования в области нормализации шли по пути поиска ситуаций, в которых могут проявиться скрытые аномалии, связанные с 5НФ. В 1981 г. Р. Фейгин опубликовал статью, в которой определил доменно-ключевую НФ и показал, что отношение в ДКНФ не имеет аномалий модификации. Более того, любое отношение, не имеющее аномалий модификации, должно находиться в ДКНФ. После этого в НФ более высоких порядков отпала необходимость, по крайней мере, для устранения аномалий модификации.
Отношение находится в доменно-ключевой НФ, если каждое ограничение, накладываемое на это отношение, является логическим следствием определения доменов и ключей [7]. Ограничение здесь определяется как любое правило, регулирующее возможные статические значения атрибутов и достаточно точное для того, чтобы можно было установить, выполняется оно или нет. При анализе на соответствие ДКНФ не рассматриваются ограничения, зависящие от времени, например «зарплата за текущий период не может быть меньше, чем за предыдущий период» .
Покажем, что рассмотренное ранее отношение STUDENTS (табл. 5.4) соответствует не только требованиям НФБК, что доказывалось в параграфе 5.4, но и требованиям ДКНФ. В этом отношении есть ограничение первичного ключа (StudID), и могут присутствовать ограничения на правила формирования идентификаторов студентов, номеров учебных групп, порядок записи имен и фамилий. Все перечисленные ограничения связаны или с ключами, или с определением доменов, таким образом, отношение соответствует ДКНФ.
Алгоритм преобразования отношения к ДКНФ авторами однозначно не был определен, поэтому можно сказать, что ДКНФ показывает, каким требованиям должно отвечать отношение, но не дает ответа, как этого добиться.
Заканчивая разговор о нормализации, необходимо упомянуть и о денормализации, которая определяется как намеренное приведение структуры реляционных отношений к форме, нарушающей требования НФ. В процессе нормализации реляционные отношения обычно подвергаются декомпозиции, разделяются на несколько. При этом для чтения данных из нескольких отношений приходится проводить операции соединения, которые требуют дополнительного времени.
В большинстве случаев потери времени на соединение таблиц относительно невелики, и важнее спроектировать такую структуру БД, в которой не будет аномалий модификации. Но в ряде случаев забота о быстродействии системы вынуждает разработчиков согласиться с некоторой избыточностью хранимых данных и отсутствием у отдельных реляционных отношений (таблиц реляционной БД) старших нормальных форм. Это можно рассматривать в качестве крайней меры, и решение о денормализации надо принимать очень осторожно.
