PHỤ THUỘC HÀM ĐẦY ĐỦ LÀ GÌ

  -  
Một số hướng dẫn khi kiến tạo cơ sở tài liệu quan hệ

Việc đặc trưng nhất lúc thiết kế các đại lý dữ liệu quan hệ giới tính là ta đề xuất chọn ra tập hồ hết lược đồ tình dục cực tốt độc nhất dựa vào một số trong những chuẩn chỉnh mức; như thế nào kia. And để có đc lựa chọn tốt nhất, thì chúng ta đề nghị Đặc điểm quan tâm đến mối ràng buộc trong số những tài liệu vào quan hệ tình dục, đó chí;nh là phần nhiều lệ thuộc hàm.

Để gọi hơn về thắc mắc vì sao buộc phải kiến tạo một cơ sở dữ liệu cực tốt, các bạn hãy cùng thăm dò ví; dụ sau

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

Quan hệ RESULT( Kết trái học tập tập) có những ở trong tí;nh: StNo(Mã sinch 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 tập trình) & Mark (điểm thi của sinc viên vào môn học).

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

Bài Viết: Phụ trực thuộc hàm là gì

Sau chính là minh hoạ tài liệu của quan hệ tình dục RESULT


*

Minch họa dữ liệu của dục tình RESULT

Quan hệ trên xây đắp không tốt nhất vì

Dư thừa dữ liệu (Redundancy): tin tức về sinh viên & môn học bị lặp lại tương đối nhiều lần. Nếu sinch viên có mã St01 thi 10 môn học tập thì đọc tin về sinc viên này bị lặp lại 10 lần, cũng giống như đối với môn học tập gồm mã Sub04, nếu gồm 1000 sinc viên thi thì báo cáo về môn học tập cũng tái diễn 1000 lần Không hệt nhau (Inconsistency):Là hệ quả của dư quá dữ liệu. Giả sử sửa phiên bản ghi thứ nhất, tên sinh viên đc chữa trị thành Nga thì dữ liệu này lại ko hệt nhau cùng với bản ghi vào đầu tuần and 3 (vẫn có thương hiệu là Mai). Dị thường xuyên khi thêm bộ (Insertion anomalies): Nếu mong thêm báo cáo một sinh 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ệ thì ko được vày khoá chí;nh của quan hệ tình dục bên trên gồm 2 thuộc tí;nh StNo & SubNo. Dị thường xuyên lúc xoá cỗ (Deletion anomalies): Giả sử xoá đi bản ghi cuối cùng, thì đọc tin về môn học tập bao gồm mã môn học là SubNo=Sub07 cũng mất.

Reviews: Qua phân tí;ch bên trên, ta Cảm Xúc các bạn phải tìm kiếm phương thức tách quan hệ tình dục trên thành phần lớn quan hệ nhỏ dại hơn.

Trong cmùi hương này những các bạn sẽ nghiên giúp về các quan niệm and đầy đủ thuật tân oán để hoàn toàn có thể xây cất được các lược thiết bị quan hệ nam nữ tốt nhất có thể.

Phú nằm trong hàm(Functional Dependencies) Phú ở trong hàm (FDs) được cần sử dụng có tác dụng thước đo nhằm đánh giá một quan hệ tốt nhất có thể. FDs & khoá được dùng để làm khái niệm rất nhiều dạng chuẩn của quan hệ nam nữ. FDs là các buộc ràng tài liệu được suy ra từ bỏ chân thành và ý nghĩa and hầu hết mọt ảnh hưởng trong những trực thuộc tí;nh.


Nội Dung

7 Tập chịu ràng buộc hàm ít nhất

Định nghĩa chịu ảnh hưởng hàm

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

Cho A,B U, lệ thuộc hàm X → Y (phát âm là X khẳng định Y) đc khái niệm là:

t, t’ ∈ r ví như t.X = t’.X thì t.Y = t’.Y

(Có nghĩa là: Nếu hai cỗ bao gồm thuộc trị X thì gồm thuộc trị Y)

Phú ở trong hàm được suy ra trường đoản cú những điều khoản dữ liệu khi ta khảo sát có nhu cầu của bài xích toán thù.

Từ mã số bảo đảm thế giới, ta hoàn toàn 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 thương hiệu and điểm đặt; của dự án (PNumber→PName, PLcation)


*

Biểu diễn FDs của 2 lược đồ vật quan hệ tình dục EMP_DEPT & EMP_PROJ

Hệ định đề Armstrong

Cho lược thứ quan hệ giới tính r(U), U là tập nằm trong tí;nh, F là tập hầu như lệ thuộc hàm được có mang trên quan hệ tình dục r.

Ta tất cả chịu ảnh hưởng hàm A → B được diễn dịch xúc tích từ bỏ F ví như quan hệ r trênU thỏa gần như phụ thuộc hàm trong F thì cũng thỏa chịu ràng buộc hàm A → B.

Tập phụ thuộc hàm: F = A → B, B → C

Ta có phụ thuộc hàm A → C là chịu ràng buộc hàm đc suy từ bỏ F.

Hệ tiên đề Armsvào đc dùng để tìm thấy đầy đủ lệ thuộc hàm diễn dịch từ F.

Hệ định đề Armsvào đề cập cả:n

1. Phản quang: 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 & Y → Z thì X → Z

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

5. Luật hợp: Nếu X → Y và X → Z thì X →YZ

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

Trong sáu hình thức trên thì a4, a5, a6 suy đc từ a1, a2, a3.

Bao đóng của tập chịu ảnh hưởng hàm

Ta Hotline f là một chịu ràng buộc hàm đc suy dẫn trường đoản cú F, ký kết hiệu là F ├ f ví như trường thọ một chuỗi chịu ảnh hưởng hàm: f1, f2,…., fn sao để cho fn=f and từng fi là 1 trong member của F tuyệt được suy dẫn trường đoản cú những chịu ảnh hưởng hàm j=1,…,i-1 trước kia nhờ vào phép tắc dẫn. Bao đóng góp của F: ký hiệu là F+ là tập cục bộ đông đảo lệ thuộc hàm được suy trường đoản cú 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 ở trong tí;nh X xác minh trên tập phụ thuộc hàm F ký hiệu là X+ là tập phù hợp cục bộ gần như thuộc tí;nh hoàn toàn có thể suy ra tự X. Ký hiệu:

X + = F X →Y

X+ có thể đc tí;nh toán thù trải qua câu hỏi lặp đi tái diễn cá luật pháp 1, 2, 3 của hệ tiên đề Armsvào.

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

X+ := X;repeat oldX+ := X+; for (từng lệ thuộc hàm Y →Z trong F) bởi vì if Y ⊆ X+ then X+ ∪Zuntil (oldX+ = X+ ); Cho tập chịu ràng buộc 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 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 & nếu như giảm một trong những phần tử khỏi K thì bao đóng góp của chính nó sẽ ảnh hưởng không giống R.

Bởi vậy tập K R là khoá của quan hệ nam nữ giả dụ K+=R và ( K A )+ ≠R , A R.

ChoR = A, B, C, D, E, G & tập lệ thuộc hàm:

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

Ta sẽ Cảm Xúc rất nhiều tập thuộc tí;nh

K1 = A, B , K2 = B,E , K3=C,G , K4=C,E , K5 = C,D, K6=B,C rất nhiều là khóa của quan hệ nam nữ.

Như cầm, một tình dục rất có thể có tương đối nhiều khóa.

Thuật toán tìm khoá

Ý tưởng: Mngơi nghỉ màn từ bỏ tập U vì Closure(U+,F) = U. Sau kia ta giảm dần phần lớn bộ phận của U để dìm được tập bé dại tuyệt nhất cơ mà bao đóng của nó vẫn bằng U.

Thuật toán

Input: Lược thứ quan hệ nam nữ r(U), tập chịu ảnh hưởng hàm F. Output: Khoá K Cách 1: Gán K = U Buớc 2: Lặp lại công đoạn sau: Loại phần tử A khỏi K mà lại Closure( K -A,F ) =U Reviews

Thuật toán thù trên chỉ search được một khóa. Nếu buộc phải tìm các khóa, ta đổi thay trơ tráo trường đoản cú loại trừ phần đông bộ phận của K. Các bạn có thể cải thiện tốc độ tiến hành thuật toán thù trên bằng phương thơm thức: Trong bước 1 ta chỉ gán K=Left (là tập những thành phần có bên tay trái của những chịu ràng buộc hàm)

Cho lược thiết bị quan hệ nam nữ R = A,B,C,D,E,G,H,I & tập phụ thuộc 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

Cách 1: K=Left=A,B,C,H,E,G

Bước 2

Bước 2 BCHEG
Tập thuộc tí;nhABCDEGHIGhi chú
ABCHEGxxxxxxxx
xxxxxxxxLoại A
CHEGxxxxxxxxLoại B
CHGxxxxxxxxLoại E

Nlỗi gắng, C,H,G là 1 trong khoá của R.

Nếu muốn kiếm tìm toàn thể đông đảo khoá của R, ta yêu cầu đổi thay bơ vơ trường đoản cú loại trừ phần tử 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

Cục cỗ phần nhiều chịu ràng buộc hàm vào F hoàn toàn có thể được suy ra trường đoản cú G, and Cục cỗ rất nhiều chịu ràng buộc hàm vào G hoàn toàn có thể suy ra từ F.

Cho nên, F & G là tương tự giả dụ F+ = G+

Nếu F and G là tương tự thì ta nói F lấp G xuất xắc G phủ F.

Cho nên, thuật toán thù tiếp sau đây vẫn kiểm tra sự tương tự của nhị tập chịu ảnh hưởng hàm:

F lấp E: X Y ∈ E, tí;nh X+ từ bỏ F, tiếp đến kiểm tra coi Y∈ X+ E đậy F: X Y ∈ F, tí;nh X+ trường đoản cú E, kế tiếp kiểm tra coi Y∈X+

Tập chịu ràng buộc hàm ít nhất

Tập lệ thuộc hàm là ít nhất trường hợp nó hợp ý rất nhiều ngôi trường hợp sau:

Chỉ cất một ở trong tí;nh trưng bày sinh hoạt phí;a mặt tay trái của toàn cục những chịu ràng buộc hàm vào F. Không hề vứt đi bất kể một phụ thuộc hàm làm sao trong F mà vẫn đang còn được một tập chịu ảnh hưởng hàm tương đương với F (có nghĩa là, không có chịu ảnh hưởng hàm dư thừa). Không hề sửa chữa bất kỳ phụ thuộc hàm XA như thế nào vào F bởi chịu ảnh hưởng hàm YA, cùng với YX cơ mà vẫn có được một tập phụ thuộc hàm tương đương với F (Tức là, không tồn tại trực thuộc tí;nh dư vượt trong phụ thuộc hàm)

Reviews:

Cục bộ hầu hết tập phụ thuộc hàm đều phải sở hữu chịu ảnh hưởng hàm tối thiểu tương đương cùng với nó. Có thể có tương đối nhiều chịu ảnh hưởng hàm tối thiểu

Thuật toán: Tìm tập chịu ảnh hưởng hàm tối thiểu G của F

1. Đặt G:﹦F. 2. Txuất xắc gắng cục bộ rất nhiều phụ thuộc hàm X→A1,A2,…,An vào G bởi n phụ thuộc hàm: X →A1, X →A2,…, X →An. 3. Với mỗi phụ thuộc hàm X → A trong G,cùng với mỗi trực thuộc tí;nh B vào X giả dụ ((G-X → A) ∪ ( X -B) →A ) là tương đương cùng với G, thì sửa chữa thay thế X→ A bằng (X - B) → A vào G. (Sa thải thuộc tí;nh dư vượt trong chịu ràng buộc hàm) 4. Với mỗi chịu ảnh hưởng hàm X → A vào G, giả dụ (G-X → A) tương đương với G, thì vứt bỏ chịu ràng buộc hàm X → A thoát ra khỏi G.(Sa thải lệ thuộc hàm dư thừa)

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

Định nghĩa

