Ограничения, накладываемые на данные

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

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

Возможно определения различных типов ограничений.

Ограничения, накладываемые на значения свойств объектов, относятся к логическому типу.

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

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

Динамические ограничения определяют допустимые переходы БД из одного состояния в другое.