Π C(R∪S) =Π A’(R) ∪Π B’(S)
4.2.2.3Rỳt gọn theo phõn mảnh giỏn tiếp
• Sự phõn mảnh ngang giỏn tiếp là một cỏch tỏch hai quan hệ để việc xử lý nối của cỏc phộp chọn và phộp nối
• Nếu quan hệ R phụ thuộc vào sự phõn mảnh ngang giỏn tiếp nhờ quan hệ S, thỡ cỏc mảnh của R và S, mà cú cựng giỏ trị thuộc tớnh nối, được định vị tại cựng trạm. Ngoài ra, S cú thể được phõn mảnh tựy thuộc vào tõn từ chọn.
• Khi cỏc bộ của R được đặt tuỳ theo những bộ của S, thỡ sự phõn mảnh giỏn tiếp chỉ nờn sử dụng mối quan hệ một nhiều từ S→R (với một bộ của S cú thể phự hợp với n bộ của R, Nhưng với một bộ của R chỉ phự hợp với một bộ của S).
• Truy vấn trờn cỏc phõn mảnh giỏn tiếp cũng cú thể rỳt gọn
được, nếu cỏc tõn từ phõn mảnh mõu thuẫn nhau thỡ phộp nối sẽ đưa ra quan hệ rỗng.
• Chương trỡnh định vị một quan hệ đó được phõn mảnh ngang giỏn tiếp là hợp của cỏc mảnh.
51
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
Vớ dụ: Cho mối quan hệ một nhiều từ E đến G, quan hệ G (MANV, MADA, NHIEMVU, THOIGIAN) cú thể được phõn mảnh giỏn tiếp theo những luật sau:
G1 = G MANV E1 và G2 = G MANV E2. Trong đú E được phõn mảnh ngang như sau:
E1= σCHUCVU=”Lập trỡnh”(E) và E2= σCHUCVU≠”Lập trỡnh”(E)
Chương trỡnh định vị cho một quan hệ đó được phõn mảnh giỏn tiếp là hợp của cỏc mảnh G=G1∪G2.
Để rỳt gọn cỏc truy vấn trờn phõn mảnh giỏn tiếp này, phộp nối sẽ đưa ra quan hệ rỗng nếu cỏc tõn từ phõn mảnh mõu
thuẫn nhau.
52
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
Vớ dụ: Xột truy vấn
SELECT *
FROM E, G
WHERE G.MANV=E.MANV
AND CHUCVU=”KS cơ khớ”
(b) Truy vấn sau khi đẩy phộp chọn xuống
MANV∪ ∪ G1 G2 E2 MANV ∪ σ CHUCVU=”KS cơ khớ” G1 G2 E1 E2 (a) Truy vấn ban đầu
53
4.3 Xử lý truy vấn trong mụi trường phõn tỏn
Nhận xột:
• Truy vấn ban đầu trờn cỏc mảnh E1, E2, G1 và G2 tương ứng hỡnh 4.10a. • Bằng cỏch đẩy phộp chọn xuống cỏc mảnh E1 và E2, được truy vấn rỳt
gọn ở hỡnh 4.10b.
• Phõn phối cỏc phộp nối với phộp hợp, chỳng ta thu được cõy hỡnh 4.10c.
• Cõy con bờn trỏi đưa ra một quan hệ rỗng, nờn cõy rỳt gọn cú được trong hỡnh 4.10d.
Hỡnh 4.10: Rỳt gọn của phõn mảnh giỏn tiếp (adsbygoogle = window.adsbygoogle || []).push({});
MANV
∪