|
-
Ключові слова:
забезпечення програмне, обеспечение программное, software ; база даних, база данных, database ; програмування математичне, программирование математическое ; автореферат (текст) ; синтез автоматизований, синтез автоматизированный ; реляційна база даних, реляционная база данных ; Техніка, с.г., медицина
-
Анотація:
У дисертаційній роботі розв'язано наукову задачу створення математичного і програмного забезпечення системи автоматизованого синтезу схем реляційних баз даних у вигляді формул алгебри алгоритмів.
У роботі проведено аналіз існуючих засобів подання схем баз даних, зокрема мови запитів SQL і CASE засобів, які використовують представлення моделі даних у вигляді діаграм і візуальних схем.
Створено функціональні моделі агрегування, унарної, бінарної та реляційної операцій, типізованого шляху, адресу і значення, які забезпечили формалізований опис завдань на створення математичних моделей схем реляційних баз даних.
-
Теми документа
-
ББК науковий // Бази даних
|
