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

Một số giải đáp Khi xây dựng đại lý tài liệu tình dục

Việc đặc biệt nhất khi kiến tạo các đại lý dữ liệu quan hệ nam nữ là ta nên chọn ra tập các lược thiết bị dục tình rất tốt dựa vào một số tiêu chí; nào kia. Và để có được chọn lọc giỏi, thì chúng ta đề xuất đặc biệt quyên tâm mang lại mọt buộc ràng giữa các dữ liệu vào quan hệ nam nữ, đó chí;nh là những dựa vào hàm.

Để hiểu rộng về thắc mắc tại vì sao nên xây dựng một đại lý tài liệu giỏi, chúng ta hãy cùng khám phá ví; dụ sau

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

Quan hệ RESULT( Kết quả học tập tập) có các nằm trong tí;nh: StNo(Mã sinch viên), StName(Tên sinch viên), SubNo(Mã môn học), SubName(Tên môn học), Credit (Số đơn vị học tập trình) cùng Mark (điểm thi của sinh viên vào môn học).quý khách hàng đã xem: Prúc ở trong hàm là gì

Sau đó là minh hoạ dữ liệu của dục tình RESULT


*

Minch họa dữ liệu của quan hệ giới tính RESULT

Quan hệ trên kiến tạo chưa xuất sắc vì

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

Nhận xét: Qua phân tí;ch bên trên, ta thấy họ nên tra cứu giải pháp tách quan hệ trên thành những dục tình nhỏ tuổi rộng.

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

Trong chương thơm này chúng ta vẫn phân tích về đông đảo định nghĩa và những thuật tân oán để có thể thiết kế được phần đa lược đồ gia dụng quan hệ nam nữ tốt.

Phú ở trong hàm(Functional Dependencies) Phú ở trong hàm (FDs) được sử dụng làm thước đo để nhận xét một quan hệ xuất sắc. FDs với khoá được sử dụng để định nghĩa các dạng chuẩn chỉnh của tình dục. FDs là các buộc ràng tài liệu được suy ra trường đoản cú ý nghĩa cùng các côn trùng tương quan thân những nằm trong tí;nh.

Định nghĩa phụ thuộc vào hàm

Cho r(U), với r là quan hệ giới tính với U là tập ở trong tí;nh.

Cho A,B U, phụ thuộc vào hàm X → Y (phát âm 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à: Nếu nhị bộ bao gồm thuộc trị X thì bao gồm cùng trị Y)

Phú nằm trong hàm được suy ra trường đoản cú đều nguyên tắc tài liệu Lúc ta điều tra yêu cầu của bài xích tân oán.

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


*

Biểu diễn FDs của 2 lược đồ dục tình EMP_DEPT với EMP_PROJ

Hệ định đề Armstrong

Cho lược trang bị quan hệ nam nữ r(U), U là tập nằm trong tí;nh, F là tập những phụ thuộc hàm được quan niệm bên trên dục tình r.

Ta có phụ thuộc vào hàm A → B được diễn dịch ngắn gọn xúc tích từ bỏ F trường hợp quan hệ tình dục r trênU thỏa những dựa vào hàm vào F thì cũng thỏa nhờ vào hàm A → B.

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

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

Hệ tiên đề Armstrong được sử dụng nhằm tìm ra các phụ thuộc vào hàm suy diễn trường đoản cú F.

Hệ định đề 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à 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 X → Y cùng X → Z thì X →YZ

6. Luật phân rã: Nếu X → Y cùng Z → Y thì X → Z

Trong sáu vẻ ngoài trên thì a4, a5, a6 suy được từ bỏ a1, a2, a3.

Bao đóng của tập dựa vào hàm

Ta điện thoại tư vấn f là một nhờ vào hàm được suy dẫn từ bỏ F, ký kết hiệu là F ├ f giả dụ lâu dài một chuỗi phụ thuộc vào hàm: f1, f2,…., fn làm thế nào cho fn=f cùng mỗi fi là một trong member của F tuyệt được suy dẫn trường đoản cú đa số dựa vào hàm j=1,…,i-1 trước kia dựa vào cơ chế dẫn. Bao đóng góp của F: ký hiệu là F+ là tập tất cả những phụ thuộc vào hàm được suy tự F nhờ vào hệ tiên đề Armsvào. F+ được định nghĩa:

F + = F X →Y

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

Bao đóng góp của tập trực thuộc tí;nh X xác minh bên trên tập phụ thuộc hàm F ký hiệu là X+ là tập hợp tất cả những thuộc tí;nh hoàn toàn có thể suy ra tự X. Ký hiệu:

X + = Y

X+ rất có thể được tí;nh tân oán trải qua việc lặp đi tái diễn cá phép tắc 1, 2, 3 của hệ định đề Armstrong.

