Знайдено документів: 1
Інформація × Реєстраційний номер 0413U002493, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 28-03-2013 Статус Запланована Назва роботи Числення та розширення сигнатур табличних алгебр Здобувач Глушко Ірина Миколаївна, Керівник Буй Дмитро Борисович Опонент Скобелєв Володимир Геннадійович Опонент Афонін Андрій Олександрович Опис Розроблено табличну алгебру нескінченних (скінченних) таблиць, яка є узагальненням класичної табличної алгебри. Узагальнено класичний результат Кодда-Лакруа-Піротта щодо еквівалентності реляційних алгебр та числень на кортежах (доменах). При цьому самі числення поповнені предикатними та функціональними сигнатурами, у той час як в класичному варіанті розглядається лише бінарні предикати, а функціональна сигнатура взагалі порожня. Сигнатуру табличної алгебри поповнено новими операціями:внутрішніх і зовнішніх з'єднань, операцією напівз'єднання, зовнішніми множинними операціями, агрегатними операціями. Дата реєстрації 2013-03-28 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
1
Глушко Ірина Миколаївна. Числення та розширення сигнатур табличних алгебр : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2013-03-28; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0413U002493.
Знайдено документів: 1

Оновлено: 2026-03-23