Việc quan trọng đặc biệt nhất lúc kiến tạo đại lý dữ liệu quan hệ tình dục là ta phải lựa chọn ra tập các lược thứ quan hệ tình dục rất tốt dựa vào một trong những tiêu chí; nào kia. Và để sở hữu được lựa chọn giỏi, thì bọn họ bắt buộc đặc biệt quyên tâm mang lại côn trùng buộc ràng giữa những dữ liệu vào dục tình, đó chí;nh là các dựa vào hàm.
Để hiểu rộng về thắc mắc vì sao đề xuất kiến thiết một đại lý tài liệu tốt, họ hãy thuộc tìm hiểu ví; dụ sau
RESULT(StNo, StName, SubNo,SubName, Credit, Mark)
Quan hệ RESULT( Kết trái học tập) tất cả những trực 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ị chức năng học trình) với Mark (điểm thi của sinh viên trong môn học).quý khách hàng đang xem: Prúc thuộc hàm là gì
Sau đây là minh hoạ dữ liệu của quan hệ nam nữ RESULT
Minch họa dữ liệu của tình dục RESULT
Quan hệ trên thiết kế chưa xuất sắc vì
Dư vượt tài liệu (Redundancy): tin tức về sinc viên với môn học bị tái diễn những lần. Nếu sinch viên tất cả mã St01 thi 10 môn học tập thì công bố về sinc viên này bị tái diễn 10 lần, tương tự so với môn học tập gồm mã Sub04, ví như bao gồm 1000 sinh viên thi thì báo cáo về môn học tập cũng lặp lại 1000 lần Không nhất quán (Inconsistency):Là hệ trái của dư quá tài liệu. Giả sử sửa bản ghi đầu tiên, tên sinch viên được chữa trị thành Nga thì tài liệu này lại không nhất quán với bản ghi thứ hai với 3 (vẫn có tên là Mai). Dị thường xuyên Khi thêm bộ (Insertion anomalies): Nếu ước ao thêm công bố một sinc viên new nhập trường (chưa tồn tại điểm môn học nào) vào quan hệ giới tính thì không được do khoá chí;nh của quan hệ tình dục bên trên có 2 thuộc tí;nh StNo và SubNo. Dị hay lúc xoá bộ (Deletion anomalies): Giả sử xoá đi bản ghi sau cuối, thì báo cáo về môn học bao gồm mã môn học là SubNo=Sub07 cũng mất.Nhận xét: Qua phân tí;ch trên, ta thấy bọn họ cần tìm kiếm biện pháp bóc tách quan hệ tình dục bên trên thành các quan hệ giới tính nhỏ dại rộng.Quý Khách sẽ xem: Phú trực thuộc hàm không hề thiếu là gì
Trong chương này chúng ta sẽ phân tích về phần nhiều khái niệm cùng những thuật tân oán nhằm có thể thiết kế được hầu hết lược đồ vật quan hệ nam nữ giỏi.
Prúc nằm trong hàm(Functional Dependencies) Phụ ở trong hàm (FDs) được sử dụng làm thước đo để Review một tình dục giỏi. FDs và khoá được sử dụng để có mang những dạng chuẩn của quan hệ nam nữ. FDs là đông đảo buộc ràng dữ liệu được suy ra trường đoản cú chân thành và ý nghĩa và các mọt tương quan thân những thuộc tí;nh.Định nghĩa phụ thuộc hàm
Cho r(U), với r là dục tình với U là tập thuộc tí;nh. Bạn đang xem: Phụ thuộc hàm là gì
Cho A,B ⊆ U, phụ thuộc hàm X → Y (hiểu là X xác minh Y) được quan niệm là:
∀ t, t’ ∈ r ví như t.X = t’.X thì t.Y = t’.Y
(Có nghĩa là: Nếu nhị cỗ có thuộc trị X thì tất cả thuộc trị Y)
Phụ ở trong hàm được suy ra trường đoản cú gần như nguyên tắc tài liệu lúc ta điều tra yên cầu của bài toán thù.
Từ mã số bảo hiểm xóm hội, ta hoàn toàn có thể suy ra được tên của nhân viên (Ssn→ Ename)Từ mã dự án, ta có thể suy ra tên và vị trí; của dự án công trình (PNumber→PName, PLcation)
Biểu diễn FDs của 2 lược thứ quan hệ giới tính EMP_DEPT và EMP_PROJ
Hệ định đề Armstrong
Cho lược vật quan hệ r(U), U là tập trực thuộc tí;nh, F là tập những nhờ vào hàm được có mang trên quan hệ r.
Ta gồm phụ thuộc hàm A → B được diễn dịch súc tích trường đoản cú F nếu quan hệ giới tính r trênU thỏa những dựa vào hàm vào F thì cũng thỏa dựa vào hàm A → B.
Tập phụ thuộc vào hàm: F = A → B, B → C
Ta tất cả dựa vào hàm A → C là dựa vào hàm được suy từ F.
Hệ định đề Armstrong được thực hiện nhằm tìm thấy những dựa vào hàm suy diễn từ 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à 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 và WY → Z thì XW → Z
5. Luật hợp: Nếu 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 giải pháp trên thì a4, a5, a6 suy được từ bỏ a1, a2, a3.
Bao đóng của tập nhờ vào hàm
Ta Hotline f là một dựa vào hàm được suy dẫn từ bỏ F, cam kết hiệu là F ├ f ví như mãi mãi một chuỗi dựa vào hàm: f1, f2,…., fn sao để cho fn=f cùng mỗi fi là một trong thành viên của F giỏi được suy dẫn tự hầu hết dựa vào hàm j=1,…,i-1 trước đó phụ thuộc vào lao lý dẫn. Bao đóng góp của F: ký kết hiệu là F+ là tập tất cả các phụ thuộc vào hàm được suy từ F phụ thuộc vào hệ định đề Armstrong. F+ được định nghĩa:F + = X →Y
Bao đóng góp của tập ở trong tí;nh X bên trên F
Bao đóng của tập nằm trong tí;nh X xác định trên tập phụ thuộc hàm F ký hiệu là X+ là tập thích hợp toàn bộ những nằm trong tí;nh có thể suy ra từ X. Ký hiệu:
X + = Y
Thuật toán thù khẳng đị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) vì chưng 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 hệ
Cho quan hệ r(R), tập K ⊂ R được Gọi là khóa của quan hệ nam nữ r nếu: K+=R cùng trường hợp giảm 1 phần tử khỏi K thì bao đóng góp của chính nó vẫn không giống R.Xem thêm: Thành Ngữ Mỹ Thông Dụng: Out Of The Last Straw Là Gì ? A Way With Words
Nlỗi vậy tập K ⊂ R là khoá của dục tình ví như K+=R và ( K A )+ ≠R , ∀ A ⊂ R.
ChoR = A, B, C, D, E, G với tập dựa vào hàm:
F= AB → C , D → EG , BE → C , BC → D , CG → BD, ACD → B, CE → AG
Ta sẽ thấy các tập nằm 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ệ nam nữ.
vì thế, một quan hệ nam nữ có thể có rất nhiều khóa.
Thuật toán thù search khoá
Ý tưởng: Bắt đầu trường đoản cú tập U vì chưng Closure(U+,F) = U. Sau kia ta bớt dần dần các bộ phận của U để cảm nhận tập bé duy nhất mà lại bao đóng của nó vẫn bởi U.
Thuật toán
Input: Lược thứ quan hệ nam nữ r(U), tập nhờ vào hàm F. Output: Khoá K Bước 1: Gán K = U Buớc 2: Lặp lại công việc sau: Loại phần tử A khỏi K cơ mà Closure( K -A,F ) =U Nhận xét
Thuật toán thù trên chỉ tìm kiếm được một khóa. Nếu bắt buộc search các khóa, ta biến đổi biệt lập từ bỏ loại trừ các bộ phận của K. Chúng ta rất có thể cải thiện tốc độ triển khai thuật toán thù trên bởi cách: Trong bước 1 ta chỉ gán K=Left (là tập các bộ phận gồm mặt tay trái của những nhờ vào hàm)Cho lược thứ quan hệ R = A,B,C,D,E,G,H,I cùng tập dựa 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
Cách 1: K=Left=A,B,C,H,E,G
Cách 2
| Tập nằm trong 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à một trong những khoá của R.
Nếu muốn tra cứu toàn bộ các khoá của R, ta nên biến hóa lẻ loi từ loại bỏ bộ phận của khoá K.
Tập phụ thuộc hàm tương đương
Hai tập phụ thuộc hàm F và G là tương đương nếu
Tất cả các dựa vào hàm vào F hoàn toàn có thể được suy ra trường đoản cú G, cùng Tất cả những nhờ vào hàm trong G hoàn toàn có thể suy ra tự F.Vì núm, F cùng G là tương tự trường hợp F+ = G+
Nếu F với G là tương tự thì ta nói F đậy G xuất xắc G phủ F.
Vì cụ, thuật toán sau đây vẫn soát sổ sự tương tự của nhì tập nhờ vào hàm:
F lấp E: ∀ X → Y ∈ E, tí;nh X+ trường đoản cú F, kế tiếp bình chọn coi Y∈ X+ E che F: ∀ X → Y ∈ F, tí;nh X+ trường đoản cú E, tiếp đến đánh giá xem Y∈X+Tập phụ thuộc vào hàm buổi tối thiểu
Tập phụ thuộc vào hàm là tối tđọc nếu nó bằng lòng những ĐK sau:
Chỉ có một thuộc tí;nh nằm tại phí;a mặt tay trái của tất cả các nhờ vào hàm trong F. Không thể loại bỏ bất kỳ một nhờ vào hàm nào vào F nhưng vẫn dành được một tập phụ thuộc hàm tương tự cùng với F (Tức là, không tồn tại phụ thuộc hàm dư thừa). Không thể sửa chữa thay thế ngẫu nhiên phụ thuộc vào hàm X→A nào vào F bằng phụ thuộc hàm Y→A, với Y⊂X mà vẫn đạt được một tập phụ thuộc hàm tương tự cùng với F (tức là, không tồn tại thuộc tí;nh dư vượt trong dựa vào hàm)Nhận xét:
Tất cả những tập dựa vào hàm đều có dựa vào hàm về tối tđọc tương đương cùng với nó. cũng có thể có tương đối nhiều phụ thuộc hàm buổi tối tđọcThuật toán: Tìm tập nhờ vào hàm về tối thiểu G của F
1. Đặt G:﹦F. 2. Ttuyệt nuốm toàn bộ những nhờ vào hàm X→A1,A2,…,An trong G bằng n dựa vào hàm: X →A1, X →A2,…, X →An. 3. Với từng phụ thuộc vào hàm X → A trong G,với từng thuộc tí;nh B trong X trường hợp ((G－X → A) ∪ ( X －B) →A ) là tương đương cùng với G, thì sửa chữa X→ A bằng (X － B) → A vào G. (Loại bỏ nằm trong tí;nh dư vượt trong dựa vào hàm) 4. Với mỗi nhờ vào hàm X → A trong G, trường hợp (G－X → A) tương đương cùng với G, thì loại bỏ dựa vào hàm X → A ra khỏi G.(Loại quăng quật dựa vào hàm dư thừa)
Dạng chuẩn chỉnh 1(First Normal Form)
Định nghĩaMột tình dục sinh sống dạng chuẩn 1 trường hợp những giá trị của toàn bộ thuộc tí;nh vào tình dục là ngulặng tử (Tức là chỉ có một giá trị tại một thời điểm).
