...
¾
Phụ thuộchàm theo quan hệ và theo tiên đề, bao đóng của tập các thuộctính và của tập
các phụthuộc hàm.
B/ BÀI TẬP MẪU
Bài số 1:
Cho tập thuộctính U=ABCDEGH
Cho tập phụthuộchàm ... 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ÍNHCHẤT
1.
Định nghĩa phụthuộc hàm
Định nghĩa: cho U là một tập thuộc tính, ... thuộctính X thì chúng cũng giống
nhau trên tập thuộctính Y, nghĩa là
∀u,v ∈R
, nếu u.X=v.X thì u.Y=v.Y.
Nếu f=
XÆY là một phụthuộchàm trên U thì ta nói tập thuộctính Y 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 ... “giả”
Các 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 ... một phụthuộchàm từ X vào Y
hoặc Y phụthuộchàm vào X
■ Một phụthuộchàm là một tínhchất của lược đồ quan hệ
R chứ không phải là tínhchất của một trạng thái hợp pháp
r của R. Vì vậy, một phụ...
... 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
+
... nói X xác định Y hay Y phụthuộchàm vào X (X functional determines Y,Y
functional dependent on X )
Tính chất:
+ phụthuộchàm X → ∅ đúng với mọi quan hệ r
+ phụthuộchàm ∅ → Y chỉ đúng trên...
... 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ộctí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 ... cả các thuộctính có xuất hiện ở vế
trái và không xuất hiện ở vế phải của các phụthuộchàm và các thuộc
tính không xuất hiện ở cả vế trái lẫn vế phải của các phụthuộc hàm.
+ Tập thuộctính đích...
... 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ộctính là
phụ thuộchàm đầy đủ.
8
BÀI ... α=(U,F), thuộctính A trong
U được gọi là thuộctính tiền định nếu như A có mặt ở vế phải
của một phụthuộchàm bất kỳ thì A cũng phải xuất hiện ở vế
trái của phụthuộchàm đó hoặc thuộctính ... một phụthuộchàm tối thiểu (phủ tối thiểu)
nếu F thỏa mãn đồng thời ba điều kiên sau:
1. F là tập phụthuộchàm có vế trái không dư thừa.
2. F là tập phụthuộchàm có vế phải một thuộc tính.
...
... bỏ các thuộctí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ộctính nào bên vế trái của
phụ thuộchàm nên ... Loại bỏ các thuộctí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={ B→D, B→E, D→C, E→A, E→G}
Và không thể loại bỏ thuộctính nào bên vế trái của
phụ thuộchàm nên phủ ... bỏ các thuộctí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={A→B, BC→D, CE→G, ACE→H, CG→B}
Và không thể loại bỏ thuộctính nào bên vế trái của
phụ thuộchàm nên...
... 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...
... 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 ... số tính chất:
- Tínhchất 1 : Cho r là một qua hệ trên tập thuộctính R. Một phụthuộchàm
đúng trên r cũng là phụthuộchàm xấp xỉ loại 2 với mức tuỳ ý (0 <1) đúng
trên r
Tính chất ... tra các thuộctính không khoá phải phụthuộc xấp xỉ trực tiếp
vào khoá chính.
Bước 4 : Với mỗi thuộctính khoá kiểm tra có phụthuộchàm xâp xỉ vào
thuộc tính khoá không. Nếu phụthuộc thì...
... cao 7
Bao đóng của tập thuộc tính
Cho tập PTH F trên tập thuộctính U và
một tập con các thuộctính X trong U.
Bao đóng của tập thuộctính X, ký hiệu
X
+
là tập thuộctính
X
+
= { A
∈
... (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ộctính U. Một phụthuộchàm (PTH) ... 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ộctính U
và một tập con các thuộc tính...
... 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ộctí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ụ ... 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ộctính dư thừa, như cách...