Một quan hệ tình dục ngơi nghỉ dạng chuẩn 1 giả dụ những Chi phí của cục bộ thuộc tí;nh vào quan hệ là ngulặng tử (Có nghĩa là chỉ có một giá cả trên 1 thời hạn).

Ví; dụ

Quan hệ tiếp sau đây chưa hẳn ngơi nghỉ dạng chuẩn chỉnh 1


*

Dữ liệu của quan hệ DEPARTMENT phạm luật 1NF Chuyển quan hệ trên thành dạng chuẩn 1 (bởi cách làm khẳng định tập trực thuộc tí;nh DNumber, DLocation là khoá chí;nh), ta có:

Reviews

Quan hệ sinh sống dạng chuẩn chỉnh 1 tất cả trường tồn sự dư vượt tài liệu, vào quan hệ giới tính DEPARTMENT, nếu như một phòng có không ít Vị trí không giống nhau thì tài liệu của 3 trực thuộc tí;nh (DName, DNumber, DMgrSsn) bị lặp lại không ít lần. Các chúng ta có thể tách quan hệ nam nữ DEPARTMENT thành 2 quan lại hệ:


*

*

Minh hoạ dữ liệu của quan hệ giới tính THESIS

Reviews

Quan hệ sinh hoạt dạng chuẩn 2 tất cả sự dư quá lên tiếng. Dạng chuẩn 2 có thể bị vi phạm Lúc quan hệ gồm khóa bao gồm hơn một ở trong tí;nh.

Xem thêm: Cách Tải Bản Cập Nhật Liên Minh Huyền Thoại Nhanh Nhất &Raquo; Kuesports

Dạng chuẩn chỉnh 3 (Third Normal Form)

Định nghĩa

Một quan hệ nam nữ sinh hoạt dạng chuẩn chỉnh 3 nếu

Quan hệ ngơi nghỉ dạng chuẩn 2 And không có đựng phần đông phụ thuộc hàm chịu ảnh hưởng bắc cầu vào khoá. Prúc trực thuộc hàm chịu ảnh hưởng bắc cầu: Phụ thuộc hàm Y→Z là chịu ràng buộc hàm bắc cầu ví như mãi sau nhì chịu ràng buộc hàm:Y→X và X →Z.

Biểu diễn bằng sơ đồ


Dạng chuẩn chỉnh 3NF

Ví; dụ

Quan hệ EMP_DEPT không hẳn ở dạng chuẩn chỉnh 3 do còn có chịu ràng buộc hàm DNumber→DName, DMgrSsn là chịu ràng buộc hàm lệ thuộc bắc cầu vào khoá.


Quan hệ EMP_DEPT không phải làm việc dạng chuẩn 3

Tách dục tình trên thành 2 quan lại hệ: EMPLOYEE and DEPARTMENT. 2 quan hệ nam nữ sau gần như sống dạng chuẩn 3


Diễn tả dữ liệu của quan hệ giới tính EMPLOYEE and DEPARTMET

Reviews

Trong một cửa hàng dữ liệu rất tốt, phần đông tình dục đề xuất đc gửi về dạng chuẩn 3. Dù vậy, dữ liệu vẫn có tác dụng dư quá lúc quan hệ giới tính có nhị tập khóa dự tuyển gối lẫn nhau, hoặc quan hệ tình dục gồm ở trong tí;nh không khóa xác minh một ở trong tí;nh khóa .

Dạng chuẩn chỉnh Boyce _Codd(Boyce-Codd Normal Form)

Định nghĩa

Quan hệ R làm việc dạng chuẩn BCNF khi cục bộ mọi phụ thuộc hàm X →A trong R đều sở hữu X là khoá của R.

Ví; dụ

Quan hệ sau nghỉ ngơi dạng 3NF tuy vậy không phải BCNF.


Minh hoạ tài liệu của quan hệ giới tính TEACH vi phạm luật chuẩn chỉnh Boyce -Codd

Để nhận được quan hệ giới tính sinh sống BCNF, ta hoàn toàn có thể tách quan hệ tình dục trên:

Phương thơm pháp 1: R1(Student, Instructor) và R2(Student, Course)

Pmùi hương pháp 2: R1(Couse, Instructor} & R2(Course, Student)

