Декомпозиция ассоциаций
Размышления, в том числе, и имеющие отношение к описанию базы данных, не появляются сразу четко декомпозированными на минимальные смысловые единицы.
Если задана ассоциация, состоящая из n (n > 2) участвующих в ней типов сущностей, то проектировщик базы данных, имеющий в своем распоряжении для работы только инструментарий бинарных отношений, весьма вероятно, сразу декомпозировал бы такую ассоциацию на n связанных (anchored) бинарных отношений (каждое из них связывает одного участника с доменом сущности самой ассоциации). Предположим теперь, что он спроектировал ассоциацию в n-арной форме, исследовал ее возможные декомпозиции без потерь и обнаружил, что она могла бы быть декомпозирована на две или более независимых ассоциации более низкой степени, каждая из которых могла бы затем быть декомпозирована отдельно (если это желательно) на бинарные отношения. Мы могли бы тогда сказать, что первоначальная непосредственная декомпозиция на бинарные отношения была преждевременной. Назовем эту ситуацию ловушкой преждевременной бинарной декомпозиции (premature binary decomposition trap). Эта ловушка является взаимнодополняющей по отношению к ловушке соединения [5].
Можно предположить, что в своих попытках достижения минимальных смысловых единиц проектировщик был бы хорошо осведомлен о возможностях использования всей теории n-арных отношений, которая была разработана за последнее десятилетие. Теперь имеются такие концепции, как PJ/NF (иначе называемая 5NF – 5-я нормальная форма) [11], минимальные отношения, атомарная декомпозиция [45], правильно определенные отношения [33], независимые отношения [29] и примитивные отношения [26]. Все это может использоваться как руководство по декомпозиции. Хотя все эти концепции имеют дело, главным образом, с проекциями, которые инвертируются с помощью естественных соединений без потерь, в последних двух из них во внимание принимаются также новые ограничения целостности взаимосвязей, которые могли бы потребоваться, если бы декомпозиция зашла слишком далеко или если бы был сделан плохой выбор из двух или более доступных вариантов декомпозиции.
Заметим, что в общем случае несущностная ассоциация не может быть расщеплена (без потерь информации) на связанные бинарные проекции таким же образом, как ассоциативные сущности, поскольку не существует домена сущностей для восстановительного соединения проекций. По этой и другим причинам RM/T может быть применена к проектированию баз данных только при полном исключении концепции несущностной ассоциации.
