Главная » SQL, Базы данных » Транзитивное замыкание (базы данных)

0

Операция транзитивного замыкания обозначается как “Tclose” (transitive  closure). Здесь она упоминается в основном для полноты изложения; ее подробное описание выходит за рамки данной главы. Но в этом разделе будет по меньшей мере дано определение этой операции. Предположим, что а — бинарное отношение с атрибутами X и Y, из которых оба принадлежат к одному и тому же типу т. В таком случае транзитивное замыкание а, TCLOSE а, представляет собой отношение а+ с таким же заголовком, как и у отношения а, и телом, представляющим собой надмножество отношения а, которое имеет приведенное ниже определение.

Следующий кортеж

{   X  х,   Y у   }

появляется в отношении а+, если и только если он присутствует в отношении а или существует такая последовательность значений zl, z2, . . ., zn, относящихся к типу Т, что все приведенные ниже кортежи появляются в а.

{    X   х ,    Y   z l    } ,                                        {    X   z l ,    Y   z 2    } ,                                        . . . ,                                        {    X   z n ,    Y  у     }

Иными словами, если отношение а рассматривается как граф, то кортеж (х, у) появляется в а+, только если в этом графе имеется путь от узла х к узлу у. Следует отметить, что тело отношения а+ обязательно включает тело отношения а в качестве подмножества.

Дополнительные сведения о транзитивном замыкании приведены в главе 24.

Источник: Дейт К. Дж., Введение в системы баз данных, 8-е издание.: Пер. с англ. — М.: Издательский дом «Вильямс», 2005. — 1328 с.: ил. — Парал. тит. англ.

По теме:

  • Комментарии