Презентация "Реляционная алгебра – механизм манипулирования реляционными данными" – проект, доклад

Реляционная алгебра – механизм манипулирования реляционными данными

Все операции производятся над отношениями, и результатом операции является отношение. R=f(R1, R2, … , Rn)

Две группы операций РА

теоретико-множественные операции специальные реляционные операции

Теоретико-множественные операции

объединения отношений; пересечения отношений; взятия разности отношений; взятия декартова произведения отношений.

Объединение, пересечение и разность

Отношения совместимыми по типу, если они имеют идентичные заголовки, а атрибуты с одинаковыми именами определены на одних и тех же доменах .

Объединение union

При выполнении операции объединения (UNION) двух отношений с одинаковыми заголовками производится отношение, включающее все кортежи, которые входят хотя бы в одно из отношений-операндов. A  B = { c: cA OR cB}

Пересечение intersect

пересечением множеств A и B является такое множество C{c}, что для любого c существуют такие элементы a, принадлежащий множеству A, и b, принадлежащий множеству B, что c=a=b; A  B = { c: cA AND cB}

Разность minus

разностью множеств A и B является такое множество C{c}, что для любого c существует такой элемент a, принадлежащий множеству A, что c=a, и не существует такой элемент b, принадлежащий B, что c=b. A \ B = { c: cA AND cB}

Избыточность пересечения

A  B = A \ (A \ B) A  B = B \ (B \ A)

Чему тождественно равно выражение (A  B) \ (A \ B)

(A  B)  (B \ (A \B)) (A  B)  (B \ A) A  B

Декартово произведение

Два отношения совместимы по взятию декартова произведения в том и только в том случае, если пересечение множеств имен атрибутов, взятых из их схем отношений, пусто. Любые два отношения всегда могут стать совместимыми по взятию декартова произведения, если применить операцию переименования к одному из этих отношений.

Переименование атрибутов

Оператор переименования атрибутов имеет следующий синтаксис: A RENAME Atr1, Atr2 AS NewAtr1, NewAtr2 где Atr1, Atr2 - старые значения атрибутов NewAtr1, NewAtr2 - новые значения атрибутов A (a, b, c) B (a, d) A×B (A.a, b, c, B.a, d)

Декартово произведение times

Заголовок R1 × R2 R (a1, a2, …, an, b1, b2, …, bm), Тело R1 × R2 ={ra1, ra2, …, ran, rb1, rb2, …, rbm : ra1, ra2, …, ranR1, rb1, rb2, …, rbm R2}. Мощность [R1 × R2 ]= [R1] × [R2] На основе ДК производится операция соединения

Декартово произведение - пример

Свойства операций (OP)

Ассоциативность (A OP B) OP C = A OP (B OP C) Коммутативность (кроме разности) A OP B = B OP A

Реляционные операции

ограничение отношения (селекция) – горизонтальная вырезка; проекцию отношения – вертикальная вырезка; соединение отношений (по условию, эквисоединение и естественное соединение); деление отношений.

Селекция (where)

Простое условие требует наличия двух операндов: ограничиваемого отношения и условия ограничения (f). Условие ограничения может иметь вид: (a comp-op b), где а и b – имена атрибутов ограничиваемого отношения; атрибуты a и b определены на одном домене, для значений которого поддерживается операция сравнения comp_op,; (a comp-op const), где a – имя атрибута ограничиваемого отношения, а const –константа; атрибут a должен быть определен на домене или базовом типе, для значений которого поддерживается операция сравнения comp_op. Операцией сравнения comp-op могут быть =  >  < 

Условие может состоять из нескольких простых условий, связанных булевскими операторами AND NOT OR Приоритеты – NOT AND OR Результатом селекции является отношение, заголовок которого совпадает с заголовком отношения-операнда, а в тело входят те кортежи отношения-операнда, для которых значением условия ограничения является true.

Как обойтись только простыми условиями?

A WHERE (comp1 AND comp2) (A WHERE comp1) ???? (A WHERE comp2); A WHERE (comp1 OR comp2) (A WHERE comp1) ???? (A WHERE comp2); A WHERE NOT comp1 (A WHERE comp1) ????.

Так обойтись только простыми условиями

A WHERE (comp1 AND comp2) = (A WHERE comp1)  (A WHERE comp2); A WHERE (comp1 OR comp2) = (A WHERE comp1)  (A WHERE comp2); A WHERE NOT comp1 = A \ (A WHERE comp1).

σ A WHERE f = { c: cA AND f} σf(A)= { c ∈A : f(c) }

Селекция - пример

