Словарь по логике

 

Транзитивное замыкание бинарного отношения R
Tr(R)=i=1Ri.
Если рассматривать множества связей графа как бинарное отношение, то его транзитивное замыкание получаем как объединение степеней этого отношения от 1 до бесконечности. Если граф имеет конечное число вершин n (а в БД именно такие графы), то его транзитивное замыкание получаем объединением не более чем первых (n-1) степеней. (См. определение степени и произведения бинарных отношений.).

© Автор статьи.