Розширення табличних алгебр множинним успадкуванням

dc.contributor.advisorБуй Дмитро Борисович
dc.contributor.authorМохаммед Карам Джасім Мохаммед
dc.date.accessioned2023-07-12T08:38:52Z
dc.date.available2023-07-12T08:38:52Z
dc.date.issued2017
dc.description.abstractДисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем. – Київський національний університет імені Тараса Шевченка, МОН України. – Київ, 2017. Хоча семантиці SQL присвячені численні теоретичні роботи, в них не приділяється достатньо уваги об'єктно-орієнтованим розширенням мови. Однією з характеристичних особливостей об’єктних розширень є можливість одиночного успадкування таблиць. У той же час існує потреба в множинному успадкуванні таблиць. При множинному успадкуванні виникає проблема конфлікту імен колонок. Для вирішення проблеми було запропоновано застосувати спеціальний алгоритм лінеаризації відомий під назвою MRO C3. У дисертації алгоритм був модифікований для застосування до таблиць і заданий строго, з використанням псевдокоду. Формально доведена його завершуванність. Розглянуті такі важливі для лінеаризації властивості як монотонність і збереження локального порядку успадкування. Доведена монотонність алгоритму MRO C3. Алгоритм не зберігає локальний порядок успадкування, що було показано на відповідному прикладі. Проведено уточнення табличної алгебри семантичних функцій SQL. Запропоновано нові визначення для операцій внутрішнього і зовнішнього з'єднання і теоретико множинних операцій. В результаті, уточнена алгебра більш точно описує семантику ядра мови SQL і є більш зручною у використанні. Ключові слова: SQL, реляційні бази даних, табличні алгебри, семантика мов програмування, програмні алгебри, лінеаризація, успадкування таблиць.
dc.identifier.citationМохаммед К. Д. М. Розширення табличних алгебр множинним успадкуванням : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 математичне та програмне забезпечення обчислювальних машин і систем / Мохаммед Карам Джасім Мохаммед. - Київ, 2017. - 22 с.
dc.identifier.otherУДК 004.655
dc.identifier.urihttps://ir.library.knu.ua/handle/123456789/3870
dc.language.isouk
dc.subject12 Інформаційні технології
dc.subject122 Комп’ютерні науки
dc.titleРозширення табличних алгебр множинним успадкуванням
science.typeАвтореферати
Файли
Контейнер Original
Зараз відображається 1 - 1 з 1
Завантаження...
Ескіз
Назва:
Mokhammed_aref.pdf
Розмір:
623.09 KB
Формат:
Adobe Portable Document Format
Опис:
Контейнер License
Зараз відображається 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Зібрання