Xem thêm: Tiểu Sử Ca Sĩ Khánh Ly : Cuộc Đời, Sự Nghiệp Âm Nhạc, Tiểu Sử Ca Sĩ Khánh Ly

Thuật toán xác định bao đóng của tập trực thuộc tí;nh X+

X+ := X;repeat oldX+ := X+; for (mỗi dựa vào hàm Y →Z trong F) bởi vì if Y ⊆ X+ then X+ ∪Zuntil (oldX+ = X+ ); Cho tập phụ thuộc 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 tiền hệ

Cho dục tình r(R), tập K R được điện thoại tư vấn là khóa của dục tình r nếu: K+=R cùng trường hợp bớt một trong những phần tử khỏi K thì bao đóng của chính nó sẽ khác R.

Nlỗi vậy tập K R là khoá của quan hệ giới tính giả dụ K+=R cùng ( K A )+ ≠R , A R.

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

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

Ta đã thấy các tập thuộc tí;nh

K1 = A, B , K2 = B,E , K3=C,G , K4=C,E , K5 = C,D, K6=B,C đều là khóa của quan hệ giới tính.

bởi thế, một quan hệ giới tính có thể có không ít khóa.

Thuật toán thù search khoá

Ý tưởng: Bắt đầu tự tập U vì Closure(U+,F) = U. Sau kia ta giảm dần dần các thành phần của U để cảm nhận tập bé xíu duy nhất mà bao đóng góp của nó vẫn bằng U.

Thuật toán

Input: Lược vật dụng tình dục r(U), tập phụ thuộc vào 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 bộ phận A ngoài K nhưng mà Closure( K -A,F ) =U Nhận xét

Thuật tân oán trên chỉ tìm kiếm được một khóa. Nếu phải kiếm tìm những khóa, ta thay đổi cô quạnh từ bỏ vứt bỏ những thành phần của K. Chúng ta có thể cải thiện tốc độ triển khai thuật toán thù bên trên bằng cách: Trong bước 1 ta chỉ gán K=Left (là tập các thành phần tất cả mặt tay trái của những phụ thuộc hàm)

Cho lược thứ quan hệ R = A,B,C,D,E,G,H,I với tập phụ thuộc vào hàm:

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

Tìm khoá K?

Ta tất 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

bởi vậy, C,H,G là 1 khoá của R.

Nếu muốn tìm kiếm toàn bộ những khoá của R, ta đề xuất thay đổi đơn chiếc từ đào thải bộ phận của khoá K.

Tập phụ thuộc vào hàm tương đương

Hai tập nhờ vào hàm F với G là tương đương nếu

Tất cả các phụ thuộc vào hàm vào F rất có thể được suy ra từ G, với Tất cả những dựa vào hàm trong G hoàn toàn có thể suy ra từ F.

Vì chũm, F với G là tương đương trường hợp F+ = G+

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

Vì cầm cố, thuật toán thù dưới đây đã soát sổ sự tương đương của hai tập phụ thuộc vào hàm:

F che E: X Y ∈ E, tí;nh X+ tự F, kế tiếp bình chọn xem Y∈ X+ E đậy F: X Y ∈ F, tí;nh X+ từ bỏ E, sau đó kiểm tra xem Y∈X+

Tập nhờ vào hàm buổi tối thiểu

Tập phụ thuộc hàm là buổi tối tphát âm trường hợp nó toại ý những ĐK sau:

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

Nhận xét:

Tất cả các tập phụ thuộc hàm đều phải sở hữu dựa vào hàm buổi tối tgọi tương đương cùng với nó. Có thể có không ít phụ thuộc hàm buổi tối tgọi

Thuật toán: Tìm tập dựa vào hàm tối tđọc G của F

1. Đặt G:﹦F. 2. Ttốt cố toàn bộ các phụ thuộc vào hàm X→A1,A2,…,An trong G bằng n phụ thuộc hàm: X →A1, X →A2,…, X →An. 3. Với mỗi phụ thuộc vào hàm X → A vào G,với từng trực thuộc tí;nh B vào X trường hợp ((G-X → A) ∪ ( X -B) →A ) là tương tự cùng với G, thì thay thế X→ A bởi (X - B) → A trong G. (Loại quăng quật thuộc tí;nh dư vượt vào nhờ vào hàm) 4. Với từng dựa vào hàm X → A vào G, giả dụ (G-X → A) tương đương cùng với G, thì loại trừ nhờ vào hàm X → A thoát ra khỏi G.(Loại quăng quật nhờ vào hàm dư thừa)

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

Định nghĩa

Một quan hệ tình dục sinh hoạt dạng chuẩn chỉnh 1 ví như những quý giá của tất cả nằm trong tí;nh vào quan hệ tình dục là nguyên ổn tử (Tức là chỉ có một cực hiếm trên 1 thời điểm).