Phụ thuộc hàm đầy đủ

     
Một số giải đáp khi thiết kế cơ sở tài liệu quan hệ

Việc quan trọng nhất khi xây cất cơ sở tài liệu quan hệ là ta phải chọn ra tập những lược trang bị quan hệ cực tốt dựa trên một số trong những tiêu chí; như thế nào đó. Và để có được gạn lọc tốt, thì họ cần đặc biệt suy nghĩ mối ràng buộc giữa các dữ liệu trong quan tiền hệ, kia chí;nh là các dựa vào hàm.

Để hiểu hơn về câu hỏi tại sao phải xây dựng một cơ sở tài liệu tốt, chúng ta hãy cùng tò mò ví; dụ sau

RESULT(StNo, StName, SubNo,SubName, Credit, Mark)

Quan hệ RESULT( hiệu quả học tập) có những thuộc tí;nh: StNo(Mã sinh viên), StName(Tên sinh viên), SubNo(Mã môn học), SubName(Tên môn học), Credit (Số đơn vị học trình) và Mark (điểm thi của sv trong môn học).Bạn đã xem: dựa vào hàm là gì

Sau đấy là minh hoạ dữ liệu của quan hệ RESULT


*

Minh họa tài liệu của quan hệ nam nữ RESULT

Quan hệ trên xây đắp chưa xuất sắc vì

Dư thừa tài liệu (Redundancy): thông tin về sinh viên và môn học tập bị lặp lại nhiều lần. Trường hợp sinh viên có mã St01 thi 10 môn học thì tin tức về sv này bị tái diễn 10 lần, tương tự đối với môn học tất cả mã Sub04, nếu gồm 1000 sv thi thì thông tin về môn học cũng lặp lại 1000 lần Không nhất quán (Inconsistency):Là hệ quả của dư vượt dữ liệu. Trả sử sửa phiên bản ghi trang bị nhất, tên sinh viên được chữa thành Nga thì dữ liệu đó lại không đồng nhất với bạn dạng ghi thứ hai và 3 (vẫn mang tên là Mai). Dị thường khi thêm bộ (Insertion anomalies): nếu như muốn thêm tin tức một sinh viên mới nhập trường (chưa có điểm môn học nào) vào quan hệ nam nữ thì không được vày khoá chí;nh của quan hệ tình dục trên bao gồm 2 ở trong tí;nh StNo với SubNo. Dị thường xuyên khi xoá bộ (Deletion anomalies): giả sử xoá đi bạn dạng ghi cuối cùng, thì tin tức về môn học bao gồm mã môn học tập là SubNo=Sub07 cũng mất.

Nhận xét: Qua phân tí;ch trên, ta thấy chúng ta nên tìm cách bóc quan hệ bên trên thành các quan hệ bé dại hơn.Bạn đã xem: phụ thuộc hàm không hề thiếu là gì

Trong chương này họ sẽ nghiên cứu và phân tích về hầu như khái niệm và những thuật toán để hoàn toàn có thể thiết kế được đầy đủ lược đồ gia dụng quan hệ tốt.

phụ thuộc hàm(Functional Dependencies) nhờ vào hàm (FDs) được thực hiện làm thước đo để reviews một quan hệ giới tính tốt. FDs cùng khoá được áp dụng để định nghĩa các dạng chuẩn chỉnh của quan hệ. FDs là mọi ràng buộc tài liệu được suy ra từ chân thành và ý nghĩa và những mối liên quan giữa những thuộc tí;nh.

Định nghĩa dựa vào hàm

Cho r(U), cùng với r là quan lại hệ và U là tập thuộc tí;nh.

Bạn đang xem: Phụ thuộc hàm đầy đủ

Cho A,B U, phụ thuộc vào hàm X → Y (đọc là X khẳng định Y) được tư tưởng là:

t, t’ ∈ r nếu t.X = t’.X thì t.Y = t’.Y

(Có nghĩa là: ví như hai bộ có cùng trị X thì gồm cùng trị Y)

Phụ nằm trong hàm được suy ra từ đa số quy tắc dữ liệu khi ta điều tra khảo sát yêu mong của bài bác toán.

Từ mã số bảo hiểm xã hội, ta có thể suy ra được thương hiệu của nhân viên (Ssn→ Ename)Từ mã dự án, ta hoàn toàn có thể suy ra tên cùng vị trí; của dự án công trình (PNumber→PName, PLcation)


*

trình diễn FDs của 2 lược vật dụng quan hệ EMP_DEPT với EMP_PROJ

Hệ định đề Armstrong

Cho lược đồ gia dụng quan hệ r(U), U là tập thuộc tí;nh, F là tập các phụ thuộc vào hàm được định nghĩa trên quan hệ nam nữ r.

Ta có phụ thuộc vào hàm A → B được suy diễn xúc tích và ngắn gọn từ F nếu quan hệ r trênU thỏa các phụ thuộc vào hàm trong F thì cũng thỏa phụ thuộc hàm A → B.

Tập nhờ vào hàm: F = A → B, B → C

Ta có nhờ vào hàm A → C là phụ thuộc hàm được suy tự F.

Hệ định đề Armstrong được áp dụng để tìm thấy các phụ thuộc vào hàm suy diễn từ bỏ F.

Hệ tiên đề Armstrong bao gồm:n

1. Phản xạ: Nếu Y → X thì X → Y

2. Tăng trưởng: Nếu Z → U với X → Y thì XZ → YZ (Ký hiệuXZ là X∪Z)

3. Bắc cầu: Nếu X → Y với Y → Z thì X → Z

4. Giả bắc cầu: Nếu X → Y cùng WY → Z thì XW → Z

5. Luật hợp: nếu như X → Y với X → Z thì X →YZ

6. Luật phân rã: Nếu X → Y với Z → Y thì X → Z

Trong sáu chế độ trên thì a4, a5, a6 suy được trường đoản cú a1, a2, a3.

Bao đóng góp của tập phụ thuộc hàm

Ta call f là một nhờ vào hàm được suy dẫn trường đoản cú F, cam kết hiệu là F ├ f trường hợp tồn trên một chuỗi phụ thuộc hàm: f1, f2,…., fn làm sao cho fn=f cùng mỗi fi là 1 trong những thành viên của F xuất xắc được suy dẫn trường đoản cú những nhờ vào hàm j=1,…,i-1 trước đó dựa vào luật dẫn. Bao đóng góp của F: ký hiệu là F+ là tập toàn bộ các phụ thuộc hàm được suy trường đoản cú F phụ thuộc vào hệ định đề Armstrong. F+ được định nghĩa:

F + = F X →Y

Bao đóng góp của tập ở trong tí;nh X trên F

Bao đóng của tập thuộc tí;nh X khẳng định trên tập dựa vào hàm F ký hiệu là X+ là tập hợp tất cả các thuộc tí;nh rất có thể suy ra tự X. Ký hiệu:

X + = Y

Thuật toán xác định bao đóng của tập ở trong tí;nh X+

X+ := X;repeat oldX+ := X+; for (mỗi phụ thuộc vào hàm Y →Z vào F) bởi vì if Y ⊆ X+ then X+ ∪Zuntil (oldX+ = X+ ); mang lại tập dựa vào hàm

F = SSN→ENAME, PNUMBER→PNAME, PLOCATION,SSN, PNUMBER → HOURS Suy ra: SSN+ = SSN, ENAMEPNUMBER+ = PNUMBER, PNAME, PLOCATIONSSN, PNUMBER+ = SSN, PNUMBER, ENAME, PNAME, PLOCATION, HOURS

Khoá của quan hệ

Cho quan hệ giới tính r(R), tập K R được call là khóa của quan hệ nam nữ r nếu: K+=R và nếu bớt một trong những phần tử ngoài K thì bao đóng của chính nó sẽ không giống R.

Xem thêm: Hướng Dẫn 3 Cách Cài Driver Máy In Hp Cực Kỳ Đơn Giản, Hướng Dẫn Cài Đặt Driver Máy In Hp Laserjet 1020

Như cố gắng tập K R là khoá của quan hệ nam nữ nếu K+=R và ( K A )+ ≠R , A R.

ChoR = A, B, C, D, E, G và tập dựa vào hàm:

F= AB → C , D → EG , BE → C , BC → D , CG → BD, ACD → B, CE → AG

Ta vẫn thấy những tập ở trong tí;nh

K1 = A, B , K2 = B,E , K3=C,G , K4=C,E , K5 = C,D, K6=B,C hầu hết là khóa của quan hệ.

Như vậy, một quan hệ có thể có không ít khóa.

Thuật toán tra cứu khoá

Ý tưởng: ban đầu từ tập U vị Closure(U+,F) = U. Tiếp nối ta bớt dần các phần tử của U để nhận thấy tập nhỏ nhắn nhất mà bao đóng của nó vẫn bằng U.

Thuật toán

Input: Lược vật quan hệ r(U), tập phụ thuộc hàm F. Output: Khoá K cách 1: Gán K = U Buớc 2: Lặp lại các bước sau: Loại thành phần A ngoài K mà Closure( K -A,F ) =U Nhận xét