Pmùi hương pháp 3: R1(Instructor, Course} & R2(Instructor, Student)

Việc tách quan hệ giới tính nhỏng bên trên sẽ làm mất đi chịu ràng buộc hàm FD1.

Định nghĩa

Phxay phân tan những lược thiết bị quan hệ giới tính R=A1, A2, . . . , Anlà vấn đề thay thế sửa chữa lược thiết bị quan hệ tình dục R thành những lược đồ vật nhỏ R1, . . . , Rk, trong đó RiR & R=R1 ∪ R2…∪ Rk


Lược đồ gia dụng quan hệ nam nữ R

Ta hoàn toàn có thể phân tung thành 3 lược trang bị R1(MaSV, TenSV, Lop) and Phxay phân rã không mất non thông tin

Cho R là một lược đồ vật dục tình, phép rã ρ=(R1,R2, . . .,Rn) and D là tập hầu hết lệ thuộc dữ liệu. Phnghiền phân tan ρ không mất đuối ban bố nếu lúc xúc tiến phnghiền toán thù liên kết tự nhiên hồ hết quan hệ tình dục nhân tố R1, R2,…,Rn ta vẫn nhấn đc công dụng của quan hệ ban đầu.

Ví; dụ về một phxay phân tung bao gồm mất non thông tin:

Cho quan lại hệ

Quan hệ chủng loại
MaSVMaMHĐiem
1A3
2A5
3A6
4B6
5C9

Nếu ta phân chảy dục tình bên trên thành 2 quan lại hệ: R1(MaSV, MaMH) and R2(MaMH, Điem) như sau:

R1 R2:

R1
MaSVMaMH
1A
2A
3A
4B
5C
R2
MaMHĐiem
A3
A5
A6
B6
C9

Triển knhị phxay kết nối tự nhiên 2 dục tình R1 & R2:

R1*R2=

R1*R2
MaSVMaMHĐiem
1A3
1A5
1A6
2A3
2A5
2A6
3A3
3A5
3A6
4B6
5C9

Như thay, lúc nối tự nhiên 2 bảng, ta dìm đc quan hệ giới tính rất khác quan hệ giới tính ban sơ→ Phép phân tan trên là mất mát thông báo.

Vấn đề chỉ ra ví như với người kiến thiết là buộc phải tìm thấy những phxay phân chảy không làm mất mát biết tin (rõ rệt để được trình bày ở đoạn sau). Hiên giờ những bạn sẽ dò xét một thuật tân oán để check một phxay phân tan tất cả mất đuối thông tin hay không.

Thuật toán kiểm tra phxay phân tung không mất mát thông tin

Input

Lược trang bị tình dục R=A1, A2, . . . , An Tập đa số chịu ràng buộc hàm F Phxay tách bóc ρ(R1, R2, . . . , Rk)

OutputTóm lại phxay tách bóc ρ ko mất mát công bố.

Quy trình của thuật toán

Bước 1

Thiết lập một bảng với n cột (khớp ứng cùng với n ở trong tí;nh) and k loại (tương ứng cùng với k quan liêu hệ), trong đó cột thứ j ứng với thuộc tí;nh Aj, cái thiết bị i ứng cùng với lược đồ dùng Ri. Tại cái i & cột j, ta điền cam kết hiệu aj ví như thuộc tinc Aj∈Ri.trái lại ta điền cam kết hiệu bij.

Cách 2

Xét các lệ thuộc hàm vào F và sử dụng mang lại bảng trên. Giả sử ta gồm lệ thuộc hàm X→Y∈F, xét đa số loại có Ngân sách đều nhau trên nằm trong tí;nh X thì làm bằngsố đông giá thành của chúng bên trên Y. Ngược lại làm bởi chúng bởi ký hiệu bij. Tiếp tục thực hiện gần như pth mang lại bảng (bao hàm bài toán tái diễn đông đảo lệ thuộc hàm đang sử dụng) cho đến khi đã không còn điều gì khác sử dụng đc nữa.

Bước 3

