Глушко І. М. Числення та розширення сигнатур табличних алгебр : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / І. М. Глушко; Київ. нац. ун-т ім. Т. Шевченка. - К., 2013. - 22 c. - укp.Розроблено табличну алгебру нескінченних (скінченних) таблиць, яка є узагальненням класичної табличної алгебри. Узагальнено класичний результат Кодда - Лакруа - Піропа щодо еквівалентності реляційних алгебр і числень на кортежах (доменах). При цьому самі числення поповнені предикатними та функціональними сигнатурами, у той час як в класичному варіанті розглядається лише бінарні предикати, а функціональна сигнатура взагалі порожня. Сигнатуру табличної алгебри поповнено новими операціями внутрішніх і зовнішніх з'єднань, операцією напівз'єднання, зовнішніми множинними операціями, агрегатними операціями. Побудовано мультимножинний аналог узагальненої табличної алгебри. Індекс рубрикатора НБУВ: З970.611-01
Рубрики:
Шифр НБУВ: РА397101 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|