Chương 4: Đại số quan hệ

Đại số quan hệ là ngôn ngữ dùng để đặc tả việc truy xuất dữ liệu trên quan hệ. Gồm tập hợp các phép toán trên các quan hệ và cho kết quả là một quan hệ.
Nội dung trích xuất từ tài liệu:
Chương 4: Đại số quan hệ CƠ SỞ DỮ LIỆU Chöông 4 ÑAÏI SOÁ QUAN HEÄ 1 MUÏC ÑÍCHHieåu caùc pheùp toaùn treân quan heäVaään duïng caùc pheùp toaùn khi thaotaùc treân döõ lieäu (ñöôïc toå chöùc theomoâ hình quan heä) 2 Chöông 5 ÑAÏI SOÁ QUAN HEÄ 1. Giôùi thieäu 2. Caùc pheùp toaùn treân quan heä ∪, ∩, -, σ, Π, × ⋈: θ-keát (θ-join) keát baèng (equi join), keát töï nhieân (natural join), keát traùi (left join), keát phaûi (right join), keát ngoïai (outer join). pheùp chia ÷, caùc haøm keát hôïp (aggregate function) 3. Caùc thao taùc treân döõ lieäu quan heä: Tìm kieám, Theâm , Xoùa, Caäp nhaät. 3 GIÔÙI THIEÄUÑaïi soá quan heä laø ngoân ngöõ duøng ñeå ñaëc taû vieäc truy xuaát döõlieäu treân quan heä.Goàm taäp hôïp caùc pheùp toaùn treân caùc quan heä vaø cho keát quaû laømoät quan heä. 4 CAÙC PHEÙP TOAÙN TREÂN QUAN HEÄPheùp hoäi Kyù hieäu: ∪r vaø s laø 2 quan heä khaû hôïp. Bieåu dieãn hình thöùc cuûa pheùp hôïp:r ∪ s = { t/ (t ∈ r) ∨ (t ∈ s) }Hai quan heä laø khaû hôïp neáu chuùng coù cuøng soá thuoäc tính vaø caùcthuoäc tính töông öùng cuøng mieàn giaù trò.Keát quaû laø moät quan heä coù caùc thuoäc tính laø caùc thuoäc tính cuûaquan heä r, soá boä laø hoäi soá boä cuûa hai quan heä coù loaïi boû söï truønglaép. r ∪ s (A, B, C)Ví duï: s(A, B, C) r (A, B, C) A B C A B C A B C a1 b1 c1 a1 b1 c1 a1 b1 c1 a2 b1 c2 a2 b1 c2 a2 b2 c2 a2 b2 c1 a2 b2 c1 5 a2 b2 c2 CAÙC PHEÙP TOAÙN TREÂN QUAN HEÄ Pheùp giao Kyù hieäu: ∩ Cho hai quan heä r vaø s khaû hôïp. Bieåu dieãn hình thöùc cuûa pheùp giao: r ∩ s = { (t ∈ r) ∧ (t ∈ s)} Keát quaû laø moät quan heä coù caùc thuoäc tính laø caùc thuoäc tính cuûa quan heä r, goàm caùc boä xuaát hieän ôû caû hai quan heä. Ví duï: r (A, B, C) s(A, B, C) r∩ s (A, B, C) A B C A B C A B C a1 b1 c1 a1 b1 c1 a1 b1 c1 a2 b1 c2 a2 b2 c2 a2 b2 c1 6 CAÙC PHEÙP TOAÙN TREÂN QUAN HEÄPheùp tröø Kyù hieäu: -Cho hai quan heä r vaø s khaû hôïp.Bieåu dieãn hình thöùc cuûa pheùp tröø: r – s = {t / (t∈ r) ∧ (t ∉ s) }Keát quaû laø moät quan heä coù caùc thuoäc tính laø caùc thuoäc tính cuûaquan heä r, goàm caùc boä xuaát hieän ôû quan heä r maø khoâng coù ôû s. Ví duï: r (A, B, C) s(A, B, C) r - s (A, B, C) A B C A B C A B C a1 b1 c1 a2 b1 c2 a1 b1 c1 a2 b1 c2 a2 b2 c2 a2 b2 c1 a2 b2 c1 7 CAÙC PHEÙP TOAÙN TREÂN QUAN HEÄPheùp choïn Kyù hieäu σÑònh nghóa: Cho löôïc ñoà quan heä R (A1, A2,…, An), r(R): σE (r) = {t , t ∈ r vaø t thoûa E}E laø moät bieåu thöùc cho bieát ñieàu kieän choïn.Kyù hieäu: σE (r)+ Pheùp choïn ñöôïc duøng ñeå trích choïn caùc doøng thoûa ñieàu kieän choïnE töø quan heä ban ñaàu.+ Keát quaû laø moät quan heä coù soá coät baèng soá coät cuûa r, soá doøng laø soádoøng trong r thoûa E. 8 CAÙC PHEÙP TOAÙN TREÂN QUAN HEÄPheùp choïnVí duï1: Cho danh saùch caùc nhaân vieân thuoäc phoøng coù maõ laø KD. ...