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

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

Translated: 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

Dates:

Submitted:	Feb 12, 2024
Accepted:	Feb 28, 2024
Published print:	Mar 27, 2024
Published online:	Mar 27, 2024

Identifiers:

Elibrary:	63159430
OpenAlex:	W4393274686

Citing: Пока нет цитирований

Altmetrics: