1
Nguyễn Trung Trực - Khoa CNTTChương 5. Biến đổi truy vấn toàn cục thành các truy vấn mảnh 2006
Chương 5
Biến đổi các truy vấn toàn cục
thành các truy vấn mảnh
2
Nguyễn Trung Trực - Khoa CNTTChương 5. Biến đổi truy vấn toàn cục thành các truy vấn mảnh 2006
Nội dung
Biểu thức đại sốquan hệ.
Cây toán tửcủa truy vấn.
Các phép biến đổi tương đương.
Tiêu chuẩn 1 và 2.
Đồ thịtoán tửvà biểu thức con chung.
Biểu thức chuẩn tắc.
Đại sốquan hệ định tính.
Tiêu chuẩn 3 và 4.
Đơn giản hóa các quan hệ được phân
mảnh ngang.
3
Nguyễn Trung Trực - Khoa CNTTChương 5. Biến đổi truy vấn toàn cục thành các truy vấn mảnh 2006
Nội dung
Đơn giản hóa phép kết giữa các quan hệ
được phân mảnh ngang.
Tiêu chuẩn 5.
Sửdụng phép suy diễn cho các phép đơn
giản hóa.
Đơn giản hóa phép kết giữa các quan hệ
được phân mảnh dọc.
Chương trình nửa kết.
Phép gom nhóm.
Tiêu chuẩn 6.
Tính chất của các hàm kết hợp.
4
Nguyễn Trung Trực - Khoa CNTTChương 5. Biến đổi truy vấn toàn cục thành các truy vấn mảnh 2006
Nội dung
Đơn giản hóa truy vấn có tham số.
Sửdụng vùng nhớtạm để thực hiện truy
vấn có tham số.
5
Nguyễn Trung Trực - Khoa CNTTChương 5. Biến đổi truy vấn toàn cục thành các truy vấn mảnh 2006
Biểu thức đại sốquan hệ
Biến đổi truy vấn SQL thành các biểu thức
đại sốquan hệ.
Một biểu thức đại sốquan hệ(expression
of relational algebra): chuỗi các phép toán
(sequence of operations).
Hai biểu thức có cùng ngữnghĩa có thể
mô tảhai chuỗi phép toán khác nhau.
Πname, deptnum σdeptnum = 15 (emp)
σdeptnum = 15 Πname, deptnum (emp)