Xem xét bảng công dụng. Nếu xuất hiện một loại cất toàn giá thành a1, a2 ,…,an thì Tóm lại phép bóc tách ρ ko mất đuối ban bố.


Bước 2: Xét lệ thuộc hàm DNumber→ DName, DMgrSsn. Ta dìm cảm giác tất cả Chi tiêu a5 ngơi nghỉ chiếc vào đầu tuần, đề xuất ta đang có tác dụng bằng giá cả a6, a7 đến chiếc lần đầu.

Cách 3: Tồn trên một loại cất giá thành a1, a2,..a7. Kết luận, phxay phân rã trên không mất đuối thông tin.

Cách 3
ENameSSNBDateĐịa ChỉDNumberDNameDMgrSsn
EMPLOYEEa1a2a3a4a5a6a7
DEPARTMENTb21b22b23b24a5a6a7

Sinh viên triển khai phxay nối tự nhiên 2 quan hệ EMPLOYEE and DEPARTMENT bên trên để check bao gồm bởi quan hệ giới tính ban sơ EMP_DEPT

Thuật toán phân rã lược thứ quan hệ nam nữ thành gần như lược vật dụng quan hệ giới tính bé sống BCNF

Input

Lược thiết bị quan hệ tình dục R Tập phụ thuộc hàm F

Output

Phnghiền phân chảy của R ko mất lên tiếng và từng lược thứ quan hệ giới tính vào phxay bóc đều nghỉ ngơi dạng BCNF nếu như với phnghiền chiếu của F bên trên lược đồ kia.

Quy trình của thuật toán

Msinh sống màn phép bóc tách ρ chỉ tất cả R. Nếu S là 1 trong lược đồ vật ở trong ρ and S không nghỉ ngơi dạng BCNF thì chọn chịu ràng buộc hàm X → A thỏa vào S, trong các số ấy X không cất khóa của S và AX. phụ thuộc hàm phạm luật tư tưởng dạng chuẩn chỉnh BCNF. Ttuyệt núm S trong ρ bởi S1 và S2 như sau S1 = XA, S2 = SA. Quy trình trên tiếp tục cho tới Lúc toàn thể gần như lược thứ tình dục phần nhiều sinh sống dạng BCNF

Ví; dụ

Cho lược trang bị quan hệ tình dục R(CTHRSG).

Trong số đó:

C: Course; T: Teacher; H: Hour; R: Room; S: Student; G:Group). And tập hầu hết chịu ảnh hưởng hàm FC → T: Mỗi khoá học tập (course) cất một thầy (teacher) tuyệt nhất.HR →C: Tại một thời hạn (Hour) nghỉ ngơi tại phòng học tập (room) chỉ cất một khoá học tập độc nhất.HT→ R: Tại một thời hạn and một thầy giáo chỉ ở 1 phòng duy nhấtCS→G: Một sinc viên học tập một course thì chỉ tại một lớp tốt nhất.HS → R: Một sinc viên, ngơi nghỉ 1 thời hạn định hình chỉ ngơi nghỉ vào một phòng duy nhất.

Dựa vào thuật toán kiếm tìm khoá→Khóa của R là HS.

Mong muốn: Tách lược đồ dùng R thành đa số lược đồ nhỏ sinh hoạt dạng BCNF.


Biểu diễn quy trình tách dục tình R thành đông đảo quan hệ tình dục nghỉ ngơi BCNF

Như rứa, quan hệ tình dục R được tách thành 4 quan hệ giới tính R1, R21, R221, R222 phần lớn ngơi nghỉ BCNF.

Thuật toán thù phân tan một lược đồ dùng quan hệ nam nữ thành gần như lược đồ vật con sinh sống 3NF.

Input

Lược đồ dục tình R Tập đều phụ thuộc hàm F, không làm mất tí;nh tổng quát mang sử kia đó là che ít nhất.

Output

Phnghiền tách ko mất non đọc tin trên R thành đều lược trang bị bé ở dạng chuẩn chỉnh 3 làm sao để cho vẫn bảo toàn đầy đủ chịu ảnh hưởng hàm.

Quy trình của thuật toán

