Znaczenie pojęcia:

tranzytywne domknięcie

Pozostałe definicje na literę T.

ang. transitive closure

Termin o rodowodzie matematycznym. Tranzytywne domknięcie R* relacji R jest definiowane następująco:x R y -> x R* yx R y and y R* z -> x R* ztj. relacja R* zawiera parę <x,y>, jeżeli istnieje dowolnej długości ciąg par <x,a1>, <a1,a2>, <a2,a3>,... , <an,y> należących do R. Typowe zadanie realizowane poprzez tranzytywne domknięcie jest następujące: Niech R reprezentuje drzewo genealogiczne (R zawiera pary <rodzic, potomek> ); znaleźć wszystkich potomków (bezpośrednich lub pośrednich) Kowalskiego.Tranzytywne domknięcie znalazło zastosowanie w językach zapytań jako istotny operator realizujący pewien typ przetwarzania (patrz: BOM). Często też tranzytywne domknięcie jest argumentem na rzecz tezy, że algebra relacji (w czystej postaci) nie jest dostatecznie uniwersalna: żadna kombinacja operatorów algebry relacji nie jest w stanie osiągnąć efektu osiąganego przez tranzytywne domknięcie. Istnieją uogólnienia tego operatora, np. w standardzie SQL3 oraz w języku SBQL systemu Loqis. Tranzytywne domknięcie jest szczególnym przypadkiem operatora punktu stałego (fixed point operator), tj. operatora realizowanego przez równanie stałopunktowe X = Q(X), gdzie X jest zmienną zwracającą wynik zapytania (np. tabelę), zaś Q jest pewnym zapytaniem zależnym od X. Równanie takie oblicza się podstawiając na początku na X wynik pusty, a następnie podstawiając na X wynik Q(X) aż do momentu, kiedy poprzednia i następna wartość X są identyczne (jest to tzw. najmniejszy punkt stały). Operator punktu stałego ma związek z programowaniem w logice i koncepcją dedukcyjnych baz danych (określaną jako Datalog). Efekt uzyskiwany przez tranzytywne domknięcie można także osiągnąć poprzez rekurencyjne procedury (lub perspektywy) zdefiniowane w języku zapytań

domknięcie tranzytywne,
closure transitive