.13 Cõy truy vấn sau khi thay thế

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) Nghiên cứu một số khía cạnh lý thuyết trong mô hình CSDL quan hệ Luận văn ThS. Công nghệ thông tin 1 01 10 (Trang 73 - 76)

+ Rỳt gọn với phộp chọn.

Cho một quan hệ R được phõn đoạn ngang thành R1, R2, ..., Ru, ... trong đú Rj = pj(R).

Qui tắc 1:pj(Rj) =  nếu x  R:(pi(x)  pj(x)) với pi, pj là cỏc vị từ chọn, x biểu thị cho một bộ, và p(x) biểu thị vị từ p đỳng với x.

Tuy nhiờn việc xỏc định cỏc vị từ mõu thuẫn đũi hỏi phải sử dụng cỏc kỹ thuật chứng minh định lý nếu cỏc vị từ này ở dạng hoàn toàn tổng quỏt. Trờn thực tế cỏc hệ quản trị CSDL núi chung sẽ đơn giản hoỏ bằng cỏch chỉ hỗ trợ những vị từ đơn giản khi định nghĩa cỏc quy tắc phõn đoạn.

Vớ dụ: Với cõu truy vấn: “ Cho biết thụng tin về cỏc nhà cung cấp ở Hà nội”.

 TENNCC

 NHACC.MANCC = CUNGCAP.MANCC AND CUNGCAP.MATB = THIETBI.MATB AND TENTB = “Mỏy Photo” AND MADV = ”P01”

X

X

 

NHACC1 NHACC2 CUNGCAP1 1

CUNGCAP2 THIETBI

SELECT *

FROM NHACC

WHERE THANHPHO = “Hà nội”

Ta có cây truy vấn gốc và cây rút gọn như sau:

Hỡnh 2.14 Rỳt gọn phõn đoạn ngang (với phộp chọn) + Rỳt gọn với phộp nối.

Cỏc phộp nối trờn cỏc quan hệ được phõn đoạn ngang cú thể được đơn giản khi chỳng được phõn đoạn ngang theo thuộc tớnh kết nối hoặc chỳng được phõn đoạn ngang giỏn tiếp. Sự đơn giản bao gồm việc phõn phối cỏc phộp nối trờn cỏc hợp và loại bỏ cỏc phộp nối vụ ớch. Việc phõn phối phộp nối trờn hợp cú thể phỏt biểu như sau:

(R1  R2) S  (R1 S)  (R2 S)

Trong đú Ri là cỏc đoạn của R tức Ri = pi(R), S là một quan hệ.

Quy tắc 2: Ri Rj =  nếu x  Ri, y  Rj :(pi(x)  pj(y))

Vớ dụ: Với cõu truy vấn: “ Tỡm tờn cỏc nhà cung cấp đó cung cấp thiết bị cho cụng ty”.

SELECT TENNCC

FROM NHACC, CUNGCAP

WHERE NHACC.MANCC = CUNGCAP.MANCC Ta cú cõy truy vấn gốc và cõy rỳt gọn như sau:

THANHPHO = “Hà nội”  NHACC1 NHACC2 1 THANHPHO = “Hà nội” NHACC1  TENNCC   NHACC.MANCC = CUNGCAP.MANCC

Hỡnh 2.15 Rỳt gọn phõn đoạn ngang (với phộp nối)

- Rỳt gọn cho phõn đoạn dọc

Cụng việc phõn đoạn dọc một quan hệ trong CSDL phõn tỏn dựa trờn cỏc thuộc tớnh chiếu. Chương trỡnh định vị cho một quan hệ phõn đoạn dọc gồm cú nối của cỏc đoạn theo thuộc tớnh chung.

Giả sử quan hệ NHANVIEN( MANV, HOTEN, LUONG, THUE, MADV, MAQL) được phõn đoạn dọc thành cỏc đoạn:

NHANVIEN1 = MANV, HOTEN, LUONG, THUE NHANVIEN NHANVIEN2 = MANV, MADV, MAQL NHANVIEN Khi đú chương trỡnh định vị sẽ là:

NHANVIEN = NHANVIEN1 NHANVIEN2

Tương tự như phõn đoạn ngang, cõu truy vấn trờn phõn đoạn dọc cũng cú thể rỳt gọn. Cho trước quan hệ R được định nghĩa trờn cỏc thuộc tớnh A={A1, ..., An} được phõn đoạn dọc thành Ri=A’(R), A’A, quy tắc cú thể được phỏt biểu như sau:

Quy tắc 3: D, K(Ri) là vụ ớch nếu D  A’ = , với D: tập cỏc thuộc tớnh chiếu, D  A và K là khoỏ của quan hệ.

Vớ dụ: Với cõu truy vấn: “ Đưa ra danh sỏch tờn nhõn viờn của cụng ty”. SELECT HOTEN

FROM NHANVIEN

TENNCC 

NHACC1 CUNGCAP1 NHACC2

1 CUNGCAP2 NHACC.MANCC = CUNGCAP.MANCC NHACC.MANCC = CUNGCAP.MANCC

Ta cú cõy truy vấn gốc và cõy rỳt gọn như sau:

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) Nghiên cứu một số khía cạnh lý thuyết trong mô hình CSDL quan hệ Luận văn ThS. Công nghệ thông tin 1 01 10 (Trang 73 - 76)

Tải bản đầy đủ (PDF)

(131 trang)