ВЗАЄМОЗВ’ЯЗОК МІЖ РОЗШИРЕНОЮ ТАБЛИЧНОЮ АЛГЕБРОЮ НЕСКІНЧЕННИХ ТАБЛИЦЬ ТА РОЗШИРЕНОЮ МУЛЬТИМНОЖИННОЮ ТАБЛИЧНОЮ АЛГЕБРОЮ

Автор(и)

  • І. М. Лисенко Ніжинський державний університет імені Миколи Гоголя

DOI:

https://doi.org/10.31649/1997-9266-2020-151-4-67-73

Ключові слова:

реляційні бази даних, таблична алгебра нескінченних таблиць, мультимножинна таблична алгебра

Анотація

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

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

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

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

Біографія автора

І. М. Лисенко, Ніжинський державний університет імені Миколи Гоголя

канд. фіз.-мат. наук, доцент, доцент кафедри інформаційних технологій і аналізу даних

Посилання

В. Н. Редько, Ю. Й. Брона, Д. Б. Буй i С. А. Поляков, Реляційні бази даних: табличні алгебри та SQL-подібні мови. Київ, Україна: Видавничий дім «Академперіодика», 2001, 198 с.

Д. Б. Буй i І. М. Глушко, Числення та розширення сигнатур табличних алгебр. Ніжин, Україна: НДУ ім. М. Гоголя, 2016, 151 с.

І. М. Глушко, «Про зв’язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю,» in 2018 Proceedings of the 11th International Conference of Programming, Kyiv, Ukraine, 2018, pp. 159-163. [Електронний ресурс]. Режим доступу: http://ceur-ws.org/Vol-2139/159-163.pdf. Дата звернення: Червень 14, 2020.

Д. Б. Буй, і Н. Д. Кахута, «Властивості відношення конфінальності та устрій множини часткових функцій,» Вісник Київського університету. Серія: фіз.-мат. науки, вип. 2, с. 125-135, 2006.

##submission.downloads##

Переглядів анотації: 101

Опубліковано

2020-09-25

Як цитувати

[1]
І. М. Лисенко, «ВЗАЄМОЗВ’ЯЗОК МІЖ РОЗШИРЕНОЮ ТАБЛИЧНОЮ АЛГЕБРОЮ НЕСКІНЧЕННИХ ТАБЛИЦЬ ТА РОЗШИРЕНОЮ МУЛЬТИМНОЖИННОЮ ТАБЛИЧНОЮ АЛГЕБРОЮ», Вісник ВПІ, вип. 4, с. 67–73, Верес. 2020.

Номер

Розділ

Інформаційні технології та комп'ютерна техніка

Метрики

Завантаження

Дані завантаження ще не доступні.