Реляционная модель данных. Евсеева О.Н. - 11 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

21
Переименование
Слайд 24
Оператор переименования
Оператор переименования
• r(R), А∈R, В∉R–А; R'=[R–А]В; dom(A)=dom(B);
отношение r с атрибутом А, переименованным
в В, обозначаемое как δ
δδ
δ
A←
←←
←B
(r), есть отношение
r'(R') = { t' | ∃ t ∈ r с t'(R–A)=t(R–А) и t'(B)=t(A) }.
• r(R), А
1
... А
k
∈R, В
1
...В
k
∉R–(А
1
... А
k
); A
i
≠
A
j
, i
≠
j;
R'=[R–А
1
... А
k
] В
1
...В
k
; dom(A
i
)=dom(B
i
),
1
≤
i
≤
т
;
δ
δδ
δ
A1…Ak←
←←
←B1…Bk
(r).
Слайд 25
Оператор переименования. Пример
Оператор переименования. Пример
какие рейсы по
расписанию используют
один и тот же самолет в
один и тот же день?
использование
δ
δδ
δ
{РЕЙС
←
←←
←
РЕЙС2}
(использование )
(РЕЙС
ДАТА
НОМЕР -
САМОЛЕТА)
(РЕЙС2
ДАТА
НОМЕР -
САМОЛЕТА)
12 6 янв. 707 -82 12 6 янв. 707 -82
12 7 янв. 707 -82 12 7 янв. 707 -82
13 6 янв. 707 -82 13 6 янв. 707 -82
26 6 янв. 747 -16 26 6 янв. 747 -16
26 7 янв. 747 -18 26 7 янв. 747 -18
27 6 янв. 747 -16 27 6 янв. 747 -16
27 7 янв. 747 -2 27 7 янв. 747 -2
60 6 янв. 707 -82 60 6 янв. 707 -82
60 7 янв. 727 -6 60 7 янв. 727 -6
s
=
π
ππ
π
{РЕЙС,РЕЙС2}
((
использование
)
><
δ
δδ
δ
{РЕ ЙС
←
←←
←
РЕЙС2}
(
использование
))
s
(
РЕЙС РЕЙС2)
12 12
12 13
12 60
13 12
13 13
13 60
26 26
26 27
27 26
27 27
60 12
60 13
60 60
22
Эквисоединение
Слайд 26
Оператор эквисоединения
Оператор эквисоединения
r(R) и s(S), A
i
∈R, B
i
∈S и dom(A
i
)=dom(B
i
),
1
≤
i
≤
m
;
A
i
и B
i
не предполагаются различными.
Эквисоединением r и s по A
1
,A
2
,...,A
m
и B
1
,B
2
,...,B
m
называется отношение
q(RS)={t | ∃ t
r
∈r и t
s
∈s с t(R)=t
r
и t(S)=t
s
и
t(A
i
)=t(В
i
), 1
≤
i
≤
m}.
q(RS) = r [A
1
=B
1
,A
2
=B
2
,...,A
m
=B
m
] s.
Слайд 27
Оператор эквисоединения. Пример
Оператор эквисоединения. Пример
маршрут (НОМЕР ПУНКТ-
ОТПРАВЛЕНИЯ
ПУНКТ-
НАЗНАЧЕНИЯ)
адрес (ПИЛОТ АЭРОПОРТ)
84 Чикаго Нью-Йорк Терхьюн Нью-Йорк
109 Нью-Йорк Лос-Анджелес Темпл Атланта
117 Атланта Бостон Тейлор Атланта
213 Нью-Йорк Бостон Тарбелл Бостон
214 Бостон Нью-Йорк Тодд Лос-Анджелес
Трумен Чикаго
может-лететь
= маршрут [ПУНКТ-ОТПРАВЛЕНИЯ = АЭРОПОРТ] адрес
может-лететь(НОМЕР ПУНКТ-
ОТПРАВЛЕНИЯ
ПУНКТ-
НАЗНАЧЕНИЯ
ПИЛОТ АЭРОПОРТ)
84 Чикаго Нью-Йорк Трумен Чикаго
109 Нью-Йорк Лос-Анджелес Терхьюн Нью-Йорк
117 Атланта Бостон Темпл Атланта
117 Атланта Бостон Тейлор Атланта
213 Нью-Йорк Бостон Терхьюн Нью-Йорк
214 Бостон Нью-Йорк Тарбелл Бостон

Страницы