Кулик С. О. Математичне та програмне забезпечення атоматизованої системи синтезу завдань на генерування баз даних.

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0413U005748

Облікова картка дисертації

0413U005748.pdf

Здобувач

Спеціальність

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

30-09-2013

Спеціалізована вчена рада

Д 35.052.05

Національний університет "Львівська політехніка"

Анотація

У дисертаційній роботі розв'язано наукову задачу створення математичного і програмного забезпечення системи автоматизованого синтезу схем реляційних баз даних у вигляді формул алгебри алгоритмів. У дисертаційній роботі проведено аналіз існуючих засобів опису і перетворень схем баз даних: CASE засобів і мови запитів SQL. Обґрунтовано вибір алгебри алгоритмів як математичної основи для створення формалізованого мови. Створені функціональні моделі агрегування, унарної, бінарної та реляційної операцій, типізованого шляху, адреса і значення, які забезпечили формалізований опис завдань на створення математичних моделей схем реляційних баз даних.

Читати повністю

Файли

aref.doc

dis.doc

dis.doc

Схожі дисертації

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації