b. Rỳt gọn với phộp nố
3.2.3 Rỳ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 sẽ đượ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 vị 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 (i.e. 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 vị 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.
55
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 vị từ phõn mảnh mõu thuẫn nhau.
56