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

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

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

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

В отличие от случая функциональные зависимости, здесь нет звук и полный аксиоматизация для зависимостей соединения,^[1] хотя аксиоматизация существует для более выразительных языков зависимостей, таких как полные типизированные зависимости.^{[2]:Глава 8} Тем не менее, последствия зависимостей соединения разрешимы.^{[2]:Теорема 8.4.12.}

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

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

Соотношение ${displaystyle r (R)}$ удовлетворяет зависимость соединения

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

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

Зависимости 2-го соединения называются многозначная зависимость как исторический артефакт того факта, что они изучались раньше общего случая. В частности, если U это набор атрибутов и р отношение над ним, тогда р удовлетворяет ${displaystyle X woheadrightarrow Y}$ если и только если р удовлетворяет ${displaystyle * (Xcup Y, Xcup (U-Y)).}$

Пример

Для сети пиццерий, моделирующей покупки в таблице Customer = {order-number, customer-name, pizza-name, courier}. Можно вывести следующие отношения:

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

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

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

Смотрите также

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

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