Search academic texts

Information × Registration Number 0413U005748, Candidate dissertation Status к.т.н. Date 30-09-2013 popup.evolution o Title Mathematical and software for automation synthesis of database creation tasks. Author Kulyk Sergii Oleksandrovych, popup.head Ovsyak Volodymyr Kazymyrovych popup.opponent Берко Андрій Юліанович popup.opponent Мельничин Андрій Володимирович Description У дисертаційній роботі розв'язано наукову задачу створення математичного і програмного забезпечення системи автоматизованого синтезу схем реляційних баз даних у вигляді формул алгебри алгоритмів. У дисертаційній роботі проведено аналіз існуючих засобів опису і перетворень схем баз даних: CASE засобів і мови запитів SQL. Обґрунтовано вибір алгебри алгоритмів як математичної основи для створення формалізованого мови. Створені функціональні моделі агрегування, унарної, бінарної та реляційної операцій, типізованого шляху, адреса і значення, які забезпечили формалізований опис завдань на створення математичних моделей схем реляційних баз даних. Registration Date 2013-09-30 popup.nrat_date 2020-04-04 Close