tailieunhanh - Bài giảng - Bài 4: Ngôn ngữ đại số quan hệ

Đại số quan hệ (ĐSQH) có nền tảng toán học (cụ thể là lý thuyết tập hợp) để mô hình hóa CSDL quan hệ. Đối tượng xử lý là các quan hệ trong cơ sở dữ liệu quan hệ. Chức năng: Cho phép mô tả các phép toán rút trích dữ liệu từ các quan hệ trong cơ sở dữ liệu quan hệ. Cho phép tối ưu quá trình rút trích bằng các phép toán có sẵn của lý thuyết tập hợp. | Bài 4: Ngôn ngữ đại số quan hệ Khoa HTTT-Đại học CNTT Nội dung Giới thiệu Biểu thức đại số quan hệ Các phép toán Biểu thức đại số quan hệ Ví dụ Khoa HTTT-Đại học CNTT 1. Giới thiệu Đại số quan hệ (ĐSQH) có nền tảng toán học (cụ thể là lý thuyết tập hợp) để mô hình hóa CSDL quan hệ. Đối tượng xử lý là các quan hệ trong cơ sở dữ liệu quan hệ. Chức năng: Cho phép mô tả các phép toán rút trích dữ liệu từ các quan hệ trong cơ sở dữ liệu quan hệ. Cho phép tối ưu quá trình rút trích bằng các phép toán có sẵn của lý thuyết tập hợp. Khoa HTTT-Đại học CNTT 2 2. Biểu thức ĐSQH Biểu thức ĐSQH là một biểu thức gồm các phép toán ĐSQH. Biểu thức ĐSQH được xem như một quan hệ (không có tên). Có thể đặt tên cho quan hệ được tạo từ một biểu thức ĐSQH. Có thể đổi tên các thuộc tính của quan hệ được tạo từ một biểu thức ĐSQH. Khoa HTTT-Đại học CNTT 3. Các phép toán Giới thiệu Phép chọn Phép chiếu Phép gán Các phép toán trên tập hợp Phép kết Phép chia Hàm tính . | Bài 4: Ngôn ngữ đại số quan hệ Khoa HTTT-Đại học CNTT Nội dung Giới thiệu Biểu thức đại số quan hệ Các phép toán Biểu thức đại số quan hệ Ví dụ Khoa HTTT-Đại học CNTT 1. Giới thiệu Đại số quan hệ (ĐSQH) có nền tảng toán học (cụ thể là lý thuyết tập hợp) để mô hình hóa CSDL quan hệ. Đối tượng xử lý là các quan hệ trong cơ sở dữ liệu quan hệ. Chức năng: Cho phép mô tả các phép toán rút trích dữ liệu từ các quan hệ trong cơ sở dữ liệu quan hệ. Cho phép tối ưu quá trình rút trích bằng các phép toán có sẵn của lý thuyết tập hợp. Khoa HTTT-Đại học CNTT 2 2. Biểu thức ĐSQH Biểu thức ĐSQH là một biểu thức gồm các phép toán ĐSQH. Biểu thức ĐSQH được xem như một quan hệ (không có tên). Có thể đặt tên cho quan hệ được tạo từ một biểu thức ĐSQH. Có thể đổi tên các thuộc tính của quan hệ được tạo từ một biểu thức ĐSQH. Khoa HTTT-Đại học CNTT 3. Các phép toán Giới thiệu Phép chọn Phép chiếu Phép gán Các phép toán trên tập hợp Phép kết Phép chia Hàm tính toán và gom nhóm Khoa HTTT-Đại học CNTT Giới thiệu (1) Có năm phép toán cơ bản: Chọn ( ) hoặc ( : ) Chiếu ( ) hoặc ( [] ) Tích ( ) Hiệu ( ) Hội ( ) Khoa HTTT-Đại học CNTT 6 Giới thiệu (2) Các phép toán khác không cơ bản nhưng hữu ích: Giao ( ) Kết ( ) Chia ( ) Phép bù ( ) Đổi tên ( ) Phép gán ( ) Kết quả sau khi thực hiện các phép toán là các quan hệ, do đó có thể kết hợp giữa các phép toán để tạo nên phép toán mới. Khoa HTTT-Đại học CNTT Phép chọn (Selection) Trích chọn các bộ (dòng) từ quan hệ R. Các bộ được trích chọn phải thỏa mãn điều kiện chọn p. Ký hiệu: Định nghĩa: p(t):thỏa điều kiện p Kết quả trả về là một quan hệ, có cùng danh sách thuộc tính với quan hệ R. Không có kết quả trùng. Phép chọn có tính giao hoán Khoa HTTT-Đại học CNTT 7 Lược đồ CSDL quản lý giáo vụ HOCVIEN (MAHV, HO, TEN, NGSINH, GIOITINH, NOISINH, MALOP) LOP (MALOP, TENLOP, TRGLOP, SISO, MAGVCN) KHOA (MAKHOA, TENKHOA, NGTLAP, TRGKHOA) MONHOC (MAMH, TENMH, TCLT, TCTH, MAKHOA) .