Незалежність аксіоматики Армстронга та алгебра функціональних залежностей von Буй, Д.Б., Пузікова, А.В.

Volltext

Диаграммы классов ООП: формализация и анализ von Буй, Д.Б., Компан, С.В.

Volltext

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

Volltext

Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика von Буй, Д.Б., Поляков, С.А.

Volltext

К теории программных алгебр von Буй, Д.Б., Мавлянов, А.В.

Volltext

Уточнення обмежень min та max простої кардинальності в моделі «сутність-зв'язок» von Буй, Д.Б., Сільвейструк, Л.М.

Volltext

Современное состояние теории мультимножеств с сущностной точки зрения von Редько, В.Н., Буй, Д.Б., Гришко, Ю.А.

Volltext

Об инвариантности ключей относительно операций табличных алгебр von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.

Volltext

Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування... von Буй, Д.Б., Кахута, Н.Д., Сільвейструк, Л.М.

Volltext

Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень von Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.

Volltext

Некоторые равенства в табличных алгебрах von Редько, В.Н., Буй, Д.Б., Сенченко, А.С.

Volltext

Логики частичных предикатов, индуцированные трехзначными логиками Клини von Буй, Д.Б., Шишацкая, Е.В., Мухаммед, К.Д., Санмейд, Ф.

Volltext

Аксiоматика багатозначних залежностей табличних баз даних von Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.

Volltext

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах... von Редько, В.Н., Буй, Д.Б., Канарская, И.С., Сенченко, А.С.

Volltext