23.8.4. Ограничения целостности

Как уже отмечалось, модель данных определяет не только структурные и операционные возможности моделирования данных, но и виды допустимых ограничений целостности данных. Так называют логические ограничения, которые дают возможность СУБД следить за тем, чтобы в базе данных содержались только допустимые значения данных и между ними поддерживались только допустимые связи. Тем самым ограничения целостности позволяют отображать в базе данных семантику предметной области.

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