... mãn phụthuộchàm f thì ta ký hiệu
R(f), nếu R không thoả mãn phụthuộchàm thì ta ký hiệu
⎤R(f).
Cho F là một tập các phụthuộchàm trên U, nói rằng quan hệ R thoả mãn tập phụthuộchàm
F, ... một phụthuộchàm có dư thừa trong tập các phụ
thuộc hàm không,
A/ NHẮC LẠI LÝ THUYẾT
I. MỘT SỐ ĐỊNH NGHĨA, TÍNH CHẤT
1.
Định nghĩa phụthuộc hàm
Định nghĩa: cho U là một tập thuộc ... tập phụthuộchàm F nếu như nó thoả mãn từng phụthuộchàm trong tập đó.
Định nghĩa: Lược đồ quan hệ là một cặp α=(U, F) trong đó U là tập hữu hạn các thuộc tính
còn F là tập các phụthuộc hàm...
... với phụthuộc hàm
Tài liệu tham khảo
Mở đầu
Khái niệm cơ bản
Mô hình ER
Mô hình quan hệ
Phụ thuộc hàm
Nguyên tắc thiết kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộc ... đầu
Khái niệm cơ bản
Mô hình ER
Mô hình quan hệ
Phụ thuộc hàm
Nguyên tắc thiết kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộchàm tối
thiểu
Các dạng chuẩn
Thiết kế CSDL
Bài ... kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộchàm tối
thiểu
Các dạng chuẩn
Thiết kế CSDL
Bài giảng cơ sở dữ liệu - Nguyễn Hải Châu 37 / 54
■ Một phụthuộc hàm...
... gọi là phụthuộchàm hiển nhiên.
Ví dụ phụthuộchàm X → X là phụthuộchàm hiển nhiên.
Vậy với r là quan hệ bất kỳ, F là tập phụthuộchàm thỏa trên r, ta luôn có F ⊇
{các phụthuộchàm hiển ... hệ r thỏa các phụthuộchàm F nhưng
không thỏa phụthuộchàm X → Y (điều này nghịch lý với giả thuyết là mọi
quan hệ r thỏa các phụthuộchàm trong F thì r cũng thỏa phụthuộchàm X →
Y).
F
+
... các phụthuộchàm của F là f
1
, f
2
, , f
m.
Quy ước rằng chỉ cần mô
tả các phụthuộchàm không hiển nhiên trong tập F (các phụthuộchàm hiển
nhiên được ngầm hiểu là đã có trong F).
1 Phụ thuộc...
... AB → C là phụthuộchàm không đầy đủ
B → C là phụthuộchàm đầy đủ
Chú ý: phụthuộchàm có vế trái chứa một thuộc tính là phụthuộchàm đầy đủ.
Ví dụ 3: cho tập phụthuộchàm F = {A → BC,B ... phụthuộchàm có vế phải một thuộc tính.
3 Tập phụthuộchàm không dư thừa
Nói rằng F là tập phụthuộchàm không dư thừa nếu không tồn tại F’⊂ F sao
cho F’≡ F. Ngược lại F là tập phụthuộchàm ... G’
+
không chứa phụthuộchàm CD→E ⇒ F
không tương đương với G’
II PHỦ TỐI THIỂU CỦA MỘT TẬP PHỤTHUỘCHÀM (minimal cover)
1 Phụthuộchàm có vế trái dư thừa
F là tập các phụthuộchàm trên lược...
... gọi là phụthuộchàm hiển nhiên.
Ví dụ phụthuộchàm X → X là phụthuộchàm hiển nhiên.
Vậy với r là quan hệ bất kỳ, F là tập phụthuộchàm thỏa trên r, ta luôn có F ⊇ {các phụthuộc
hàm hiển ...
hệ r thỏa các phụthuộchàm F nhưng không thỏa phụthuộchàm X → Y (điều này nghịch lý với
giả thuyết là mọi quan hệ r thỏa các phụthuộchàm trong F thì r cũng thỏa phụthuộchàm X →
Y).
Thật ...
phụ thuộchàm của F là f
1
, f
2
, , f
m.
Quy ước rằng chỉ cần mô tả các phụthuộchàm không hiển
nhiên trong tập F (các phụthuộchàm hiển nhiên được ngầm hiểu là đã có trong F).
1 Phụ thuộc...
... lại Z→Y là mọt phụthuộchàm có vế trái không
dư thừa hay Y phụthuộchàm đầy đủ vào Z hay phụthuộc
hàm đầy đủ.
Chú ý: Phụthuộchàm có vế trái chứa một thuộc tính là
phụ thuộchàm đầy đủ.
8
BÀI ... định
X→Y là thành viên của F.
5
12.3: Phụthuộchàm không dư thừa
12.3.1: Phụthuộchàm dư thừa
Cho F là tập các phụthuộchàm trêu U, f là một phụthuộc
hàm của F tức là f ∈ F, f được gọi là ... TẬP PHỤTHUỘC HÀM
12.1: Định nghĩa tương đương
Định lý: Cho F là tập các phụthuộchàm trên U và f là một
phụ thuộchàm trên U, khi đó 2 việc sau tương đương
(1)F├f
(2)F╞f
Tức là, phụ thuộc...
... bỏ các thuộc tính dư thừa ở bên trái của mỗi
phụ thuộc hàm
Sau khi thực hiện B2 ta có
F={ BE→C, EI→B, C→D, C→I, BC→A }
Và không thể loại bỏ thuộc tính nào bên vế trái của
phụ thuộchàm nên ... sinh, Giới tính, Địa chỉ
*) .Phụ thuộchàm cho quan hệ Sinh_Vien:
II.Tìm phủ tối thiểu cho các bài toán sau:
B3: Loại bỏ các thuộc tính dư thừa ở bên trái của mỗi
phụ thuộc hàm
Sau khi thực hiện B2 ... dư thừa ở bên trái của mỗi
phụ thuộc hàm
Sau khi thực hiện B2 ta có
F={A→B, BC→D, CE→G, ACE→H, CG→B}
Và không thể loại bỏ thuộc tính nào bên vế trái của
phụ thuộchàm nên phủ tối thiểu là:
F={A→B,...
... hệ Q(ABCD) và tập phụthuộchàm F={A->B, B->C, A->D, D-
>C}
CHƯƠNG 2: PHỤTHUỘC HÀM
Bài 1: Cho quan hệ r dưới đây:
Hình 3Hình 3 (graphics3.png)
Tìm những phụthuộchàm thoả r
Bài 2: ... tập phụthuộchàm
F = { A -> C, B -> C, A-> D, DE -> C, CE->A }
Bài 9: Kiểm tra tính kết nối không mất mát thông tin của
R = ABCD thành: R1 = AB, R2 = ACD
Với tập phụthuộchàm ... toàn phụthuộchàm vừa bảo toàn thông tin.
3. c) Nếu Kehoach chưa đạt dạng chuẩn BC, hãy phân rã Kehoach thành lược đồ CSDL
dạng BC
Bài 15: Cho lược đồ quan hệ Q(ABCD) và tập phụthuộc hàm...
... hai tập phụthuộchàm tương đương 10
1.2.4 Định nghĩa phủ tối thiểu 11
1.2.5 Khoá của quan hệ 13
1.3 Phụthuộchàm xấp xỉ 14
1.3.1 Phụthuộchàm xấp xỉ loại 1 14
1.3.2 Phụthuộchàm xấp ... A (thuộc tính khoá phụthuộchàm xấp xỉ và
thuộc tính không khoá).
Nếu BC là khoá ta có A~>
B (thuộc tính khoá phụthuộchàm xấp xỉ và thuộc
tính không khoá).
Như vậy : Lược đồ U thuộc ... hưởng của phụthuộc hàm, phụthuộchàm xấp xỉ khi xây
dựng cây quyết định
Cho mẫu huấn luyện M gồm có m thuộc tính, n bộ. Mỗi thuộc tính X M
có các giá trị là {x
1
, x
2
,
,x
n
}. Thuộc tính...
... (U,F). Tập thuộc
tính K
⊆
U được gọi là khoá của
LĐ p nếu
(i) K
+
= U
(ii) ∀A ∈ K: (K - {A})
+
≠ U
Môn học Cơ sở dữ liệu nâng cao 3
Phụ thuộc hàm
Cho tập thuộc tính U. Một phụthuộchàm (PTH) ... cao 7
Bao đóng của tập thuộc tính
Cho tập PTH F trên tập thuộc tính U và
một tập con các thuộc tính X trong U.
Bao đóng của tập thuộc tính X, ký hiệu
X
+
là tập thuộc tính
X
+
= { A ... hạn các thuộc tính, F là tập
các PTH trên U.
Môn học Cơ sở dữ liệu nâng cao 8
Thuật toán tìm bao đóng của
một tập thuộc tính
Cho tập PTH F trên tập thuộc tính U
và một tập con các thuộc tính...
... AC→AB∈F
+
BC→AB
W`2a2Ebc!de2]fW
−
8"#Se! siêu khóa G/⊇W
−
8Ae! thuộc tính khóa G∈[3I![ .9,-./$)F
S!e! thuộc tính không khóa.
−
X9M9!Q.93...
... tra 2 phụthuộchàm có tương đương
–
F và G tương đương khi và chỉ khi:
•
Mọi phụthuộchàm của F được suy ra từ G
•
Mọi phụthuộchàm của G được suy ra từ F
–
Kiểm tra từng phụthuộchàm của ... tập thuộc tính có phải là khóa không
3. Kiểm tra 2 tập phụthuộchàm có tương đương
4. Kiểm tra 1 phụthuộchàm có được suy diễn từ tập
phụ thuộchàm cho trước
5. Tìm tất cả các khóa
6. Tìm phụ ... F và G như trên
–
2 tập phụthuộchàm này có tương đương:
Cách làm
•
Lưu ý: ta có thể tìm phụthuộchàm dư thừa
trước để giảm số lượng phụthuộchàm trong
bước tìm thuộc tính dư thừa, như cách...