Thuật toán trên chỉ tìm được một khóa. Nếu đề nghị tìm các khóa, ta thay đổi trật tự sa thải các thành phần của K. Chúng ta cũng có thể cải thiện tốc độ tiến hành thuật toán trên bởi cách: Trong bước 1 ta chỉ gán K=Left (là tập các phần tử có mặt tay trái của các phụ thuộc vào hàm)

Cho lược đồ quan hệ R = A,B,C,D,E,G,H,I với tập nhờ vào hàm:

F= AC → B, BI → ACD, ABC → D , H → I , ACE → BCG , CG → AE

Tìm khoá K?

Ta có Left=A,B,C,H,E,G

Bước 1: K=Left=A,B,C,H,E,G

Bước 2

Bước 2 BCHEG
Tập trực thuộc tí;nh A B C D E G H I Ghi chú
ABCHEG x x x x x x x x
x x x x x x x x Loại A
CHEG x x x x x x x x Loại B
CHG x x x x x x x x Loại E

Như vậy, C,H,G là 1 trong những khoá của R.

Nếu ao ước tìm tất cả các khoá của R, ta cần đổi khác trật tự loại bỏ bộ phận của khoá K.

Tập nhờ vào hàm tương đương

Hai tập phụ thuộc hàm F cùng G là tương đương nếu

tất cả các dựa vào hàm vào F rất có thể được suy ra từ bỏ G, và toàn bộ các phụ thuộc vào hàm vào G rất có thể suy ra tự F.

Vì thế, F với G là tương tự nếu F+ = G+

Nếu F với G là tương đương thì ta nói F tủ G tốt G bao phủ F.

Xem thêm: Cách Cài Máy In Trên Win 8, Win 8, Hướng Dẫn Cài Đặt Máy In Trong Windows 8

Vì thế, thuật toán tiếp sau đây sẽ khám nghiệm sự tương đương của hai tập nhờ vào hàm:

F bao phủ E: X Y ∈ E, tí;nh X+ tự F, tiếp đến kiểm tra xem Y∈ X+ E lấp F: X Y ∈ F, tí;nh X+ trường đoản cú E, tiếp đến kiểm tra xem Y∈X+

Tập phụ thuộc hàm buổi tối thiểu

Tập nhờ vào hàm là buổi tối thiểu ví như nó thoả mãn các điều khiếu nại sau:

Chỉ tất cả một ở trong tí;nh nằm ở vị trí phí;a bên tay trái của tất cả các nhờ vào hàm trong F. Ko thể bỏ đi ngẫu nhiên một nhờ vào hàm như thế nào trong F nhưng vẫn đã có được một tập dựa vào hàm tương tự với F (tức là, ko có phụ thuộc hàm dư thừa). Ko thể cố kỉnh thế ngẫu nhiên phụ ở trong hàm XA nào trong F bằng phụ thuộc vào hàm YA, với YX nhưng vẫn có được một tập dựa vào hàm tương tự với F (tức là, không có thuộc tí;nh dư quá trong phụ thuộc hàm)

Nhận xét:

tất cả các tập phụ thuộc hàm đều sở hữu phụ thuộc hàm về tối thiểu tương đương với nó. Có thể có không ít phụ trực thuộc hàm tối thiểu

Thuật toán: search tập dựa vào hàm tối thiểu G của F

1. Đặt G:﹦F. 2. Thay thế sửa chữa tất cả các nhờ vào hàm X→A1,A2,…,An trong G bởi n phụ thuộc vào hàm: X →A1, X →A2,…, X →An. 3. Với mỗi phụ thuộc hàm X → A vào G,với mỗi thuộc tí;nh B vào X nếu như ((G-X → A) ∪ ( X -B) →A ) là tương tự với G, thì thay thế sửa chữa X→ A bởi (X - B) → A vào G. (Loại bỏ thuộc tí;nh dư vượt trong phụ thuộc vào hàm) 4. Cùng với mỗi dựa vào hàm X → A trong G, ví như (G-X → A) tương đương với G, thì loại trừ phụ ở trong hàm X → A thoát khỏi G.(Loại bỏ phụ thuộc vào hàm dư thừa)

Dạng chuẩn 1(First Normal Form)

Định nghĩa

Một quan hệ nam nữ ở dạng chuẩn chỉnh 1 nếu những giá trị của tất cả thuộc tí;nh trong quan hệ giới tính là nguyên tử (tức là chỉ có 1 giá trị tại một thời điểm).