Проблемы декомпозиции на минимальном покрытии Теорема Хеза
Проблема возникает тогда, когда отношение имеет несколько ключей. Например, отношение R = {A,B,C} и множество Ф/З на этой схеме F = { AB®C, C®B}. Возможные ключи AB и AC, при этом AC не детерминант. В отношении наблюдается аномалия, обусловленная тем, что атрибут B, являясь основным атрибутом зависит от собственного подмножества второго ключа AC, т.е. исходное отношение не находится во 2 НФ. Традиционное выделение в отдельное отношение Ф/З не позволяет решить проблему – появляется новое отношение, со схемой R={C,B}, но при этом сохраняется исходное отношение, что приводит к “абсурду” (избыточность и внедрение дополнительных механизмов, поддерживающих это избыточность).
Решить возникшую проблему можно используя теорему Хеза. Пусть дано отношение со схемой: R = {A, B, C} и множеством Ф/З на этой схеме F = {AB®C, C®B}. Декомпозиция без потерь будет состоять из двух отношений – R1 = {CA} и R2 = {CB}. При этом, остается потерянной зависимость AB®C. Ее необходимо поддерживать программным путем.