Bước 1: Sa thải phần đa thuộc tí;nh của R nếu thuộc tí;nh kia ko tác động mang lại chịu ràng buộc hàm làm sao của F.(không xuất hiện ở hai vế của lệ thuộc hàm). Cách 2: Nếu đựng một chịu ràng buộc hàm của F tác động cho toàn cục phần nhiều thuộc tí;nh của R thì tác dụng chí;nh là R. Cách 3: Trong khi, phxay tách bóc ρ chi ra hồ hết lược vật dụng tất cả hầu hết trực thuộc tí;nh XA ứng với chịu ràng buộc hàm X→A ∈F. Nếu trường thọ hầu như lệ thuộc hàm X→A1, X→A2, …,X→An thuộc F thì thay thế sửa chữa XAi (1 Để ý: Tại mỗi bước kiểm tra lược thứ R, nếu từng ở trong tí;nh không khóa không phụ thuộc bắc cầu vào khóa chí;nh, thì R đã sinh sống dạng 3NF, trở lại bắt buộc sử dụng bước 3 để bóc tiếp.

Ví; dụ

Cho lược vật dụng quan hệ giới tính R(C,T,H,R,S,G) với tập lệ thuộc hàm tối thiểu F

C→T, HR→C, HT→R, CS→G, HS→ R.

Mong muốn: Phân chảy lược đồ quan hệ giới tính bên trên thành đa số quan hệ tình dục con đều ngơi nghỉ dạng 3NF.

Xem thêm: Chết Cười Với 5 Tựa Game Bắt Người Chơi Game Bằng Giọng Nói, Yasuhati / With Your Voice!

Dùng thuật tân oán tìm kiếm khoá→ Khoá chí;nh của R là HS. Triển knhị thuật toán:Bước 1: Không có trực thuộc tí;nh bị loại bỏ quăng quật bỏBước 2: Không gồm phụ thuộc hàm nào tác động tới toàn thể hầu hết trực thuộc tí;nhBước 3: Phú trực thuộc hàm C→ T vi phạm 3NF (lệ thuộc bắc cầu vào khoá), vì thế tách bóc R thành R1(C,T) & R2(C,H,R,S,G).Phụ thuộc hàm CS→G phạm luật 3NF(chịu ràng buộc phần tử vào khoá), bóc R2 thành R21(C,S,G) & R22(C,H,R,S).Phụ trực thuộc hàm HR→C vi phạm 3NF, bóc R22 thành R221(H,R,C) and R222(H,S,R)

Nhỏng gắng, tình dục R đc tách thành hầu như quan hệ giới tính sau: R1, R21, R221, R222

Kết quả của phxay bóc có thể không giống nhau lệ thuộc vào lắp thêm từ sử dụng đầy đủ phụ thuộc hàm Khi xúc tiến thuật tân oán. Sinh viên trường đoản cú check xem việc bóc tách tình dục nlỗi trên gồm mất non công bố ko.

Bài tập

Cho một quan hệ giới tính R =A, B, C, D, E, F, G, H, I, J và tập chịu ràng buộc hàm

F = A,B→ C

A→ D, E

B→ F

F→ G, H

D→ I, J

Mong muốn:

– Tìm A+ =D, E, I ,J

– Tìm khóa của dục tình R.

– Tách tình dục R thành BCNF.

– Cheông chồng coi vấn đề tách bóc bên trên bao gồm mất đuối biết tin không?

Cho một quan hệ nam nữ R =CourseNo, SecNo, OfferingDept, Credit_Hours, CourseLevel, InstructorSSN, Semester, Year, Days_Hours, RoomNo, NoOfStudents và tập chịu ràng buộc hàm:

F = CourseNo → OfferingDept, Credit_Hours, CourseLevel;

CourseNo, SecNo, Semester, Year →Days_Hours, RoomNo, NoOfStudents, InstructorSSN;

RoomNo, Days_Hours, Semester, Year → InstructorSSN, CourseNo, SecNo

Mong muốn

Tìm khóa của quan hệ nam nữ R. Quan hệ bên trên nằm trong dạng chuẩn mấy? Tách tình dục về dạng 3NF. Check coi Việc tách trên bao gồm mất non công bố không?