Шишацька О. В. Формальні моделі баз даних та багатозначні логіки

Дисертаційна робота присвячена дослідженню багатозначних логік формальних моделей баз даних та побудові нових програмно-орієнтованих логік, особливістю яких є використання спеціальних істиннісних значень, що вказують на невизначеність, помилки, неоднозначність тощо. На основі композиційно-номінативного підходу, спільного для логіки і програмування, вперше запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – пропозиційні п’ятизначні логіки та логіки п’ятизначних квазіарних предикатів, що дозволяють адекватно формалізувати специфікації моделей баз даних. Такі логіки природним чином виникають в процесі побудови формальних моделей інформаційних систем, адекватних предметній області, та програмних систем, які обробляють різні типи невизначеностей і помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік.