Chương 9: Phụ thuộc hàm (FunctonalD ependency) potx

Chương 9 Phụ thuộc hàm (Functional Dependency)

Chương 9 Phụ thuộc hàm (Functional Dependency)

... khóa khóa Khóa Khóa ∅ ∅ AD AD ADBCEF=R+ ADBCEF=R+ AD AD AD AD C C ADC ADC ADBCEF=R+ ADBCEF=R+ ADC ADC 37 Tập phụ thuộc hàm Tập phụ thuộc hàm  Gọi F là 1 tập phụ thuộc hàm trên R nếu mọi phụ thuộc hàm trong F đều là phụ thuộc hàm trên R  Phụ thuộc hàm tầm thường ( trivial FD) hay phụ thuộc hàm ... của tập phụ thuộc hàm tập phụ thuộc hà...

Ngày tải lên: 12/05/2014, 12:04

38 3,7K 8
Chương 4 Phụ thuộc hàm

Chương 4 Phụ thuộc hàm

... gọi là phụ thuộc hàm hiển nhiên. Ví dụ phụ thuộc hàm X → X là phụ thuộc hàm hiển nhiên. Vậy với r là quan hệ bất kỳ, F là tập phụ thuộc hà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ộc hàm F nhưng không thỏa phụ thuộc hà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ộc hàm trong F t...

Ngày tải lên: 29/09/2013, 14:20

21 634 4
Chương 1: Phụ thuộc hàm doc

Chương 1: Phụ thuộc hàm doc

... (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ộc hà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...

Ngày tải lên: 22/03/2014, 23:20

25 495 2
Chương 5 Phụ thuộc hàm

Chương 5 Phụ thuộc hàm

... thiểu của tâp phụ thuộc hàm F F = { A→ B ; A→ C; B → A; C → A;B → C } 31 3.b. Tập phụ thuộc hàm có vế phải một thuộc tính Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ thuộc hàm G mà vế ... cả các phụ thuộc hàm được suy là tập tất cả các phụ thuộc hàm được suy diễn logic từ F diễn logic từ F  Luật dẫn để suy ra phụ thuộc hàm hệ quả từ...

Ngày tải lên: 12/05/2014, 11:52

52 746 2
bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa

bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa

... một thuộc tính • Các phụ thuộc hàm trong G là phụ thuộc hàm đầy đủ. Cho phụ thuộc hàm F định nghĩa trên lƣợc đồ quan hệ R. Phủ tối thiểu của F là tập phụ thuộc hàm G nếu: • Mọi tập phụ thuộc hàm ... hàng PHÉP CHIẾU PHỤ THUỘC HÀM • Input: Quan hệ R, tập phụ thuộc hàm S, quan hệ R 1 • Output: Tập phụ thuộc hàm trên R 1 • T =  • XR 1 , tính X + . T...

Ngày tải lên: 02/07/2014, 17:43

74 767 0
chương 5 Phủ của tập phụ thuộc hàm

chương 5 Phủ của tập phụ thuộc hàm

... AB → C là phụ thuộc hàm không đầy đủ B → C là phụ thuộc hàm đầy đủ Chú ý: phụ thuộc hàm có vế trái chứa một thuộc tính là phụ thuộc hàm đầy đủ. Ví dụ 3: cho tập phụ thuộc hàm F = {A → BC,B ... phụ thuộc hàm có vế phải một thuộc tính. 3 Tập phụ thuộc hàm không dư thừa Nói rằng F là tập phụ thuộc hàm không dư thừa nếu không tồn tại F’⊂ F sao...

Ngày tải lên: 29/09/2013, 14:20

9 2,6K 46
Chương Phụ thuộc hàm

Chương Phụ thuộc hàm

... giả sử F là tập các phụ thuộc hàm trong Q, tập thuộc tính X ⊆ Q+.  Bao đóng của tập thuộc tính X đối với tập phụ thuộc hàm F ký hiệu là X+ (hoặc ) là tập tất cả các thuộc tính A ⊆ Q+ được ... cho quan hệ r và 1 phụ thuộc hàm f: XÆ Y. Kiểm tra xem quan hệ r có thỏa mãn phụ thuộc hàm f hay không?  Function Satisfies (r, f: XÆ Y)  Sắp thứ tự các bộ trong r the...

Ngày tải lên: 12/05/2014, 12:03

42 626 0
Bài tập phụ thuộc hàm

Bài tập phụ thuộc hàm

... mãn phụ thuộc hàm f thì ta ký hiệu R(f), nếu R không thoả mãn phụ thuộc hàm thì ta ký hiệu ⎤R(f). Cho F là một tập các phụ thuộc hàm trên U, nói rằng quan hệ R thoả mãn tập phụ thuộc hàm F, ... một phụ thuộc hà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...

Ngày tải lên: 16/08/2012, 09:16

8 7,3K 169
Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ

... 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...

Ngày tải lên: 29/09/2013, 11:20

8 2,2K 33
w