Знайдено документів: 1
Інформація × Реєстраційний номер 0411U003032, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 07-04-2011 Статус Запланована Назва роботи Теорія мультимножин та її застосування Здобувач Богатирьова Юлія Олександрівна, Керівник Буй Дмитро Борисович Опонент Штефан Гудак Опонент Гороховський Семен Самуїлович Опис Роботу присвячено розвитку теорії мультимножин та її застосуванню. Досліджено властивості операцій над мультимножинами: ідемпотентність, комутативність, асоціативність, дистрибутивність, закони поглинання, монотонність, аналоги законів де Моргана та подвійного заперечення. Побудовано решітку мультимножин, яку вкладено у дві повні решітки мультимножин. При цьому друга повна решітка, отримана узагальненням поняття мультимножини (допускається нескінченна кратність елементів), використо-вується при заданні денотаційної семантики рекурсивних запитів SQL-подібних мов. Вирішено проблему повноти для мультимножинної примітивної програмної алгебри. Тим самим уточнено обчислюваність на мультимножинах. Розглянуто можливості застосування теорії мультимножин. Отримані результати можуть бути застосовані для: уточнення таблиць із дублікатами рядків у сучасних СУБД та маніпуляцій над такими таблицями; побудові денотаційної семантики рекурсивної форми CTE-виразів сучасних SQL-подібних мов; уточнені обчислень на ДНК у біоінформатиці. Дата реєстрації 2011-04-07 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
2
Богатирьова Юлія Олександрівна. Теорія мультимножин та її застосування : к.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2011-04-07; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0411U003032.
Знайдено документів: 1

Оновлено: 2026-03-19