РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000751252<.>)
Загальна кількість знайдених документів : 1

Лисенко І. М. 
Взаємозв'язок між розширеною табличною алгеброю нескінченних таблиць та розширеною мультимножинною табличною алгеброю / І. М. Лисенко // Вісн. Вінниц. політехн. ін-ту. - 2020. - № 4. - С. 67-73. - Бібліогр.: 4 назв. - укp.

Розглянуто деякі теоретичні питання табличних баз даних. Методологічну основу дослідження складає композиційний підхід до програмування, суть якого полягає у розгляді спеціальних алгебр. Розглянуто два математичні формалізми, такі як розширена таблична алгебра нескінченних таблиць та розширена мультимножинна таблична алгебра, сигнатури операцій яких поповнені додатковими операціями внутрішніх і зовнішніх з'єднань, агрегатними операціями та операцією напівз'єднання. Подано основні визначення, що стосуються цих формалізмів: означення схеми, таблиці та відповідної алгебри. Основу статті складає розгляд питання про взаємозв'язок між розширеною табличною алгеброю нескінченних таблиць та розширеною мультимножинною табличною алгеброю. Враховуючи той факт, що перша компонента таблиці розширеної табличної алгебри нескінченних таблиць - це множина рядків, а отже 1-мультимножина, постає питання про те чи є розширена таблична алгебра нескінченних таблиць підалгеброю розширеної мультимножинної табличної алгебри. Саме цьому питанню і приділено увагу в статті. Спочатку встановлено, що множина всіх таблиць розширеної табличної алгебри нескінченних таблиць є підмножиною множини всіх таблиць розширеної мультимножинної табличної алгебри. Потім, використовуючи теоретико-множинні та логіко-алгебраїчні методи, доведено, що розширена таблична алгебра нескінченних таблиць не замкнена відносно деяких сигнатурних операцій розширеної мультимножинної табличної алгебри. До цих операцій належать об'єднання, проекція та активне доповнення. Таким чином, розширена таблична алгебра нескінченних таблиць не утворює підалгебру розширеної мультимножинної табличної алгебри. Отримані результати можуть бути використані для розробки мов запитів до табличних баз даних та для розробки програмного забезпечення з табличними базами даних.


Індекс рубрикатора НБУВ: З970.5 + З970.611

Рубрики:

Шифр НБУВ: Ж68690 Пошук видання у каталогах НБУВ 
Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського