Реферат: В статье рассматривается теория и алгоритмы, необходимые для построения минимального покрытия обобщенных типизированных зависимостей включения. Традиционно аппарат построения минимальных покрытий используется для всех видов зависимостей с целью получения не избыточного и непротиворечивого проекта базы данных. Обобщенные зависимости включения соответствуют ссылочным ограничениям целостности, когда в одном ограничении участвуют несколько главных и несколько внешних отношений, что соответствует ребру ультраграфа. В предыдущей работе на основе исследования свойств зависимостей представлена система аксиом с доказательством непротиворечивости и полноты. В данной работе проведены исследования замыканий для обобщенных типизированных зависимостей включения. Разработан алгоритм построения замыканий, доказана его корректность. Полученные результаты далее используются для разработки алгоритма построения минимального покрытия. В конце статьи представлены примеры, которые демонстрируют работу алгоритмов.

Библиографическая ссылка: Зыкин С.В.
Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных
Моделирование и анализ информационных систем. 2024. Т.31. №1. С.78-89. DOI: 10.18255/1818-1015-2024-1-78-89 РИНЦ OpenAlex

Переводная: Zykin S.V.
Minimal Covering of Generalized Typed Inclusion Dependencies in Databases
Automatic Control and Computer Sciences. 2024. V.58. N7. P.319-328. DOI: 10.3103/S0146411624700457 WOS Scopus РИНЦ OpenAlex

Даты:

Поступила в редакцию:	12 февр. 2024 г.
Принята к публикации:	28 февр. 2024 г.
Опубликована в печати:	27 мар. 2024 г.
Опубликована online:	27 мар. 2024 г.

Идентификаторы БД:

РИНЦ:	63159430
OpenAlex:	W4393274686

Цитирование в БД: Пока нет цитирований

Альметрики: