Bài giảng slide cơ sở dữ liệu_BKA_C7:Đại số quan hệ
1 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Chương 7 Đại số quan hệ 2 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Nội dung Định nghĩa các thuật ngữ. Các phép toán đạisố quan hệ. 3 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Các phép toán đại số quan hệ Năm phép toán cơ bản f Phép chọn f Phép chiếu f Phép hợp f Phép hiệu f Phép tích Descartes 4 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Các phép toán đại số quan hệ Các phép toán khác f Phép giao f Phép kết−θ f Phép kết tự nhiên f Phép kết ngoài f Phép nửa kết−θ f Phép nửa kết tự nhiên f Phép chia 5 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép chọn Cho r(R) và điều kiện F (là một biểu thức luận lý có giá trị là true hoặc false) bao gồm: f Các toán hạng là các hằng hoặc các tên thuộc tính của lược đồ quan hệ R. f Các phép toán so sánh: =, ≠, <, ≤, >, ≥. f Các phép toán luận lý: not (¬), and (∧), or (∨). 6 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép chọn Phép chọn (selection) trên r theo điều kiện F, ký hiệu là σ F (r), cho kết quả là một quan hệ gồm các bộ của r thỏa mãn điều kiện F là true. σ F (r) = {u⏐u ∈ r và F(u) = true} với F(u) là điều kiện có được bằng cách thay thế các tên thuộc tính trong điều kiện F bởi các giá trị tương ứng trong bộ u. 7 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép chọn σ A ≤ 4 R R A B C 1 2 3 4 5 6 1 2 7 8 4 5 A B C 1 2 3 4 5 6 1 2 7 8 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép chiếu Cho lược đồ quan hệ R (A 1 , A 2 , . A m ) và một tập con các thuộc tính X={A j1 , A j2 ,…, A jn } với j 1 , j 2 , . j n là các số nguyên phân biệt và nằm trong khoảng từ 1 đến m. Phép chiếu (projection) r(R) trên một tập thuộc tính X, ký hiệu là Π X (r), cho kết quả là một quan hệ gồm các bộ u(u 1 , u 2 ,…, u n ) sao cho tồn tại một bộ v(v 1 , v 2 ,…, v m ) trong r để u i = v ji với i = 1, 2, …, n. Π X (r) = {u⏐∃v ∈ r: u=v[X]} 9 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép chiếu π AB R R A B C 1 2 3 4 5 6 1 2 7 8 4 5 A B 1 2 4 5 8 4 10 Chương 7. Đại số quan hệ 2006 Nguyễn Trung Trực - Khoa CNTT Phép hợp Cho hai quan hệ r và s trên cùng một lược đồ quan hệ R. Phép hợp (union) của hai quan hệ r và s, ký hiệu là r ∪ s, là một quan hệ gồm các bộ của r hay của s. r ∪ s={u⏐u ∈ r hay u ∈ s} Phép hợp có tính giao hoán. r ∪ s= s∪ r