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

  Скачати повний текст