РЕФЛЕКСИВНО-ТРАНЗИТИВНІ ЗАМИКАННЯ БІНАРНИХ ВІДНОШЕНЬ

  • Дмитрий Борисович Буй Київський національний університет імені Тараса Шевченка
  • Елена Владимировна Шишацкая Київський національний університет імені Тараса Шевченка
  • Санмед Фабанми Київський національний університет імені Тараса Шевченка
  • Мохаммед Карам Київський національний університет імені Тараса Шевченка

Анотація

Робота присвячена математичним основам алгоритмів лінеаризації – одного з методів
вирішення конфлікту імен, що виникає при множинному спадкуванні в об'єктно-орієнтованих мовах
програмування. Об'єкт дослідження – рефлексивно-транзитивне замикання бінарного відношення.
Встановлено властивості замикання: критерій бути частковим порядком, замикання є оператором
замикання, наведені три неявних представлення замикання, виходячи з його властивостей, і як
найменшого рішення характеристичного рівняння

Біографії авторів

Дмитрий Борисович Буй, Київський національний університет імені Тараса Шевченка

доктор фізико-математичних наук, Професор, Київський національний університет імені Тараса Шевченка

Елена Владимировна Шишацкая, Київський національний університет імені Тараса Шевченка

нженер-програміст, Київський національний університет імені Тараса Шевченка

Санмед Фабанми, Київський національний університет імені Тараса Шевченка

Аспірант, Київський національний університет імені Тараса Шевченка

Мохаммед Карам, Київський національний університет імені Тараса Шевченка

Аспірант, Київський національний університет імені Тараса Шевченка

Опубліковано
2016-05-31
Номер
№ 22(98) (2016): Електротехнічні та комп'ютерні системи
Розділ
Інформаційні системи та технології