Присоединиться к зависимости

В теории баз данных зависимость соединения — это ограничение на набор юридических отношений в схеме базы данных. Стол $T$ подчиняется зависимости соединения, если $T$ всегда можно воссоздать, объединив несколько таблиц, каждая из которых имеет подмножество атрибутов $T$. Если одна из таблиц в объединении имеет все атрибуты таблицы $T$, зависимость соединения называется тривиальной.

Зависимость объединения играет важную роль в пятой нормальной форме (5NF), также известной как нормальная форма объединения проектов , поскольку можно доказать, что если схема $R$ разлагается по таблицам $R_{1}$ к $R_{n}$, декомпозиция будет декомпозицией соединения без потерь, если правовые отношения на $R$ ограничены зависимостью соединения от $R$ называется $*(R_{1},R_{2},\ldots ,R_{n})$.

Другой способ описать зависимость соединения — сказать, что отношения в зависимости соединения независимы друг от друга.

В отличие от случая с функциональными зависимостями не существует обоснованной и полной аксиоматизации. , для зависимостей соединения хотя аксиоматизация существует для более выразительных языков зависимостей, таких как полнотипизированные зависимости . Тем не менее, последствия зависимостей соединения разрешимы.

Формальное определение

Позволять $R$ быть схемой отношений и пусть $R_{1},R_{2},\ldots ,R_{n}$ быть разложением $R$.

Отношение $r(R)$ удовлетворяет зависимости соединения

$*(R_{1},R_{2},\ldots ,R_{n})$ если $\bowtie _{i=1}^{n}\Pi _{R_{i}}(r)=r.$

Зависимость соединения тривиальна, если один из $R_{i}$ является $R$ сам.

Зависимости 2-арного соединения называются многозначными зависимостями как исторический артефакт того факта, что они были изучены до общего случая. Более конкретно, если U — набор атрибутов, а R — отношение над ним, то R удовлетворяет условиям $X\twoheadrightarrow Y$ тогда и только тогда, когда R удовлетворяет $*(X\cup Y,X\cup (U-Y)).$

Пример

Дана сеть пиццерий, которая моделирует покупки в таблице Order = {номер-заказа, имя-клиента, название-пиццы, курьер}.Можно вывести следующие отношения:

• имя клиента зависит от номера заказа
• Название пиццы зависит от номера заказа
• курьер зависит от номера заказа

Поскольку отношения независимы, существует зависимость соединения следующим образом: *((номер-заказа, имя-клиента), (номер-заказа, название-пиццы), (номер-заказа, курьер)).

Однако если у каждого клиента есть свой курьер, может возникнуть такая зависимость соединения: *((номер-заказа, имя-клиента), (номер-заказа, название-пиццы), (номер-заказа, курьер), ( имя клиента, курьер)), но *((номер заказа, имя клиента, курьер), (номер заказа, название пиццы)) также будет действительным. Это делает очевидным, что одной только зависимости соединения недостаточно для нормализации схемы базы данных.

См. также

• Чейз (алгоритм)
• Предположение об универсальном отношении