с базой данных на уровне

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

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

модель корректно абстрагирует структуру реального мира во время обновления;

информация для обновления точно отражает атрибуты индивидуумов реального мира;

все пользователи имеют полные полномочия доступа ко всем отношениям.

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

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

paR, если оно является предком (parent) в плоскости агрегации (aggregation) отношения R;

caR, если оно является потомком (child) в плоскости агрегации (aggregation) отношения R;

pgR, если оно является предком (parent) в плоскости обобщения (generalization) отношения R;

cgR, если оно является потомком (child) в плоскости обобщения (generalization) отношения R.

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

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

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