Поляков С. А. Композиційна семантика ядра SQL-подібних мов

Робота присвячена розробці спеціалізованої програмної алгебри, носієм якої виступають функції, а в якості сигнатурних операцій використовуються композиції (оператори). Вона задає множину семантичних функцій мови SQL, базуючись на структурі мови, а також враховує такі властивості SQL, як задання таблиць на базі мультимножин, невизначені значення та трьохзначну логіку. Отримані результати застосовані для уточнення семантики мови SQL; у побудові навчальних курсів, які читаються в Київському національному університеті імені Тараса Шевченка, в Ніжинському державному університеті імені М.В. Гоголя та Кіровоградському державному педагогічному університеті імені Володимира Винниченка; при уточнені семантики складних запитів до реляційних баз даних.