Ограничения переменной-отношения

Ограничения атрибута

Ограничения типа

Ограничения типа предназначены для того, чтобы указать перечень значений, которые допустимы для переменных данного типа. В этом случае при определении самого типа ему присваивается имя, базовые типы, а также ограничения на значения. К примеру, для типа WEIGHT (вес) может быть выбран в качестве базового типа – тип рациональных чисел, а в качестве ограничения целостности данного типа – ограничение на то, что все значения данного типа должны быть положительными. При создании или изменении некоторого значения, имеющего некоторый тип, должна всегда производиться проверка допустимости это значения для этого типа.

Ограничение атрибута по своей сути является простым объявлением о том, что определенный атрибут имеет определенный тип. Вернемся к определению переменной-отношения поставщиков:

VAR S BASE RELATION {

S# S#,

SNAME NAME,

STATUS INTEGER,

CITY CHAR}

Можно отметить, что значения атрибутов S#, SNAME, STATUS и CITY ограничены типами S#, NAME, INTEGER и CHAR соответственно. Другими словами, ограничения атрибутов являются частью определения этих атрибутов и могут быть идентифицированы по соответствующим именам атрибутов. Отсюда следует, что ограничение атрибута может быть устранено только путем удаления самого атрибута.

Ограничение переменной-отношения – это ограничение для некоторой отдельной переменной-отношения (оно выражается лишь через рассматриваемую переменную-отношение, хотя, с другой стороны может быть сколь угодно сложным).

Пример 9.1. Смысл следующего ограничения переменной-отношения S (Поставщики) следующий: «Поставщики в Твери должны обладать статусом, равным 20»:

CONSTRAINT SC5

IS_EMPTY (S WHERE CITY = ‘Тверь’ AND STATUS <> 20).

Еще одно ограничение:

CONSTRAINT SCK

COUNT (S) = COUNT (S { S#})

Смысл: «Номера поставщиков должны быть уникальны» или «Ключ {S#} – это потенциальный ключ отношения поставщиков».

CONSTRAINT PC1

IF NOT (IS_EMPTY(P)) THEN

COUNT (P WHERE COLOR = ‘Красный’) > 0

END IF

Смысл: «Если детали вообще имеются, то одна из них должна быть красной». Следует отметить, что последнее ограничение может быть нарушено при выполнении операции DELETE.

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

Дата добавления: 2015-05-09