Search academic texts

Information × Registration Number 0411U002049, Candidate dissertation Status к.ф.-м.н. Date 21-04-2011 popup.evolution o Title The compositional semantics of the SQL Author Polyakov Sergij Anatoliyovych, popup.head Buy Dmytro Borysovych popup.opponent Глибовець Микола Миколайович popup.opponent Мучнікова Лілія Анатоліївна Description Робота присвячена розробці спеціалізованої програмної алгебри, носієм якої виступають функції, а в якості сигнатурних операцій використовуються композиції (оператори). Вона задає множину семантичних функцій мови SQL, базуючись на структурі мови, а також враховує такі властивості SQL, як задання таблиць на базі мультимножин, невизначені значення та трьохзначну логіку. Отримані результати застосовані для уточнення семантики мови SQL; у побудові навчальних курсів, які читаються в Київському національному університеті імені Тараса Шевченка, в Ніжинському державному університеті імені М.В. Гоголя та Кіровоградському державному педагогічному університеті імені Володимира Винниченка; при уточнені семантики складних запитів до реляційних баз даних. Registration Date 2011-04-21 popup.nrat_date 2020-04-04 Close