Список целевых элементов
. Каждый целевой элемент – это или имя переменной-кортежа, или выражение вида
t.A [ AS X ],
где t – имя переменной-кортежа;
А – имя атрибута сопоставляемого отношения;
Х – новое имя атрибута А, используемое в ссылках на атрибут переменной-кортежа t.
Сопоставляемое отношение
– это область определения переменной t, то есть, отношение являющееся объединением элементов-области.
В вышеприведенном примере сопоставляемое отношение есть объединение отношений
(SX) WHERE SX. Ci = ‘Яя’;
и
(SX) WHERE EXISTS SPJX
(SPJX. S# = SX. S# AND SPJX. P# = ‘P1’);
Примеры целевых списков:
SX.S#, SX.Sn;
SX.Ci AS SCity;
SX.S#, SX.Ci AS SCity, PX.P#, PX.Ci AS Pcity;
Список целевых элементов не имеет смысла вне выражения исчисления.
Целевой список определяет схему целевого отношения. Имена атрибутов (и, соответственно, домены) наследуются от схемы сопоставляемого отношения либо указываются явно необязательной конструкцией «AS атрибут».
