Registration Number
0419U003029, Candidate dissertation
Status
Кандидат фізико-математичних наук
Date
30-05-2019
popup.evolution
.
Title
Formal database models and multi-valued logic
Author
Shyshatska Olena V.,
popup.head Bui Dmytro B.
popup.opponent Peschanenko Volodymyr S.
popup.opponent Lysenko Iryna M.
popup.rada
Taras Shevchenko National University of Kyiv
Description
Дисертаційна робота присвячена дослідженню багатозначних логік формальних моделей баз даних та побудові нових програмно-орієнтованих логік, особливістю яких є використання спеціальних істиннісних значень, що вказують на невизначеність, помилки, неоднозначність тощо. На основі композиційно-номінативного підходу, спільного для логіки і програмування, вперше запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – пропозиційні п’ятизначні логіки та логіки п’ятизначних квазіарних предикатів, що дозволяють адекватно формалізувати специфікації моделей баз даних. Такі логіки природним чином виникають в процесі побудови формальних моделей інформаційних систем, адекватних предметній області, та програмних систем, які обробляють різні типи невизначеностей і помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік.
Registration Date
2019-06-20
popup.nrat_date
2020-04-03 / 2026-06-29
