Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю
Дана робота є продовженням робіт, присвячених актуальній проблемі розробки теоретичної основи табличних баз даних, в якості якої виступають табличні алгебри. Розглядається питання про зв’язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю. Враховуючи той факт, що 1...
Збережено в:
Дата: | 2018 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2018
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144595 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю / І.М. Глушко // Проблеми програмування. — 2018. — № 2-3. — С. 159-163. — Бібліогр.: 4 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineРезюме: | Дана робота є продовженням робіт, присвячених актуальній проблемі розробки теоретичної основи табличних баз даних, в якості якої виступають табличні алгебри. Розглядається питання про зв’язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю. Враховуючи той факт, що 1-мультимножини є аналогами звичайних множин, виникає питання, чи є таблична алгебра нескінченних таблиць підалгеброю мультимножинної табличної алгебри. Ця проблема і досліджується у даній роботі. Застосовуючи теоретико-множинні та логіко-алгебраїчні методи, встановлено, що таблична алгебра нескінченних таблиць не утворює підалгебру мультимножинної табличної алгебри, бо не є замкненою відносно деяких операцій сигнатури мультимножинної табличної алгебри. У роботі встановлено, що це за операції. |
---|