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

Інформація × Реєстраційний номер 0411U002049, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 21-04-2011 Статус Запланована Назва роботи Композиційна семантика ядра SQL-подібних мов Здобувач Поляков Сергій Анатолійович, Керівник Буй Дмитро Борисович Опонент Глибовець Микола Миколайович Опонент Мучнікова Лілія Анатоліївна Опис Робота присвячена розробці спеціалізованої програмної алгебри, носієм якої виступають функції, а в якості сигнатурних операцій використовуються композиції (оператори). Вона задає множину семантичних функцій мови SQL, базуючись на структурі мови, а також враховує такі властивості SQL, як задання таблиць на базі мультимножин, невизначені значення та трьохзначну логіку. Отримані результати застосовані для уточнення семантики мови SQL; у побудові навчальних курсів, які читаються в Київському національному університеті імені Тараса Шевченка, в Ніжинському державному університеті імені М.В. Гоголя та Кіровоградському державному педагогічному університеті імені Володимира Винниченка; при уточнені семантики складних запитів до реляційних баз даних. Дата реєстрації 2011-04-21 Додано в НРАТ 2020-04-04 Закрити