Родовая структура

Опишем теперь примитив структурирования для спецификации обобщений в реляционных моделях. В мы ввели типы collection (коллекция) и aggregate (агрегат), после чего объявили отношение R следующим образом:

var R: collection of aggregate [keylist] s1: {key} R1

... sn: {key} Rn

end

В этом объявлении "список ключей" (keylist) содержит селекторы для ключевых доменов R. Заключение ключевого слова "key" (ключ) в фигурные скобки показывает, что оно не всегда обязано присутствовать. Теперь R может фактически рассматриваться как имя родового объекта. Для того чтобы определить позицию родового объекта R в родовой иерархии, нам необходимо лишь специфицировать его потомков в этой иерархии. Это дает возможность полагать, что структура, показанная на рис. 5, является уместной для определения отношений Кодда.

var R: generic

sk1 = (R11, ..., R1p1); ... skm = (Rm1, ..., Rmpm) of aggregate [keylist] s1: {key} R1; ... sn: {key} Rn

end

где:

Ri (1? i ? n) является либо родовым идентификатором
(и в этом случае должно указываться "key"),
либо идентификатором некоторого типа
(и в этом случае "key" не должно указываться);

"список ключей" (keylist) – это последовательность
si (1? i ? n), разделенных запятыми;

Rij (i = 1, 1 ? j ? p1; ...; i = m, 1 ? j ? pm)
представляет собой родовой идентификатор с теми же
самыми ключевыми доменами, что и у R;

каждое ski (1 ? i ? m) является тем же самым, что и
некоторое sj (1 ? j ? n);

если ski является тем же самым, что и sj, то
тип "{key} Rj" является множеством {Ri1, ..., Ripi}.

Рис. 5. Родовая структура

Мы используем термин родовой (generic), а не менее точный термин коллекция (collection) с тем, чтобы указать, что определяeтся родовой объект. Родовая структура одновременно специфицирует две абстракции:

R как агрегацию связи между объектами от R1

до Rn и

R как обобщение класса, содержащего объекты от R11 до Rmpm.

Домены с селекторами от sk1 до skm являются доменами образов.

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