Search academic texts

Information × Registration Number 0419U003029, Candidate dissertation Status Кандидат фізико-математичних наук Date 30-05-2019 popup.evolution o 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. Description Дисертаційна робота присвячена дослідженню багатозначних логік формальних моделей баз даних та побудові нових програмно-орієнтованих логік, особливістю яких є використання спеціальних істиннісних значень, що вказують на невизначеність, помилки, неоднозначність тощо. На основі композиційно-номінативного підходу, спільного для логіки і програмування, вперше запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – пропозиційні п’ятизначні логіки та логіки п’ятизначних квазіарних предикатів, що дозволяють адекватно формалізувати специфікації моделей баз даних. Такі логіки природним чином виникають в процесі побудови формальних моделей інформаційних систем, адекватних предметній області, та програмних систем, які обробляють різні типи невизначеностей і помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік. Registration Date 2019-05-30 popup.nrat_date 2020-04-03 Close