Транзитивная зависимость - Википедия - Transitive dependency

А транзитивная зависимость это функциональная зависимость который имеет место в силу транзитивность среди различных программных компонентов.

Компьютерные программы

В компьютерная программа прямая зависимость - это функциональность, экспортируемая библиотека, или же API, или любой программный компонент на который непосредственно ссылается сама программа. Транзитивная зависимость - это любая зависимость, вызванная компонентами, на которые программа ссылается напрямую. звонок к бревно() функция обычно вызывает транзитивную зависимость от библиотеки, которая управляет вводом-выводом для записи сообщения журнала в файл.

Зависимости и переходные зависимости могут быть разрешены в разное время, в зависимости от того, как компьютерная программа собирается и / или выполняется: например, а компилятор может иметь этап связи где зависимости разрешены. Иногда система сборки даже позволяет управлять транзитивными зависимостями^[1].

Аналогично, когда компьютер использует Сервисы, а компьютерная программа может зависеть от службы, которую следует запустить перед выполнением программы. Транзитивная зависимость в таком случае - это любая другая служба, от которой зависит служба, от которой мы напрямую зависим, например а веб-браузер зависит от Служба разрешения доменных имен преобразовать сеть URL в айпи адрес; DNS будет зависеть от сетевой службы для доступа к удаленному серверу имен. systemd основан на наборе конфигураций, которые объявить зависимости запускаемых модулей: во время загрузки systemd анализирует все транзитивные зависимости, чтобы определить порядок запуска каждого модуля.

Системы управления базами данных

Пусть A, B и C обозначают три различных (но не обязательно непересекающихся) набора атрибутов отношения. Предположим, что выполнены все три из следующих условий:

А → Б
Это не тот случай, когда B → A
B → C

Тогда функциональная зависимость A → C (которая следует из 1 и 3 аксиома транзитивности ) является транзитивной зависимостью.

В нормализация базы данных, одна из важных особенностей третья нормальная форма заключается в том, что он исключает определенные типы транзитивных зависимостей. Э. Ф. Кодд, изобретатель реляционная модель, ввел понятия транзитивной зависимости и третьей нормальной формы в 1971 г.^[2]

Пример

Транзитивная зависимость возникает в следующем отношении:

Книга	Жанр	Автор	Авторитет Национальность
Двадцать тысяч лье под водой	Научная фантастика	Жюль Верн	Французский
Путешествие к центру Земли	Научная фантастика	Жюль Верн	Французский
Листья травы	Поэзия	Уолт Уитмен	Американец
Анна Каренина	Литературная фантастика	Лев Толстой	русский
Признание	Религиозная автобиография	Лев Толстой	русский

Действует функциональная зависимость {Книга} → {Национальность автора}; то есть, если мы знаем книгу, мы знаем национальность автора. Более того:

{Книга} → {Автор}
{Автор} не делает → {Книга}
{Автор} → {Национальность автора}

Следовательно, {Книга} → {Национальность автора} - это переходная зависимость.

Транзитивная зависимость возникла из-за того, что неключевой атрибут (Автор) определял другой неключевой атрибут (Национальность Органа).

Примечания

^ «Управление транзитивными зависимостями». gradle.org. Получено 21 февраля 2019.
^ Кодд, Э. Ф. "Дальнейшая нормализация реляционной модели базы данных". (Представлено на Courant Computer Science Symposia Series 6, «Системы баз данных», Нью-Йорк, 24-25 мая 1971 г.) Отчет об исследованиях IBM RJ909 (31 августа 1971 г.). Переиздано в Randall J. Rustin (ed.), Системы баз данных: Симпозиумы Куранта по информатике, серия 6. Прентис-Холл, 1972. См. Страницы 45–51, которые охватывают третью нормальную форму и транзитивную зависимость.

[1] «Управление транзитивными зависимостями». gradle.org. Получено 21 февраля 2019.

[Codd-2] Кодд, Э. Ф. "Дальнейшая нормализация реляционной модели базы данных". (Представлено на Courant Computer Science Symposia Series 6, «Системы баз данных», Нью-Йорк, 24-25 мая 1971 г.) Отчет об исследованиях IBM RJ909 (31 августа 1971 г.). Переиздано в Randall J. Rustin (ed.), Системы баз данных: Симпозиумы Куранта по информатике, серия 6. Прентис-Холл, 1972. См. Страницы 45–51, которые охватывают третью нормальную форму и транзитивную зависимость.

[1]

[2]