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

       

В частности, групповую ссылочную переменную


В частности, групповую ссылочную переменную мы будем рассматривать как переменную унарного отношения с единственным атрибутом Object(ref), где ref - имя этой ссылочной переменной.

Замечание. Более того, очевидно, что для пользователя не представляет интереса собственно значение OID (оно генерируется системой и зависит от реализации). Соответственно, возможное представление значений ссылочного типа может вообще не зависеть от самих этих значений. Например, любое значение ссылочного типа может быть представлено для пользователя строкой "Object". Можно предположить, что возможные представления могут быть изменены в процессе наследования. Например, для документов, у которых определен номер, являющийся глобальным ключом, возможное представление может быть реализовано как строка "Документ номер ….".

Пример. Определение объектного типа GoodsMotion можно также рассматривать как объявление R-переменной компонента типа GoodsMotion.MovedItems со схемой (OID, Article, Quantity). Соответственно, проекция

Object(GoodsMotion.MovedItems WHERE Article = "art1")

вернет значение, представляющее собой множество OID объектов, которые описывают движения товаров с артикулом "art1".

Как мы сказали, схема R-переменной компонента типа t.a представляет собой схему компонента a, дополненную атрибутом OID. Ключи переменной t.a также однозначно определяются ключами, заданными для этого компонента. Возможны три случая:


  • если для компонента a определен глобальный ключ, ключ соответствующей переменной t.a содержит в точности те же поля, что и этот глобальный ключ (это относится и к внешним ключам);
  • если для компонента a определен локальный ключ, ключ соответствующей переменной t.a содержит поля, входящие в указанный локальный ключ, а также поле OID;
  • если для компонента a ключ не определен, ключ соответствующей переменной t.a содержит единственное поле OID.


2) R-переменная типа. Еще раз повторим, что в соответствии с основным требованием R*O системы состояние объекта описывается набором значений отношений, определённых на множестве скалярных типов.

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