Přechodná závislost - Transitive dependency - Wikipedia

A tranzitivní závislost je funkční závislost který platí na základě tranzitivita mezi různými softwarovými komponentami.

Počítačové programy

V počítačový program přímá závislost je funkce exportovaná a knihovna nebo API, nebo nějaký softwarová součást na který odkazuje přímo samotný program. Transitivní závislost je jakákoli závislost, která je vyvolána komponentami, na které program přímo odkazuje. volání na a log () Funkce obvykle vyvolá přechodnou závislost na knihovně, která spravuje I / O tak, aby zapisovala zprávu protokolu do souboru.

Závislosti a přechodné závislosti lze vyřešit v různých časech, v závislosti na tom, jak počítačový program je sestaven a / nebo proveden: např. A překladač může mít fáze spojení kde jsou závislosti vyřešeny. Systém sestavení někdy dokonce umožňuje správu tranzitivních závislostí^[1].

Podobně, když a počítač používá služby, a počítačový program může záviset na službě, která by měla být spuštěna před spuštěním programu. Transitivní závislostí je v takovém případě jakákoli jiná služba, na které závisí služba, na které přímo závisíme, např. A webový prohlížeč záleží na a Služba rozlišení doménových jmen převést web URL v IP adresa; DNS bude záviset na síťové službě pro přístup ke vzdálenému serveru jmen. Zaváděcí systém Linux systemd je založen na sadě konfigurací, které prohlásit závislosti modulů, které mají být spuštěny: v době bootování systemd analyzuje všechny tranzitivní závislosti, aby rozhodl o pořadí spuštění každého modulu.

Systémy pro správu databází

Nechť A, B a C určí tři odlišné (ale ne nutně disjunktní) sady atributů relace. Předpokládejme, že platí všechny tři následující podmínky:

1. A → B
2. Není tomu tak, že B → A
3. B → C

Poté funkční závislost A → C (která vyplývá z 1 a 3 pomocí axiom přechodnosti ) je přechodná závislost.

v normalizace databáze, jedna z důležitých vlastností třetí normální forma je to, že vylučuje určité typy tranzitivních závislostí. E.F.Codd, vynálezce relační model, představil v roce 1971 pojmy tranzitivní závislosti a třetí normální forma.^[2]

Příklad

K tranzitivní závislosti dochází v následujícím vztahu:

Platí funkční závislost {Kniha} → {Autor národnosti}; to znamená, že pokud knihu známe, známe státní příslušnost autora. Dále:

• {Kniha} → {Autor}
• {Author} ne → {Book}
• {Autor} → {Autor národnosti}

{Book} → {Author Nationality} je tedy přechodná závislost.

Došlo k přechodné závislosti, protože neklíčový atribut (Author) určoval jiný neklíčový atribut (Author Nationality).

Poznámky