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

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

von Буй, Д.Б., Мавлянов, А.В.
Veröffentlicht in Український математичний журнал (1984)

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

von Буй, Д.Б., Пузікова, А.В.
Veröffentlicht in Штучний інтелект (2015)

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

von Буй, Д.Б., Компан, С.В.
Veröffentlicht in Труды Института прикладной математики и механики (2013)

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

von Буй, Д.Б., Сільвейструк, Л.М.
Veröffentlicht in Математичні машини і системи (2009)

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

von Буй, Д.Б., Поляков, С.А.
Veröffentlicht 2010

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

von Буй, Д.Б., Компан, С.В.
Veröffentlicht 2010

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

von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Veröffentlicht in Кибернетика и системный анализ (2015)

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

von Редько, В.Н., Буй, Д.Б., Гришко, Ю.А.
Veröffentlicht in Кибернетика и системный анализ (2015)

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

von Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.
Veröffentlicht 2010

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

von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Veröffentlicht in Доповіді НАН України (2014)

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

von Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
Veröffentlicht in Доповіді НАН України (2011)

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

von Буй, Д.Б., Шишацкая, Е.В., Мухаммед, К.Д., Санмейд, Ф.
Veröffentlicht in Штучний інтелект (2015)

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

von Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Veröffentlicht in Доповіді НАН України (2015)

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

von Редько, В.Н., Буй, Д.Б., Канарская, И.С., Сенченко, А.С.
Veröffentlicht in Кибернетика и системный анализ (2017)