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

Cite: Зыкин С.В.
Обобщение ссылочных ограничений целостности в базах данных
XIV Международная молодежная научно-практическая конференция с элементами научной школы «ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА» 20-25 мая 2024