Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 12 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
12
Dung lượng
772,59 KB
Nội dung
Tối ưu hóa câu hỏi Biên soạn: TS Nguyễn Quốc Tuấn Bm Mạng Các HTTT Tối ưu hóa câu hỏi Biến đổi biểu thức ĐSQH để tìm biểu thức hiệu Tối ưu dựa cấu trúc nội dung liệu Nâng cao hiệu thực câu hỏi hay nhiều tiêu chí: thời gian, sử dụng nhớ, Lưu ý: Khơng thiết phải tìm biểu thức tối ưu Chú ý tới tài nguyên sử dụng cho tối ưu Mục đích kỹ thuật tối ưu Giảm số ghi Giảm kích thước ghi Ngun tắc tối ưu hóa câu hỏi Sáu chiến lược tổng quan J D Ullman Thực phép chọn sớm tốt Tổ hợp phép chọn xác định với phép tích Đề-các thành phép kết nối Tổ hợp dãy phép tốn quan hệ ngơi phép chọn phép chiếu Tìm biểu thức chung biểu thức Tiền xử lý quan hệ / bảng (Table Preprocessing) Đánh giá trước thực tính toán Biểu thức tương đương Sử dụng phép biến đổi tương đương để tìm biểu thức ĐSQH tốt Biểu thức ngơn ngữ ĐSQH có hạng thức biến quan hệ R1, , Rn; quan hệ hằng, xác định ánh xạ từ k-bộ quan hệ (r1, , rk) ri quan hệ lược đồ Ri thay ri vào Ri đánh giá biểu thức Hai biểu thức E1 E2 gọi tương đương (Equivalent), viết tắt E1 E2, chúng biểu diễn ánh xạ, nghĩa là, thay quan hệ cho tên lược đồ tương ứng hai biểu thức E1 E2, chúng cho kết Quy tắc biến đổi tương đương Quy tắc giao hốn phép kết nối tích Đề-các E1, E2 biểu thức quan hệ E1 E2 E2 E1 // Tính giao hốn kết nối E1 * E2 E1 * E2 // Tính giao hoán kết E1 x E2 E1 x E2 // Tính giao hốn tích Đề-các Quy tắc kết hợp phép kết nối tích Đề-các Nếu E1, E2 E3 biểu thức quan hệ: F1, F2 điều kiện thì: (E1 E2) E3 E1 (E2E3) (E1 * E2) * E3 E1 * (E2 * E3) (E1 x E2) x E3 E1 x (E2 x E3) Quy tắc biến đổi tương đương Dãy phép chọn 𝜎𝐹1 𝜎𝐹2 𝐸 = 𝜎𝐹1^𝐹2 𝐸 Dãy phép chiếu 𝜋𝑥 𝜋𝑌 𝐸 = 𝜋𝑥 𝐸 Quy tắc biến đổi tương đương Giao hoán phép chọn phép chiếu 𝜎𝐹 𝜋𝑋 𝐸 = 𝜋𝑋 𝜎𝐹 𝐸 Giao hốn phép chọn tích Đề-các 𝜎𝐹 𝐸1𝑥 𝐸2 = 𝜎𝐹 𝐸1 x E2 Giao hoán phép chọn phép hợp 𝜎𝐹 𝐸1 ∪ 𝐸2 = 𝜎𝐹 𝐸1 ∪ 𝜎𝐹 𝐸2 Quy tắc biến đổi tương đương Giao hoán phép chọn phép hiệu tập hợp 𝜎𝐹 𝐸1 − 𝐸2 = 𝜎𝐹 𝐸1 − 𝜎𝐹 𝐸2 Giao hoán phép chiếu với phép tích Đề-các 𝜋𝑋 𝐸1 𝑥 𝐸2 = 𝜋𝑌 𝐸1 𝑥 𝜋𝑍 𝐸2 , 𝑋 = 𝑌𝑍 10 Giao hoán phép chiếu với phép hợp 𝜋𝑋 𝐸1 ∪ 𝐸2 = 𝜋𝑋 𝐸1 ∪ 𝜋𝑋 𝐸2 Ví dụ Hãy xét CSDL quản lý thư viện bao gồm quan hệ sau đây: SACH (Tensach, Tacgia, NhaXB, Masach) NHAXUATBAN (NhaXB, Diachi, Thanhpho) DOCGIA (TenDG, DchiDG, TphoDG, Sothe) MUONSACH (Sothe, Masach, Ngaymuon) Câu hỏi: Cho danh sách sách cho mượn trước ngày 27/03/2012