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

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

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

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

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

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

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

von Буй, Д.Б., Пузікова, А.В.
Veröffentlicht 2015

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

von Буй, Д.Б., Мавлянов, А.В.
Veröffentlicht 1984

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

von Буй, Д.Б., Сільвейструк, Л.М.
Veröffentlicht 2009

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

von Буй, Д.Б., Пузікова, А.В.
Veröffentlicht 2015

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

von Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
Veröffentlicht 2011

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

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

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

von Редько, В.Н., Буй, Д.Б., Гришко, Ю.А.
Veröffentlicht 2015

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

von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Veröffentlicht 2015

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

von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Veröffentlicht 2014

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

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

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

von Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Veröffentlicht 2015

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

von Редько, В.Н., Буй, Д.Б., Канарская, И.С., Сенченко, А.С.
Veröffentlicht 2017