VI. Quản trị cơ sở dữ liệu phõn tỏn của Oracle
Kế thừa chiến lược xử lý truy vấn như mụi trường tập trung
trường tập trung
trường tập trung
200
Tối ưu húa truy vấn
Trong mụi trường tập trung
Cõu truy vấn SQL Kiểm tra ngữ phỏp Kiểm tra sự hợp lệ Dịch truy vấn Truy vấn đỳng ngữ phỏp Truy vấn SQL hợp lệ
Truy vấn đại số quan hệ
Tối ưu húa đại số quan hệ
Truy vấn đại số quan hệ đó tối ưu
Chọn chiến lược tối ưu
Tạo sinh mó Kế hoạch thực hiện Mó của truy vấn Sơ đồ chung 201 Lược đồ tổng thể
Truy vấn mảnh được tối ưu với cỏc phộp toỏn truyền thụng Tối ưu hoỏ cục bộ
Cỏc truy vấn cục bộ đó tối ưu
Sơ đồ phõn lớp chung cho xử lý truy vấn phõn tỏn Cỏc trạm
địa phương
Cõu truy vấn phõn tỏn Phõn ró truy vấn Truy vấn đại số trờn cỏc quan hệ phõn tỏn
Cục bộ húa dữ liệu Truy vấn mảnh Tối ưu hoỏ toàn cục
Trạm điều khiển Lược đồ phõn mảnh Cỏc thống kờ trờn cỏc mảnh Lược đồ địa phương
Tối ưu húa truy vấn
Trong mụi trường phõn tỏn
202
4.2 XỬ Lí TRUY VẤN TRONG MễI TRƯỜNG TẬP TRUNG
4.4.1 Chiến lược tối ưu trong CSDL tập trung Tại sao phải nghiờn cứu xử lý truy vấn tập trung? Tại sao phải nghiờn cứu xử lý truy vấn tập trung?
Để hiểu được cỏc kỹ thuật tối ưu phõn tỏn vỡ ba lớ do: • Thứ nhất, cõu truy vấn phõn tỏn phải được dịch • Thứ nhất, cõu truy vấn phõn tỏn phải được dịch thành cỏc cõu truy vấn cục bộ, và được xử lớ theo phương phỏp tập trung.
• Thứ hai, cỏc kỹ thuật tối ưu hoỏ phõn tỏn thường là cỏc mở rộng của kỹ thuật tập trung. cỏc mở rộng của kỹ thuật tập trung.
• Thứ ba, tối ưu hoỏ tập trung thường đơn giản.
203
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
4.3.1 Phõn ró truy vấn
Giai đoạn này chia làm bốn bước: chuẩn hoỏ, phõn tớch, loại bỏ dư thừa và viết lại.
4.3.1.1 Chuẩn hoỏ
Mục đớch:chuyển đổi truy vấn thành một dạng chuẩn để
thuận lợi cho cỏc xử lý tiếp theo.
Với SQL, cú hai dạng chuẩn cho cỏc vị từ trong mệnh đề WHERE là:
Dạng chuẩn hội là hội () của những phộp toỏn tuyển (): (p11 p12 ... p1n) ... (pm1 pm2 ... pmn)
Dạng chuẩn tuyển là tuyển () của những phộp toỏn hội (): (p11 p12 ... p1n) ... (pm1 pm2 ... pmn), trong đú pij
là cỏc biểu thức nguyờn tố (vị từ đơn giản).
204
Bảng cỏc tương đương logic thường dựng
Đặt T= hằng đỳng, F = hằng sai
1. ĐẠI SỐ MỆNH ĐỀ
1. p∧F ⇔ F Domination laws-Luật nuốt
2. p∨T ⇔ T
3. p∨F ⇔ p Identity laws-Luật đồng nhất
4. p∧T ⇔ p
5. p∧p ⇔p Idempotent laws-Luật lũy đẵng 6. p∨p ⇔ p
7. ơ(ơp) ⇔p Double negation law-Luật phủ định kộp 8. p∧ơp ⇔ F Cancellation laws-Luật xúa bỏ 9. p∨ơp ⇔ T