Классика баз данных - статьи



         

Реляционные инварианты


Рассмотрим сначала свойства отношений, которые должны оставаться инвариантными во время выполнения операций обновления. Далее мы по очереди исследуем каждую операцию и рассмотрим методы обеспечения инвариантности этих свойств. Операциями обновления, которые мы рассматриваем здесь, являются:

  • insert (вставить) – эта операция выполняется, когда становится интересен новый индивидуальный объект;
  • delete (удалить) – эта операция выполняется, когда существующий индивидуальный объект перестает быть интересным; и
  • modify (модифицировать) – эта операция выполняется, когда заданные элементы некоторого существующего объекта становятся субъектом изменений.

В мы сформулировали условия, которые должны удовлетворяться объектами реального мира, указанными в определении отношения, чтобы это определение выражало абстракции. Если некоторый объект R определяется в терминах агрегатных компонентов Ri и родовых компонентов Rij, то такими условиями являются следующие:

  1. каждый R-индивидуум должен определять некоторый уникальный Ri-индивидуум;
  2. никакие два R-индивидуума не определяют одно и то же множество Ri-индивидуумов для всех Ri, селекторы которых входят в "список ключей";
  3. каждый Rij-индивидуум должен также быть R-индивидуумом;
  4. каждый R-индивидуум, классифицируемый как Rij, должен также быть Rij-индивидуумом;
  5. никакой Rij-индивидуум не является также Rik-индивидуумом при j ? k.

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

Пусть t – некоторый кортеж Rij. Образ предка (parent image) t – это некоторый кортеж t' из R, для которого:

  1. t и t' имеют одни и те же значения во всех общих доменах и
  2. t'.ski имеет значение "Rij".
С семантической точки зрения, кортеж и его образ предка совместно описывают один и тот же индивидуум реального мира; однако образ предок находится на более высоком уровне обобщения.




Содержание  Назад  Вперед