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

Cite: Зыкин С.В.
Обобщение зависимостей включения в базах данных
Математика в Академгородке 02-04 дек. 2024