... 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ĩaphụ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ộchàm ... 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,...
... hàm số tại vô cực:
Định lí 1:
Định nghĩa 1:
Định nghĩa 2:
3. Một số định lý về giới hạn hữu hạn:
Định lí 2:
Tuần 25 Tiết 64
§4. ĐỊNHNGHĨA VÀ MỘT SỐ ĐỊNH LÍ VỀ
GiỚI HẠN CỦA HÀM SỐ (tt)
Chương ... hạn vô cực
ĐỊNH NGHĨA 1:
tr1
Tuần 25 Tiết 64
§4. ĐỊNHNGHĨA VÀ MỘT SỐ ĐỊNH LÍ VỀ
GiỚI HẠN CỦA HÀM SỐ (tt)
Chương 4: Giới hạn.
2. Giới hạn của hàm số tại vô cực:
Tương tự, hãy định nghĩa:
( )
lim ...
trolai
tr1
Tuần 25 Tiết 64
§4. ĐỊNHNGHĨA VÀ MỘT SỐ ĐỊNH LÍ VỀ
GiỚI HẠN CỦA HÀM SỐ (tt)
Chương 4: Giới hạn.
1. Giới hạn của hàm số tại một điểm:
a) Giới hạn hữu hạn:
Giả sử hàm số f xác định trên khoảng (a;...
... 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 ... Một tậ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 E có thể ... 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...
... 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
+
... theo định nghóa suy
ra X → Y
Trong trường hợp này X → Y đượ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ộc ... (3)
Giả sử r thỏa tất cả các phụthuộchàm của F (4)
⇒ r thỏa tất cả các phụthuộchàm của F
+
(theo định nghóa)
⇒ r thỏa tất cả các phụthuộchàm của (F
+
)
+
(theo định nghóa)
⇒ r thỏa X → Y...
... 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...
... trúc
Dương Anh Đức
52
Định nghóa Attributes
w Mục đích
§ Formalize definition of attributes
w Những gì cần xem xét:
§ Persistency
§ Visibility
§ Tên gọi, kiểu, và giá trị mặc định
PT & TK Hướng ... các design class hãy xác định:
§ Các Attribute và mô tả đầy đủ của nó
§ Tầm vực và tính khả kiến của Attribute
§ Mọi mối quan hệ và class bổ sung để hỗ trợ cho
việc định nghóa các attribute ... tập: Define Attributes (optional)
w Hãy cho biết:
§ Các architectural layers, các package và phụthuộc
của chúng
§ Các Design class của một use case cụ thể
PT & TK Hướng đối tượng – Thiết...
... định nghóa suy ra X → Y
Trong trường hợp này X → Y đượ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ộ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 ...
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 ... TẬP PHỤTHUỘC HÀM
12.1: Địnhnghĩ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 ... nếuX+ ⊇ Y ta khẳng đị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...
... 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 ... Xác định
phụ thuộchàm cho quan hệ và tìm khóa tối thiểu
của quan hệ
*.SINH_VIÊN
NỘI DUNG
I. Từ CSDL đã có của bài thảo luận 1, hãy thực hiện các
công việc sau:
- Xác địnhphụthuộchàm ... 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...
... 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...
...
1.2 Phụthuộchàm 7
1.2.1 Địnhnghĩa 7
1.2.2 Hệ tiên đề Armstrong 8
1.2.3 Địnhnghĩa hai tập phụthuộchàm tương đương 10
1.2.4 Địnhnghĩaphủ tối thiểu 11
1.2.5 Khoá của quan hệ 13
1.3 Phụ ... cây quyết định là phân tích hình thái học (Morphological
Analysis).
2.4 Ảnh 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, ... các phụthuộchàm
xấp xỉ với mức xấp xỉ (A~>
B, B~>
A, AC ~>
D)
Xác định : AC hoặc BC là khoá
Nếu AC là khoá ta có B~>
A (thuộc tính khoá phụthuộchàm xấp xỉ và
thuộc...
... (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 ... một tập con các thuộc tính X trong
U.
Để xác định bao đóng của tập thuộ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 R của các PTH L
→
R
∈
F
thỏa...