VI. Quản trị cơ sở dữ liệu phõn tỏn của Oracle
Điều kiện (mệnh đề WHERE trong SQL) được biến đổi thành dóy cỏc phộp toỏn đại số thớch hợp (phộp
đổi thành dóy cỏc phộp toỏn đại số thớch hợp (phộp chọn, nối, phộp hợp, v.v...) đi từ lỏ đến gốc, cú thể thực hiện theo thứ tự xuất hiện của cỏc vị từ và cỏc phộp toỏn.
217
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
Vớ dụ:
Truy vấn “Tỡm tờn cỏc nhõn viờn khụng phải là “Dũng”, làm việc cho dự ỏn CSDL với thời gian một hoặc hai năm”.
Biểu diễn truy vấn này trong SQL là:
SELECT E.TENNV
FROM J, G, E
WHERE G.MANV=E.MANV
AND G.MADA= J.MADA
AND E.TENNV <> “Dũng”
AND J.TENDA= “CSDL”
AND (THOIGIAN=12 OR THOIGIAN=24)
218
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
SELECT E.TENNV FROM J, G, E FROM J, G, E WHERE G.MANV=E.MANV
AND G.MADA= J.MADA AND E.TENNV <> “Dũng” AND E.TENNV <> “Dũng” AND J.TENDA= “CSDL” AND (THOIGIAN=12 OR
THOIGIAN=24)
219
4.3 Xử lý truy vấn trong mụi trường phõn tỏn 06 luật biến đổi phộp toỏn đại số quan hệ: 06 luật biến đổi phộp toỏn đại số quan hệ:
Mục đớch: dựng để biến đổi cõy đại số quan hệ thành cỏc cõy tương đương (trong đú cú thể cú cõy tối ưu).
Giả sử R, S, T là cỏc quan hệ, R được định nghĩa trờn toàn bộ thuộc tớnh A={A1, ..., An}, S được định nghĩa trờn toàn bộ thuộc tớnh B={B1, ..., Bn}.
1.Tớnh giao hoỏn của cỏc phộp toỏn hai ngụi:
Phộp tớch Decartes và phộp nối hai quan hệ cú tớnh giao hoỏn. i. R S S R ii. R S S R 2. Tớnh kết hợp của cỏc phộp toỏn hai ngụi:
Phộp tớch Decartes và phộp nối hai quan hệ cú tớnh kết hợp. i. (RS) T R (ST) ii. (R S) T R (S T)
220
4.3 Xử lý truy vấn trong mụi trường phõn tỏn 3. Tớnh luỹ đẳng của những phộp toỏn một ngụi 3. Tớnh luỹ đẳng của những phộp toỏn một ngụi
• Dóy cỏc phộp chiếu khỏc nhau trờn cựng quan hệ được tổ hợp thành một phộp chiếu và ngược lại:
A’(A’’(R)) A’(R) A’, A’’ R và A’ A’’
• Dóy cỏc phộp chọn khỏc nhau trờn cựng một quan hệ, với pilà một vị từ được gỏn vào thuộc tớnh Ai , cú thể được tổ hợp thành một phộp chọn. ) ( )) ( ( ( ) ( ) ( ) ) ( 1 2 2 1 1 2 2 1 A p A R p A p A R p ) (i i A p
(adsbygoogle = window.adsbygoogle || []).push({});