Ссылочная целостность данных в корпоративных информационных системах

Решается прикладная задача автоматизации построения неизбыточного множества ссылочных ограничений на данные. Эти ограничения позволяют регламентировать на предприятии бизнес-правила в использовании информации, которая хранится в реляционной базе данных (БД) и обслуживается системой управления БД (СУБД). Теоретической основой ограничений служат зависимости включения, которые в данной статье получили обобщение, позволяющее использовать неопределенные значения. Такое обобщение является следствием их практической значимости. Для корректного решения указанной проблемы вводится и исследуется понятие ациклических схем БД. Введена интерпретация ациклических схем БД в виде ассоциированных гиперграфов, доказана теорема о цикличности таких гиперграфов. Представлено автоматическое построение множества всевозможных ссылочных ограничений и предложен алгоритм автоматизации удаления избыточных ссылочных ограничений целостности.