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

В дизайн базы данных, а разложение соединения без потерь является разложением отношения ${\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=(A,B,C,D)}$ быть схемой отношений с атрибутами А, B, C и D.
• Позволять ${\displaystyle F=\{A\rightarrow BC\}}$ быть набором функциональных зависимостей.
• Разложение на ${\displaystyle R_{1}=(A,B,C)}$ и ${\displaystyle R_{2}=(A,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]

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

1. Полер, К. (2015). «Разложение без потерь с объединением: приложения для количественных вычислений». Международный журнал прикладных компьютерных наук. 21 (4): 190–212.
2. «Собственность без потерь». Stackoverflow.com. Получено 2016-02-07.
3. "Разложение соединения без потерь" (PDF). Университет Буффало. Ян Хомицки. Получено 2012-02-08.
4. "Разложение соединения без потерь". Cs.sfu.ca. Получено 2016-02-07.
5. «Архивная копия». Архивировано из оригинал на 2014-02-21. Получено 2014-02-12.