Транзитивная зависимость - Transitive dependency - Wikipedia

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

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

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

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

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

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

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

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

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

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

Пример

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

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

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

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

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

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

Примечания

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