Залежність з'єднання

Залежність з'єднання — обмеження на множину можливих вірних відношень над схемою бази даних. Таблиця T є об'єктом залежності з'єднання, якщо T може бути відтворене з'єднанням декількох таблиць, кожна з яких містить підмножину атрибутів T. Якщо одна з таблиць у з'єднанні містить всі атрибути T, залежність з'єднання називається тривіальною.

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

Формальна визначення

Нехай $R$ це схема відношення і нехай $R_{1}, R_{2}, . . ., R_{n}$ це декомпозиція $R$ .
Відношення $r (R)$ задовільняє залежності з'єднання $* (R_{1}, R_{2}, . . . R_{n})$ , якщо $⋈_{i = 1}^{n} Π_{R_{i}} (r) = r$ .
Залежність з'єднання тривіальна, якщо одне з $R_{i}$ це сама $R$ .
^[1]

Приклад

Розглянемо відношення Користувач, яке відтворює купівлі: { номер-замовлення, ім'я-користувача, назва-піци, ім'я-розношувача }. Вочевидь, ми можемо отримати наступні три відношення:

ім'я-користувача залежить від номер-замовлення
назва-піци залежить від номер-замовлення
ім'я-розношувача залежить від номер-замовлення

Через те, що зв'язки незалежні можна сказати, що тут є наступна залежність з'єднання: *((номер-замовлення, ім'я-користувача), (номер-замовлення, назва-піци), (номер-замовлення, ім'я-розношувача)).

Однак, якщо кожний користувач має особистого розношувача, можна отримати наступну залежність з'єднання : *((номер-замовлення, ім'я-користувача), (номер-замовлення, ім'я-розношувача), (ім'я-користувача, ім'я-розношувача), (номер-замовлення, назва-піци)), хоча *((номер-замовлення, ім'я-користувача, ім'я-розношувача), (номер-замовлення, назва-піци)) буде вірною також. Звідси видно, що наявність залежності з'єднання недостатня умова нормалізації схеми бази даних.