Cơ sở dữ liệu - e-ptit.edu.vn

Chương I: Khái niệm cơ bản về các hệ cơ sở dữ liệu
X Y Z W Q
Ω1 a a b b b
Ω2 a b a a b
Ω3 b a b a a
4.6.3 Thuật toán tách về dạng chuẩn BCNF không tổn thất
Input: s = < Ω , F > lược đồ quan hệ.
Ω = {A1, A2,..., An} tập các thuộc tính.
X Y Z W Q
Ω1 a a b b b
Ω2 a a a a a
Ω3 b a b a a
F = {Lj → Rj ⏐ Lj, Rj ⊆ Ω } tập các phụ thuộc.
Output: Phép tách ϕ [Ω1 , Ω2 , .. , Ωp ] không tổn thất thông tin. Mỗi một lược đồ quan hệ
chiếu có dạng chuẩn BCNF tương ứng với tập phụ thuộc chiếu của F trên nó.
Phương pháp: Phương pháp chủ yếu của thuật toán là tách lược đồ s = thành 2
lược đồ. Chọn bất kỳ X → A ∈ F + sao cho X không là khoá và A ∉ X. Khi đó lược đồ
có tập các thuộc tính XA sẽ có dạng chuẩn BCNF và phụ thuộc hàm X → A sẽ thoả trên
nó. Lược đồ thứ 2 có tập các thuộc tính Ω \ A. Hiển nhiên, khi kết nối lược đồ có tập
thuộc tính Ω \ A với lược đồ có tập thuộc tính XA không tổn thất thông tin. Tiếp tục tách
Ω \ A cho đến khi thoả điều kiện (b) của định lý 4.11, cũng là lược đồ có dạng chuẩn
BCNF. Theo định lý 4.10, các lược đồ quan hệ chiếu cũng có dạng BCNF và có kết nối
không tổn thất thông tin.
Đặt Ω1 : = XA , Ω2 : = Ω \ A
Ω1 ∩ Ω2 = X
Ω1 \ Ω2 = A
Suy ra Ω1 ∩ Ω2 → Ω1 \ Ω2 .
Phép tách ϕ [Ω1, Ω2] không tổn thất khi và chỉ khi Ω1 ∩ Ω 2 → Ω1 \ Ω2 . Tiếp tục cho
đến khi tất cả lược đồ ở dạng chuẩn Boyce Codd.
Sử dụng phương pháp lặp liên tiếp. Mỗi bước đảm bảo không làm tổn thất thông tin.
Bước đầu áp dụng đối với lược đồ quan hệ S = .
Giả sử bước thứ i: Lược đồ quan hệ si = chưa phải là lược đồ dạng
chuẩn Boyce Codd.
Chọn X → A ∈ F i = F⏐Ωi sao cho X không là khoá và A∉ X.
Đặt Ωi1 = XA , Ωi2 = Ω \ A
Tiếp tục phép lặp.
Ví dụ Ω = {C, T, H, R, S, G}, trong đó:
C : Khoá học, T: Thầy giáo,
H: Giờ học R: Phòng học
S : Sinh viên G: Lớp
Biết rằng:
90