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


         

образ предка t, то мы


Если t' – образ предка t, то мы говорим, что t – образ потомка (child image) t'.

Для представления абстракций мы можем теперь сформулировать ограничения на отношение вместе с его агрегатными и родовыми компонентами:

  1. для каждого R-кортежа t, если t.si

    не есть "пусто", то в случае, когда Ri

    – родовой идентификатор, t.si является ключом некоторого Ri-кортежа, а в случае, когда Ri – идентификатор некоторого типа, t.si имеет тип Ri;


  2. никакие два различных R-кортежа не могут иметь один и тот же ключ;


  3. каждый Rij-кортеж имеет образ предка в R;


  4. для каждого R-кортежа t, если t.sk

    не есть "пусто" и имеет значение Rij, то R имеет образ потомка в Rij;


  5. никакой R-кортеж не может иметь одновременно образы потомка в Rij и в Rik

    при j ? k.


Эти пять условий мы называем реляционными инвариантами (relational invariant).

Они являются трансформацией пяти предыдущих условий в соответствии с методом представления родовых объектов как отношений. Имеется одно небольшое исключение, связанное с инвариантами (i) и (iv). Дело в том, что на практике необходимо допускать в некоторых доменах значения "пусто", которые означают "неизвестно" или "безразлично". Инварианты (i) и (iv) предусматривают существование такой возможности.

Реляционные инварианты могут рассматриваться как ограничения, налагаемые на отношения с тем, чтобы они представляли "абстрактные объекты". Эти инварианты должны удовлетворяться каждым отношением в реляционной модели, безотносительно к виду абстрактного объекта, который представляет данное отношение. Помимо этого, каждое отношение должно обычно удовлетворять множеству инвариантов (часто называемых "ограничениями целостности"), характерных только для этого отношения. Подобного рода инварианты ограничивают отношение таким образом, чтобы оно представляло конкретный вид абстрактных объектов. Поскольку реляционные инварианты применяются к каждому отношению, они являются наиболее фундаментальной формой ограничений целостности.


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