Метод Табло

Дано множество функциональных зависимостей, схема отношения полученная в результате разложения. Процедура состоит в построении таблицы, строками которой являются разложенные отношения, а столбцами – список атрибутов этих отношений без повторений. Таблица заполняется символом aj если элементы строки i в столбце j соответствуют атрибуту Aj отношения Ri в противном случае ставится bij. После построения таблицы следует просмотр всех функциональных зависимостей XY если для атрибутов из X найдутся строки, где в соответствующих местах стоят aj, то элементы bij этих строк соответствующие столбцам атрибутов из Y заменяется на aj. Если в результате появляется строка таблицы, полностью заполненная aj, то это соединение без потерь.

Пример: R(A,B,C,D) Ф.З. AC, BC, CD.

Разложили: R1(A,B) R2(B,D) R3(A,B,C) R4(B,C,D)

… A B C D R1 a a b b R2 b a b A R3 a a a B R4 b a a a	AC A B C D R1 a a a b R2 b a b A R3 a a a B R4 b a a a
BC A B C D R1 a a a b R2 b a a A R3 a a a B R4 b a a a	CD A B C D R1 a a a A R2 b a a A R3 a a a A R4 b a a A

Есть строки со всеми a, разложение без потерь.