Разложение соединения без потерь - Lossless join decomposition

Эта статья может потребоваться переписан соответствовать требованиям Википедии стандарты качества. Ты можешь помочь. В страница обсуждения может содержать предложения. (Июль 2014 г.)

В дизайн базы данных, а разложение соединения без потерь является разложением отношения ${ displaystyle R}$ в отношения ${ displaystyle R_ {1}, R_ {2}}$ так что естественное соединение двух меньших отношений возвращает исходное отношение. Это главное в безопасном удалении избыточности из базы данных при сохранении исходных данных.^[1]

Критерии

Также может называться неаддитивным.^{[нужна цитата ]}

Если ${ displaystyle R}$ разделен на ${ displaystyle R_ {1}}$ и ${ displaystyle R_ {2}}$, чтобы это разложение было без потерь (т. е. ${ displaystyle R_ {1} bowtie R_ {2} = R}$), то должен выполняться хотя бы один из двух следующих критериев.

Проверка 1. Подтвердите соединение явно

Проектирование на ${ displaystyle R_ {1}}$ и ${ displaystyle R_ {2}}$, и присоединение к ним, приводит к отношениям, с которых вы начали.^{[2][ненадежный источник? ]}

Проверка 2: через функциональные зависимости

Позволять ${ displaystyle R}$ быть схемой отношения.

Позволять F быть набором функциональные зависимости на ${ displaystyle R}$.

Позволять ${ displaystyle R_ {1}}$ и ${ displaystyle R_ {2}}$ образовать разложение ${ displaystyle R}$ .

Разложение представляет собой разложение без потерь соединения ${ displaystyle R}$ если хотя бы одна из следующих функциональных зависимостей находится в F⁺ (куда F⁺ означает закрытие для каждого атрибута или набора атрибутов в F):^[3]

• ${ Displaystyle R_ {1} cap R_ {2} rightarrow R_ {1}}$
• ${ Displaystyle R_ {1} cap R_ {2} rightarrow R_ {2}}$

Примеры

• Позволять ${ Displaystyle R = (А, В, С, D)}$ быть схемой отношений с атрибутами А, B, C и D.
• Позволять ${ Displaystyle F = {A rightarrow BC }}$ быть набором функциональных зависимостей.
• Разложение на ${ Displaystyle R_ {1} = (А, В, С)}$ и ${ Displaystyle R_ {2} = (А, D)}$ без потерь под F потому что ${ Displaystyle R_ {1} cap R_ {2} = A)}$. А это суперключ в ${ displaystyle R_ {1}}$, то есть у нас есть функциональная зависимость ${ displaystyle {A rightarrow BC }}$. Другими словами, теперь мы доказали, что ${ displaystyle (R_ {1} cap R_ {2} rightarrow R_ {1}) in F ^ {+}}$.

^[4][5]

Рекомендации