МП-целостность при проектировании реляционных моделей баз данных

Обсуждается особый вид целостности в базах данных – целостность «множественности предка» (МП-целостность), понятие которого было введено авторами на концептуально-онтологическом уровне применительно к моделям «сущность–связь». В данной статье это понятие распространяется на реляционную модель с целью практического применения при создании баз данных. Рассматриваются связанные с этим видом целостности понятия: линия восходящего родства, отношение и ограничение множественности предка. Для перехода к реляционной модели требуется учѐт также первичных и внешних ключей, ссылочной целостности, табличных триггеров. В качестве универсального средства обеспечения целостности в реляционной среде предлагается подход на основе применения триггеров базы данных. Триггеры обнаруживают и блокируют операции вставки и обновления строк в таблицах, которые ведут к нарушению целостности. Отмечается необходимость процедурного программирования триггеров, а также сложность переноса данных между системами баз данных разного вида из-за различий языков процедурного программирования. Предлагается подход на основе использования возможностей поддержания ссылочной целостности. В этом случае целостность множественности предка обеспечивается как часть ссылочной целостности. Конкретное решение зависит от использования простых/составных, натуральных/суррогатных ключей, а также от технических ограничений среды реализации базы данных. Может потребоваться введение избыточных компонентов в состав ключей для отслеживания экземпляра предка вдоль линий восходящего родства. Приведены тестовые примеры реляционных моделей в различных реляционных средах (полностью – в MySQL и MariaDB, и частично в PostgreSQL, MS SQL Server, Oracle Database).