Học viện công nghệ BƯu chính viễn thông khoa viễn thông 1 Bài giảng Học phần: CƠ SỞ DỮ liệU

Thuật toán: Tách bảo toàn tập phụ thuộc hàm về 3NF Đầu vào

tải về 4.98 Mb.

Chế độ xem pdf

trang	81/82
Chuyển đổi dữ liệu	13.11.2023
Kích	4.98 Mb.
	#55639

1 ... 74 75 76 77 78 79 80 81 82

NEW.Bài giảng CSDL sau nghiệm thu-2023
TH CSDL 2015Sep, 6. Đề cương Cơ sở dữ liệu- sau nghiệm thu. 23.02.2022, Chuong01-CSDL

Thuật toán

Thuật toán: Tách bảo toàn tập phụ thuộc hàm về 3NF
Đầu vào: R(U), F (giả thiết F là phủ tối thiểu)
Đầu ra: Phép tách bảo toàn tập phụ thuộc hàm về 3NF
Thuật toán:
B1: Với các A
i
∈ U, Ai ∉ F thì loại A
i
khỏi R và lập 1 quan hệ mới cho các
A
i
B2: Nếu
∃ f ∈ F, f chứa tất cả các thuộc tính của R (đã bỏ các A
i
ở bước
trên) thì kết quả là R
B3: Ngược lại, với mỗi X→ A
∈ F, xác định một quan hệ R
i
(XA).
Nếu
∃ X→Ai , X→Aj thì tạo một quan hệ chung R’(XA
i
A
j
)
Bảng 4.11: Chuẩn hóa qua phép tách không làm mất thông tin.
Ví dụ: Cho R = {A,B,C,D,E,F,G} F = {A→B, ACD→E, EF→G} (đã tối thiểu)
Ra: Phép tách bảo toàn tập phụ thuộc hàm về 3NF
Xác định phép tách bảo toàn tập phụ thuộc hàm về 3NF
B1. Không lập được quan hệ nào mới.
B2. !
∃ f ∈ F: f chứa tất cả các thuộc tính của R
B3. A→B tách được R1(AB)
ACD→E tách được R2(ACDE)
EF→G tách được R3(EFG)
Tách không mất mát thông tin và bảo toàn tập phụ thuộc hàm về 3NF được mô tả
như sau:

140
Yêu cầu: Bảo toàn tập phụ thuộc hàm (như thuật toán trên) Đảm bảo là có một lược
đồ con chứa khóa của lược đồ được tách
Các bước tiến hành:
- Bước 1: Tìm một khóa tối thiểu của lược đồ quan hệ R đã cho
- Bước 2: Tách lược đồ quan hệ R theo phép tách bảo toàn tập phụ thuộc hàm.
- Bước 3: Nếu 1 trong các sơ đồ con có chứa khóa tối thiểu thì kết quả của B2 là
kết quả cuối cùng Ngược lại, thêm vào kết quả đó một sơ đồ quan hệ được tạo
bởi khoá tối thiểu tìm được ở 1
Thuật toán tách không mất mát thông tin về BCNF
Thuật toán: Tách không mất mát thông tin về BCNF
Đầu vào: Sơ đồ quan hệ R, tập phụ thuộc hàm F.

tải về 4.98 Mb.

Chia sẻ với bạn bè của bạn:

1 ... 74 75 76 77 78 79 80 81 82