Пошук академічних текстів

Інформація × Реєстраційний номер 0419U003029, Кандидатська дисертація На здобуття Кандидат фізико-математичних наук Дата захисту 30-05-2019 Статус Запланована Назва роботи Формальні моделі баз даних та багатозначні логіки Здобувач Шишацька Олена Володимирівна, Керівник Буй Дмитро Борисович Опонент Песчаненко Володимир Сергійович Опонент Лисенко Ірина Миколаївна Опис Дисертаційна робота присвячена дослідженню багатозначних логік формальних моделей баз даних та побудові нових програмно-орієнтованих логік, особливістю яких є використання спеціальних істиннісних значень, що вказують на невизначеність, помилки, неоднозначність тощо. На основі композиційно-номінативного підходу, спільного для логіки і програмування, вперше запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – пропозиційні п’ятизначні логіки та логіки п’ятизначних квазіарних предикатів, що дозволяють адекватно формалізувати специфікації моделей баз даних. Такі логіки природним чином виникають в процесі побудови формальних моделей інформаційних систем, адекватних предметній області, та програмних систем, які обробляють різні типи невизначеностей і помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік. Дата реєстрації 2019-05-30 Додано в НРАТ 2020-04-03 Закрити