...
¾
Phụ thuộchàm theo quan hệ và theo tiên đề, bao đóng của tập các thuộc tí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ậpthuộc tính U=ABCDEGH
Cho tậpphụthuộchàm ...
Nếu f=
XÆY là mộtphụthuộchàm trên U thì ta nói tậpthuộc tính Y phụthuộchàm vào tập
thuộc tính X (Y functional dependent on X ) hoặc tậpthuộc tính X xác định hàmtậpthuộc tính
Y (X ... của tậpphụthuộchàm F, nếu F
+
=F thì ta nói F là mộttập đầy đủ
các phụthuộc hàm, đôi khi ta còn nói F là tập đóng.
5. Định nghĩa suy dẫn theo quan hệ
Cho F là mộttập các phụthuộc hàm...
... 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ộtthuộc tính là phụthuộchàm đầy đủ.
Ví dụ 3: cho tậpphụthuộchàm F = {A → BC,B ... là tậpphụthuộchàm có vế phải mộtthuộc tính.
3 Tậpphụthuộchàm không dư thừa
Nói rằng F là tậpphụ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ậpphụthuộc ... 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ỘTTẬPPHỤ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...
... lại Z→Y là mọtphụ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ộtthuộc tính là
phụ thuộchàm đầy đủ.
8
BÀI ... gọi là mộtphụ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ậpphụthuộchàm có vế trái không dư thừa.
2. F là tậpphụthuộchàm có vế phải mộtthuộc ... đị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ộtphụthuộc
hàm của F tức là f ∈ F, f được gọi là...
... hệ Q(ABCD) và tậpphụ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 ... quan hệ R và tập các phụthuộc hàm
F = { AB -> E, AG -> I, BE -> I, E -> G, GI ->H}
Chứng minh rằng: AB ->GH
Bài 4: Cho lược đồ quan hệ R và tập các phụthuộc hàm
F = { AB ... 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ậpphụthuộc hàm...
... 40 / 54
■ Mộttập hợp các phụthuộchàm E được phủ bởi một tập
các phụthuộchàm F - hoặc F phủ E - nếu mỗi một phụ
thuộchàm trong E đều ở trong F
+
,điều đó có nghĩa là
mỗi phụthuộchàm trong ... mộtphụ thuộc
hàm X → A trong F bằng phụthuộchàm Y → A,
trong đó Y là tập con đúng của X mà vẫn còn là một
tậpphụthuộchàm tương đương với F.
◆ Chúng ta không thể bỏ đi bất kỳ phụthuộchà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...
... 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ậpphụ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...
... 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ậpphụthuộchàm thỏa trên r, ta luôn có F ⊇ {các phụthuộc
hàm hiển ...
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 ...
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...
...
B → C là phụthuộchàm đầy đủ
Chú ý: phụthuộchàm có vế trái chứa mộtthuộc tính là phụthuộchàm đầy đủ.
Ví dụ 3: cho tậpphụthuộchàm F = {A → BC,B → C,AB → D} thì phụthuộchàm AB→D ... tậpphụthuộchàm có vế trái không dư thừa
2. F là tậpphụthuộchàm có vế phải mộtthuộc tính.
3. F là tậpphụthuộchàm không dư thừa
Thuật toán tìm phủ tối thiểu của mộttậpphụthuộchàm ... Tậpphụthuộchàm có vế phải mộtthuộc tính (the right sides of dependencies has a
single attribute)
Mỗi tậpphụthuộchàm F đều tương đương với mộttậpphụthuộchàm G mà vế phải của các phụ...
... 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,...
... quan hệ và lớp phụthuộc đầu tiên của phụ
thuộc logic là phụthuộc hàm. Tổng quan về quá trình phát triển của
lớp các phụthuộc Boole và đặt vấn đề xác định giới hạn của phụ
thuộc Boole trong ... lớp phụthuộc
Boole dương tổng quát.
- Tiếp tục tìm hiểu và tổng quát hóa một số lớp phụthuộc dữ liệu
có bản chất là phụthuộc Boole dương được nghiên cứu gần đây
như phụthuộchàm mềm, phụ ... nghĩa 3.1.4
Cho tập PTBDTQ G trên U. Phụthuộc gG được gọi là dư thừa nếu
G G-{g}. Tập G được gọi là không dư nếu không
phụthuộc dư
thừa gG.
Định nghĩa 3.1.5
Cho hai tập PTBDTQ F,...
...
a) Khoá của tập thực thể
Là một hoặc mộttập các thuộc tính xác định duy nhất một thực thể trong một
tập thực thể.
b) Khoá của quan hệ
Tập các thuộc tính X của một quan hệ R là một khoá nếu. ... 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 ...
0.05
C(AB xác định C mức 0.05)
Một số tính chất:
- Tính chất 1 : Cho r là một qua hệ trên tậpthuộc tính R. Mộtphụ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ỳ...
... nâng cao 7
Bao đóng của tậpthuộc tính
Cho tập PTH F trên tậpthuộc tính U và
một tập con các thuộc tính X trong U.
Bao đóng của tậpthuộc tính X, ký hiệu
X
+
là tậpthuộc tính
X
+
= { ... (U,F). Tậpthuộ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ậpthuộc tính U. Mộtphụthuộchàm ... PTH F trên tậpthuộc tính U
và mộttập con các thuộc tính X trong
U.
Để xác định bao đóng của tậpthuộc
tính X, X
+
ta xuất phát từ tập X và bổ
sung dần cho X các thuộc tính thuộc
vế phải...
...
quan hệ tốt.
\D0D]#^1V_P87MN>/J
Lending-schema là một sự thiết kế tốt hay tồi ?
Lending-schema
Ck
,-47
r34bjbbsb•bq6
q€‚4j→bj→4sbs→•bq→jƒ
,...