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



         

Реляционные инварианты - часть 3


Обычно пользователи не взаимодействует с базой данных на уровне примитивных операций обновления insert, delete и modify. В большинстве случаев эти примитивы используются для конструирования операций обновления более высокого уровня, называемых транзакциями. Понятие транзакции позволяет иным образом характеризовать различия между реляционными инвариантами и специальными ограничениями целостности. Реляционные инварианты должны удовлетворяться до и после каждой инициированной пользователем операции обновления. Специальные же ограничения целостности должны удовлетворяться только до и после каждой транзакции.

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

  1. модель корректно абстрагирует структуру реального мира во время обновления;
  2. информация для обновления точно отражает атрибуты индивидуумов реального мира;
  3. все пользователи имеют полные полномочия доступа ко всем отношениям.
Такая идеализированная ситуация позволяет нам игнорировать самостоятельные проблемы специальных ограничений целостности и управления доступом. Мы утверждаем, что эти проблемы более лучше пытаться решать после разработки методов поддержки реляционных инвариантов.

В дальнейшем обсуждении будут полезны вводимые ниже аббревиатуры. Рассмотрим реляционную модель M, которая, наряду с прочим, содержит отношение R. Будем говорить, что относительно R некоторое отношение является:

  • paR, если оно является предком (parent) в плоскости агрегации (aggregation) отношения R;
  • caR, если оно является потомком (child) в плоскости агрегации (aggregation) отношения R;
  • pgR, если оно является предком (parent) в плоскости обобщения (generalization) отношения R;
  • cgR, если оно является потомком (child) в плоскости обобщения (generalization) отношения R.

На рис.19 показано, как отношение "связывается" со своими отношениями paR, caR, pgR и cgR.

Picture 19

Рис. 19. Отношение R и его отношения paR, caR, pgR и cgR




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