Богатирьова, Ю. О. Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень [Текст] / Ю. О. Богатирьова, Д. Б. Буй, В. Н. Редько // Доповіді Національної академії наук України. - 2011. - № 9. - С. 32-35. - Бібліогр. в кінці ст. Рубрики: Математика--Алгебра--Загальна алгебра--Поля і многочлени Кл.слова (ненормовані): функція рекурсивна -- предикат рівності Анотація: Розглядається обчислювальність на множинах і мультимножинах. Побудовано системи породжуючих множинної та мультимножинної примітивно програмних алгебр. Дод.точки доступу: Буй, Д. Б.; Редько, В. Н. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Редько, В. Н. Аксіоматика багатозначних залежностей табличних баз даних [Текст] / В. Н. Редько, Д. Б. Буй, А. В. Пузікова // Доповіді Національної академії наук України. - 2015. - № 6. - С. 24-29. - Бібліогр. в кінці ст. Рубрики: Комп'ютерна наука і технологія--Дані--Системи управління базами даних Кл.слова (ненормовані): Залежності функціональні -- Залежності багатозначні -- Критерій повноти -- Повнота аксіоматики -- Домен універсальний -- Множина атрибутів Анотація: Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного прямування. Дод.точки доступу: Буй, Д. Б.; Пузікова, А. В. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Редько, В. Н. Об инвариантности ключей относительно операций табличных алгебр [Текст] / В. Н. Редько, Д. Б. Буй, А. С. Сенченко // Кибернетика и системный анализ. - 2015. - № 5. - С. 3-12 : рис., табл. - Библиогр. в конце ст. Рубрики: Кібернетика Кл.слова (ненормовані): база даних -- таблична алгебра -- ключ Дод.точки доступу: Буй, Д. Б.; Сенченко, А. С. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах [Текст] / В. Н. Редько, Д. Б. Буй, И. С. Канарская, А. С. Сенченко // Кибернетика и системный анализ. - 2017. - № 1. - С. 3-15 : табл. - Библиогр.: с. 14-15 Рубрики: Кібернетика--Алгоритми Кл.слова (ненормовані): складність алгоритму -- база даних -- таблична алгебра Дод.точки доступу: Редько, В. Н.; Буй, Д. Б.; Канарская, И. С.; Сенченко, А. С. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |