Транзитивне замикання

Операція транзитивного замикання позначається як Tclose (Transitive closure) Тут вона згадується в основному для повноти викладу її докладний опис виходить за рамки цієї глави Але в цьому розділі буде щонайменше дано визначення цієї операції Припустимо, що а – бінарне відношення з атрибутами X і Y, з яких обидва належать до одного й того ж типу т У такому разі а, TCLOSE а, являє собою відношення а + з таким же заголовком, як і у відносини а, і тілом, які представляють собою надмножество відносини а, яке має наведене нижче визначення

Наступний кортеж

{X х, Y у}

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

{X х, Y zl}, {X zl, Y z 2}, , {X zn , Y у}

Іншими словами, якщо відношення а розглядається як граф, то кортеж (х, у) зявляється в а +, тільки якщо в цьому графі мається шлях від вузла х до вузла у Слід зазначити, що тіло відносини а + обовязково включає тіло відносини а як підмножини

Додаткові відомості про транзитивному замиканні наведені в розділі 24

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

Схожі статті:


Сподобалася стаття? Ви можете залишити відгук або підписатися на RSS , щоб автоматично отримувати інформацію про нові статтях.

Коментарів поки що немає.

Ваш отзыв

Поділ на параграфи відбувається автоматично, адреса електронної пошти ніколи не буде опублікований, допустимий HTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

*

*