Харвестер відкритої науки НАН України

К теории программных алгебр

за авторством Буй, Д.Б., Мавлянов, А.В.
Опубліковано в: Український математичний журнал (1984)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей

за авторством Буй, Д.Б., Пузікова, А.В.
Опубліковано в: Штучний інтелект (2015)

Диаграммы классов ООП: формализация и анализ

за авторством Буй, Д.Б., Компан, С.В.
Опубліковано в: Труды Института прикладной математики и механики (2013)

Уточнення обмежень min та max простої кардинальності в моделі «сутність-зв'язок»

за авторством Буй, Д.Б., Сільвейструк, Л.М.
Опубліковано в: Математичні машини і системи (2009)

Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика

за авторством Буй, Д.Б., Поляков, С.А.
Опубліковано 2010

Об’єктно-орієнтована БД Neodatis: розгортання, програмування запитів, порівняння з реляційними базами даних...

за авторством Буй, Д.Б., Компан, С.В.
Опубліковано 2010

Об инвариантности ключей относительно операций табличных алгебр

за авторством Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Опубліковано в: Кибернетика и системный анализ (2015)

Современное состояние теории мультимножеств с сущностной точки зрения

за авторством Редько, В.Н., Буй, Д.Б., Гришко, Ю.А.
Опубліковано в: Кибернетика и системный анализ (2015)

Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування...

за авторством Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.
Опубліковано 2010

Некоторые равенства в табличных алгебрах

за авторством Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Опубліковано в: Доповіді НАН України (2014)

Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень

за авторством Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
Опубліковано в: Доповіді НАН України (2011)

Логики частичных предикатов, индуцированные трехзначными логиками Клини

за авторством Буй, Д.Б., Шишацкая, Е.В., Мухаммед, К.Д., Санмейд, Ф.
Опубліковано в: Штучний інтелект (2015)

Аксiоматика багатозначних залежностей табличних баз даних

за авторством Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Опубліковано в: Доповіді НАН України (2015)

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах...

за авторством Редько, В.Н., Буй, Д.Б., Канарская, И.С., Сенченко, А.С.
Опубліковано в: Кибернетика и системный анализ (2017)