Глушко І. М. Числення та розширення сигнатур табличних алгебр

English version

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

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

0413U002493

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

0413U002493.pdf

Здобувач

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

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

28-03-2013

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

Д 26.001.09

Київський національний університет імені Тараса Шевченка

Анотація

Розроблено табличну алгебру нескінченних (скінченних) таблиць, яка є узагальненням класичної табличної алгебри. Узагальнено класичний результат Кодда-Лакруа-Піротта щодо еквівалентності реляційних алгебр та числень на кортежах (доменах). При цьому самі числення поповнені предикатними та функціональними сигнатурами, у той час як в класичному варіанті розглядається лише бінарні предикати, а функціональна сигнатура взагалі порожня. Сигнатуру табличної алгебри поповнено новими операціями:внутрішніх і зовнішніх з'єднань, операцією напівз'єднання, зовнішніми множинними операціями, агрегатними операціями.

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

Файли

aref.doc

dis.pdf

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

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.