Phõn mảnh dọc một quan hệ dựa trờn cỏc thuộc tớnh chiếu. Mỗi mảnh dọc là kết quả chiếu lờn một tập con thuộc tớnh, một tập thuộc tớnh được dựng để tạo ra mảnh dọc luụn cú mặt của tập thuộc tớnh khúa chớnh. Toỏn tử xõy dựng lại quan hệ gốc từ cỏc mảnh dọc là nối qua tập thuộc tớnh khúa này. Chương trỡnh cục bộ hoỏ (tỏi thiết lại quan hệ ban đầu) cho một quan hệ phõn mảnh dọc là phộp nối.
Vớ dụ 2.2-10: Từ hệ CSDL Cụng ty Điện toỏn (trang 184 [3])
Quan hệ EMP cú thể được phõn thành hai mảnh dọc, trong đú thuộc tớnh khúa ENO phải cú mặt trong mọi mảnh dọc.
EMPV1 = ENO , ENAME (EMP) EMPV2 = ENO , TITLE (EMP) Chương trỡnh cục bộ húa là EMP = EMPV1 EMPV2
Tương tự như phõn mảnh ngang, cỏc vấn tin trờn cỏc mảnh dọc cú thể được rỳt gọn bằng cỏch xỏc định cỏc quan hệ trung gian vụ dụng và loại bỏ cỏc cõy con đó sinh ra chỳng. Phộp chiếu trờn một mảnh dọc khụng cú thuộc tớnh chung với cỏc thuộc tớnh chiếu (trừ khúa của quan hệ) sinh ra cỏc quan hệ vụ dụng, mặc dự khụng phải là quan hệ rỗng. Cho trước quan hệ R(A) | A = {A1, …, An}và được phõn mảnh thành cỏc mảnh dọc thành
Ri = A’(R) | A’ A. Qui tắc phỏt biểu như sau:
Qui tắc 3
D,K(Ri) là vụ dụng nếu tập cỏc thuộc tớnh chiếu D hoặc K hoặc DK khụng thuộc A’ (hỡnh 2.2-6a).
Vớ dụ 2.2-11: Từ hệ CSDL Cụng ty Điện toỏn (trang 184 [3])Cho cõu vấn tin
trong SQL:
SELECT ENAME
FROM EMP
Cõu vấn tin gốc tương đương trờn EMPV1 và EMPV2 (cỏc mảnh dọc trong vớ dụ 2.2-10) được cho trờn hỡnh 2.2-6b, sau khi hoỏn vị phộp chiếu với phộp nối (tức là chiếu trước nối) được cõy hỡnh 2.2-6c, chỳng ta thấy EMPV2 là vụ dụng vỡ ENAME khụng thuộc EMPV2. Vỡ vậy phộp chiếu chỉ cần thực hiện trờn EMPV1 như được trỡnh bày trong hỡnh 2.2-6d.
A’ Ri K D Hỡnh 2.2-6a. Phộp chiếu vụ dụng ENAME EMPV1 (d) vấn tin đó rỳt gọn Hỡnh 2.2-6b,c,d. Rỳt gọn cho phõn mảnh dọc ENAME EMPV1 EMPV2 (b) vấn tin gốc ENO EMPV1 EMPV2 (c) vấn tin gốc ENAME ENAME ENO