σ СЛУЖАЩИЕ_В_ПРОЕКТЕ_1 WHERE (СЛУ_ЗАРП > 20000.00 AND (СЛУ_ОТД_НОМ = 310 OR СЛУ_ОТД_НОМ = 315))

Проекция

Операция взятия проекции также требует наличия двух операндов – проецируемого отношения A и подмножества множества имен атрибутов, входящих в заголовок отношения A. Атрибутами результирующего отношения являются один или несколько атрибутов исходного, возможно в другом порядке.

Проекция PROJECT

Проекцией отношения A по атрибутам X, Y, …, Z, где каждый из атрибутов принадлежит отношению , называется отношение с заголовком (X, Y, …, Z) и телом, содержащим множество кортежей вида (x, y, …z) , таких, для которых в отношении найдутся кортежи со значением атрибута X равным x, значением атрибута Y равным y, …, значением атрибута Z равным z. Синтаксис операции проекции:  (X, Y, … Z) (A) = {x, y, …z :  a1, a2, …, an A AND x= ai1, y=ai2, …, z=aim}, Операция проекции дает " вертикальный срез " отношения, в котором удалены все возникшие при таком срезе дубликаты кортежей.

Проекция - пример

PROJECT (СЛУ_ОТД_НОМ) СЛУЖАЩИЕ_В_ПРОЕКТЕ_1

Соединение по условию – JOIN Тэта-соединение

Требует наличия двух операндов – соединяемых отношений и третьего операнда – простого условия. Условие – см. селекцию. Операнды совместимы по взятию декартова произведения. A JOIN B WHERE comp = (A × B) WHERE comp. R⊳⊲fS = σf(R×S)

Соединение по условию - JOIN

(ПРО_ЗАРП – средняя зарплата по проекту)

Соединение по условию – JOIN

СЛУЖАЩИЕ JOIN ПРОЕКТЫ WHERE (СЛУ_ЗАРП > ПРО_ЗАРП)

Эквисоединение

Операция соединения называется операцией эквисоединения (EQUIJOIN) , если условие соединения имеет вид (a = b), где a и b – атрибуты разных операндов соединения. Этот случай важен потому, что он чаще всего встречается на практике, и для него существуют наиболее эффективные алгоритмы реализации.

СЛУЖАЩИЕ JOIN (ПРОЕКТЫ RENAME ПРО_НОМ AS ПРО_НОМ1)) WHERE (СЛУ_ЗАРП = ПРО_ЗАРП)

Естественное соединение NATURAL JOIN

Операция естественного соединения применяется к паре отношений A и B, обладающих (возможно, составным) общим атрибутом c (т. е. атрибутом с одним и тем же именем и определенным на одном и том же домене). Пусть ab обозначает объединение заголовков отношений A и B. Тогда естественное соединение A и B – это спроецированный на ab результат эквисоединения A и B по условию A.c = B.c).

Естественное соединение через другие операции?

Естественное соединение через другие операции

Переименование Декартово произведение Селекция Проекция R⊳⊲S =  атрибуты R,S\S.AσR.A=S.A(R×S)

Естественное соединение - пример

СЛУЖАЩИЕ NATURAL JOIN ПРОЕКТЫ (естественное соединение – выдать полную информацию о служащих и проектах, в которых они участвуют).

Деление DIVIDE

Пусть заданы два отношения: A с заголовком {a1, a2, ..., an, b1, b2, ..., bm} B с заголовком {b1, b2, ..., bm}. Будем считать, что атрибут bi отношения A и атрибут bi отношения B (i = 1, 2, …, m) не только обладают одним и тем же именем, но и определены на одном и том же домене. Назовем множество атрибутов {aj} составным атрибутом a, а множество атрибутов {bj} – составным атрибутом b. После этого будем говорить о реляционном делении «бинарного» отношения A{a, b} на унарное отношение B{b}.

Деление

По определению, результатом деления A на B (A DIVIDE BY B) является «унарное» отношение C (a), тело которого состоит из кортежей v таких, что в теле отношения A содержатся кортежи для любого w из B. Операция реляционного деления не является примитивной и выражается через операции декартова произведения, взятия разности и проекции. (A DIVIDE BY B) = С : С×BA

Деление - пример

Найдем всех сотрудников, которые работают и в 1, и во 2 проектах.

R DIVIDE S = 1,2,...r-s(R)- 1,2,...r-s(1,2,...r-s(R)xS)-R).

Примеры:

Кто работает только в одном проекте. Найти табельный номер начальника. Кто получает зарплату больше, чем его начальник. У кого самая большая зарплата.