TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI VIỆN CÔNG NGHỆ THƠNG TIN ******** NGUYỄN VĂN HỊA MỘT SỐ TÍNH CHẤT CỦA α - PHỤ THUỘC HÀM TRÊN KHỐI VÀ LÁT CẮT KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC Chuyên ngành: Sư phạm Tin học HÀ NỘI – 2018 TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI VIỆN CÔNG NGHỆ THÔNG TIN ******** NGUYỄN VĂN HỊA MỘT SỐ TÍNH CHẤT CỦA α - PHỤ THUỘC HÀM TRÊN KHỐI VÀ LÁT CẮT KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC Chuyên ngành: Sư phạm Tin học Người hướng dẫn khoa học PGS TS TRỊNH ĐÌNH THẮNG HÀ NỘI – 2018 LỜI CẢM ƠN Trong q trình thực đề tài “Một số tính chất α – phụ thuộc hàm khối lát cắt”, cố gắng thân, em nhận giúp đỡ tận tình, tạo điều kiện thầy, cô giáo Viện Công nghệ thông tin, đặc biệt thầy giáo hướng dẫn - PGS.TS Trịnh Đình Thắng với gia đình bạn bè Em xin chân thành biết ơn chân thành đến thầy giáo Trịnh Đình Thắng tận tình giúp đỡ, hướng dẫn bảo em suốt trình thực đề tài Hà Nội, tháng năm 2018 Sinh viên Nguyễn Văn Hòa LỜI CAM ĐOAN Em xin cam đoan kết nghiên cứu hướng dẫn PGS TS Trịnh Đình Thắng Các số liệu, kết nêu khóa luận trung thực chưa cơng bố trước Hà Nội, tháng năm 2018 Sinh viên Nguyễn Văn Hòa MỤC LỤC MỞ ĐẦU CHƯƠNG 1: MƠ HÌNH DỮ LIỆU QUAN HỆ 1.1 Mơ hình liệu quan hệ 1.1.1 Thuộc tính miền thuộc tính 1.1.2 Quan hệ, lược đồ quan hệ 1.2 Các phép toán đại số quan hệ 1.3 Phụ thuộc hàm 10 1.3.1 Khái niệm phụ thuộc hàm 10 1.3.2 Định nghĩa phụ thuộc hàm 11 1.3.3 Các tính chất phụ thuộc hàm 11 1.3.4 Hệ tiên đề Amstrong 12 1.4 Bao đóng 14 1.4.1 Bao đóng tập phụ thuộc hàm tập thuộc tính 14 1.4.2 Bài toán thành viên 18 CHƯƠNG 2: MƠ HÌNH DỮ LIỆU DẠNG KHỐI 19 2.1 Khối, lược đồ khối lát cắt 19 2.1.1 Khối, lược đồ khối 22 2.1.2 Lát cắt 22 2.2 Các phép tính khối 24 2.2.1 Phép chèn 24 2.2.2 Phép loại bỏ 24 2.2.3 Phép sửa đổi 25 2.3 Đại số quan hệ khối 25 2.4 Phụ thuộc hàm 31 2.5 Bao đóng tập thuộc tính số 32 CHƯƠNG 3: α - PHỤ THUỘC HÀM TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI 35 3.1 α - phụ thuộc hàm mơ hình liệu dạng khối 35 3.1.1 Khái niệm xấp xỉ mức α 35 3.1.2 α - phụ thuộc hàm 37 3.2 Một số tính chất α - phụ thuộc hàm 38 3.3 Một số tính chất mở rộng α - phụ thuộc hàm mơ hình liệu dạng khối 43 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 48 TÀI LIỆU THAM KHẢO 49 DANH MỤC KÝ HIỆU VÀ CHỮ CÁI VIẾT TẮT Kí hiệu Ý nghĩa FD Phụ thuộc hàm LS Vế trái LR Vế phải TC Tính chất ╞ Suy dẫn theo tiên đề theo logic ├ Suy dẫn theo quan hệ ≠ Khác  Với  Phép giao  Phép hợp \ Phép trừ ⋈ Phép kết nối  Tập  Nằm  Thuộc  Khơng thuộc X+ Bao đóng tập thuộc tính X  Tương đương ≢ Khơng tương đương  Rỗng  Tồn DANH MỤC CÁC BẢNG Bảng 1.1: Biểu diễn quan hệ r Bảng 1.2: Biểu diễn ví dụ sinh viên Bảng 1.3: Các bảng biểu diễn quan hệ r, s, r  s Bảng 1.4: Các bảng biểu diễn quan hệ r, s, r  s Bảng 1.5: Các bảng biểu diễn quan hệ r, s, r \ s, s \ r Bảng 1.6: Các bảng biểu diễn quan hệ r, s, r× s Bảng 1.7: Các bảng biểu diễn quan hệ r, , B (r), BD (r), ABC (r) Bảng 1.8: Các bảng biểu diễn quan hệ r, BD (r) Bảng 1.9: Các bảng biểu diễn quan hệ r, s, r*s Bảng 1.10: Các bảng biểu diễn quan hệ r, s, r ÷ s 10 Bảng 2.1: Bảng biểu diễn khối điểm học viên DiemSV(R) 22 Bảng 2.2: Bảng biểu diễn lát cắt r(RKì 2) 22 Bảng 2.3: Biểu diễn họ gồm quan hệ r1, r2 23 Bảng 3.1: Quan hệ gần miền giá trị A1 38 DANH MỤC CÁC HÌNH Hình 2.1: Một phần mơ hình khối BANHANG 20 Hình 2.2: Một phần mơ hình khối DIEMSV 24 Hình 2.3: Biểu diễn khối r(R), s(R), t(R) 24 Hình 2.4: Biểu diễn khối r, s 25 Hình 2.5: Biểu diễn khối r, s, r  s 26 Hình 2.6: Biểu diễn khối r, s, r  s 27 Hình 2.7: Biểu diễn khối r, s, r \ s 27 Hình 2.8: Biểu diễn khối r, r = P(r) 29 Hình 3.1: Biểu diễn khối sinh viên 38 Hình 3.2: Biểu diễn khối r1, r2 46 MỞ ĐẦU Lý chọn đề tài Công nghệ thông tin trở thành lĩnh vực thiếu đời sống xã hội, thời kì cơng nghiệp hóa, đại hóa đất nước Trong đó, nhu cầu xây dựng hệ thống thơng tin đặc biệt quan tâm Để xây dựng hệ thống tốt phải sử dụng mơ hình liệu thích hợp Chính vậy, mơ hình liệu đời sử dụng rộng rãi ngày như: mơ hình thực thể - liên kết, mơ hình mạng, mơ hình phân cấp, mơ hình hướng đối tượng, mơ hình quan hệ… Mơ hình quan hệ E Codd đề xuất năm 1970 quan tâm hết xây dựng sở toán học chặt chẽ Tuy nhiên, quan hệ có cấu trúc phẳng (tuyến tính) nên mơ hình chưa đủ đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc phi tuyến,…Vì thế, việc mở rộng mơ hình quan hệ nhiều nghiên cứu quan tâm Từ đó, có số hướng mở rộng mơ hình quan hệ đề xuất nghiên cứu như: mơ hình liệu đa chiều, khối liệu, kho liệu, mô hình liệu dạng khối Ở mơ hình liệu dạng khối, khối khái niệm mở rộng từ quan hệ mô hình quan hệ, khối biểu diễn liệu có tính chất động (biểu diễn liệu có thuộc tính thay đổi theo thời gian, khơng gian…) có khả đáp ứng tốt nhiều lớp tốn phức tạp Trong q trình nghiên cứu mơ hình liệu khối, việc xây dựng phân tích mối quan hệ phụ thuộc liệu đóng vai trò quan trọng việc thiết kế xây dựng sở liệu Từ đó, khóa luận em sâu vào việc nghiên cứu dạng phụ thuộc hàm mơ hình liệu khối, đặc biệt α - phụ thuộc hàm Vì vậy, em chọn đề tài: “Một số tính chất α- phụ thuộc hàm khối lát cắt” để hoàn thiện lý thuyết liệu dạng khối Mục đích nghiên cứu Tìm hiểu phụ thuộc lược đồ khối sau sâu nghiên cứu CHƯƠNG 3: α - PHỤ THUỘC HÀM TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI Chương trình bày khái niệm α – phụ thuộc hàm mơ hình liệu dạng khối tính chất Trong mục 3.1, 3.2 trình bày kết có, cụ thể sau Mục 3.1: khái niệm mức xấp xỉ α, α – phụ thuộc hàm Mục 3.2: trình bày số tính chất có α – phụ thuộc hàm khối lát cắt Các tính chất trình bày tài liệu [2], [5] Mục 3.3: phát biểu chứng minh số tính chất α – phụ thuộc hàm khối lát cắt 3.1 α - phụ thuộc hàm mơ hình liệu dạng khối 3.1.1 Khái niệm xấp xỉ mức α Định nghĩa 3.1 Cho lược đồ khối R = (id; A1, A2,…, An), r khối R; X ta gọi miền giá trị E X tập hợp: Dom (E,X) = {u(X) | u ∈ E}, (E  r) Khi E = r ta viết dom(X) thay kí hiệu dom(r, X), X = {A} với A thuộc tính số, ta viết cách đơn giản rA Trên rA, quan hệ thông thường ta xây dựng hàm phản ánh độ gần giá trị, ta gọi hàm hàm tương tự s tập rA Một ánh xạ s: rA x rA → [0,1] gọi quan hệ tương tự r A hai điều kiện sau thỏa mãn: • s(a1, a2) = s(a2, a1) • s(a1, a2) = ⇔ a1 = a2 s(a1, a2) gọi độ tương tự hai đối tượng a1 a2 Với α ∈ [0,1], ta nói a1 a2 α tương tự (bằng mức α) kí hiệu a1 = α a2 s(a1, a2) ≥ α 35 Đối với tập thuộc tính số X = {x(1) , x(2),…, x(k)}  β, γ ∈ rx β, γ xem dãy (βi)i (γi)i , ≤ i ≤ k độ tương tự chúng định nghĩa là: S(β, γ) = min{s(βi, γ i) | ≤ i ≤ k} Hoàn toàn tương tự, ta dùng kí hiệu β = α γ S(β, γ) ≥ α, ta nói β γ α tương tự Giả sử β ∈ rx D  rx, ta gọi độ thuộc β vào D độ tương tự lớn β với giá trị D, kí hiệu μ(β, D) Nghĩa là: μ(β, D) = max{ S(β, γ)| γ ∈ D} ta nói β thuộc vào D với mức α kí hiệu β ∈ α D μ(β, D) ≥ α Cũng tương tự mơ hình quan hệ, số tính chất khái niệm ta dễ dàng suy từ định nghĩa Mệnh đề 3.1 Cho X  n id (i) , D ∈ rx, β, γ ∈ rx, : i=1 a) S(β, γ) = S(γ, β), S(β, γ) = ⇔ β = γ b) ≤ μ(β, D) ≤ 1, μ(β, D) = ⇔ β ∈ D c) Nếu D ⊆ D’ ⊆ rx μ(β, D) ≤ μ(β, D’) d) β ∈ α D ⇔ ∃ γ ∈ D, β = α γ Chứng minh: a) Cho tập thuộc tính số X = {x(1), x(2),…, x(k)}  n id (i ) ;  ,   rX i =1 β = (βi)i, γ = (γi)i, ≤ i ≤ k theo định nghĩa ta có: S(β, γ) = min{s(βi, γ i) | ≤ i ≤ k} = {s(γi, βi) | ≤ i ≤ k} = S(γ, β) S(β, γ) = ⇔ min{s(βi, γ i) | ≤ i ≤ k} = ⇔ s(βi, γ i) =1, (1 ≤ i ≤ k) ⇔ βi = γ i, ≤ i ≤ k ⇔ β = γ b) Theo định nghĩa ta có: μ(β, D) = max{S(β, γ)| γ ∈ D}, 36 S(β, γ) = min{s(βi, γ i) | ≤ i ≤ k}, ≤ s(βi, γ i) ≤ ⇒ ≤ μ(β, D) ≤ Mặt khác: μ(β, D) = ⇔ max{S(β, γ)| γ ∈ D} = ⇔ ∃ γ ∈ D: S(β, γ) = ⇔ β = γ, nghĩa β ∈ D c) Nếu D ⊆ D’ ⊆ rx thì: Μ(β, D) = max{S(β, γ)| γ ∈ D} ≤ max{S(β, γ)| γ ∈ D’ } ≤ μ(β, D’) d) β ∈ α D ⇒ μ(β, D) = max{S β, γ)| γ ∈ D} ≥ α ⇒ ∃ γ ∈ D: S(β, γ) ≥ α Như ta có: β = α γ 3.1.2 α - phụ thuộc hàm Trên sở khái niệm α tương tự xây dựng khái niệm α - phụ thuộc hàm sau: Định nghĩa 3.2 Cho R = (id; A1, A2,…, An), r khối R; X, Y n id (i) , X →𝛂Y i=1 kí hiệu α - phụ thuộc hàm Một khối r thỏa X → 𝛂 Y với t1, t2 ∈ r cho t1(X) = t2(X) t1(Y) = α t2(Y) Như α = α - phụ thuộc hàm lại trở thành phụ thuộc hàm quen thuộc mơ hình liệu dạng khối Nói cách khác, phụ thuộc hàm trường hợp đặc biệt α - phụ thuộc hàm α = Ví dụ 3.1: Cho khối sinhviên3 (id, A1, A2, A3), với id = {Kì 1, Kì 2}, đó: A1: Môn học tự chọn, A2 : Mã SV, A3: Lớp, quan hệ gần giá trị thuộc tính A1 khối cho bảng 3.1 đây: 37 Bảng 3.1: Quan hệ gần miền giá trị A1 Hình 3.1: Biểu diễn khối sinhviên3 Khối cho hình 3.1 ta thấy có α - phụ thuộc hàm sau: X → α Y với α = 0.8 đó: X = {1(3), 2(3) } Y = {1(1), 2(1)} 3.2 Một số tính chất α - phụ thuộc hàm Mệnh đề 3.2 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R; X , Y, Z n id (i ) ta có : i =1 a) X → α Y, ∀ Y ⊆ X 38 b) X → α Y ⇒ XZ → α YZ c) X → α Y, X → α Z ⇒ X → α YZ d) X → α Y, X → β Z ⇒ X → γ YZ với γ = min(α, β) e) X → α Y, Z ⊆ Y ⇒ X → α Z Chứng minh: a) Ta có X → Y, ∀ Y ⊆ X nên ta có X → α Y, ∀ Y ⊆ X b) ∀ t1, t2 ∈ r cho t1(XZ) = t2(XZ) ta suy ra: t1(X) = t2(X), t1(Z) = t2(Z) Theo giả thiết ta có X → α Y Do từ t1(X) = t2(X) ⇒ t1(Y) = α t2(Y) Mà ta lại có: t1(X) = t2(Z) ⇒ t1(YZ) = α t2(YZ) Như từ t1(XZ) = t2(XZ) ⇒ t1(YZ) = α t2(YZ) Do XZ → α YZ c) Vì X → α Y, Y → α Z Nên ∀ t1, t2 ∈ r cho t1(X) = t2(X) Ta có: t1(Y) = α t2(Y) t1(Z) = α t2(Z) ⇒ t1(YZ) = α t2(YZ) Như ta có: X → α YZ d) Vì X → α Y, X → β Z Nên ∀ t1, t2 ∈ r cho t1(X) = t2(X) Ta có: t1(Y) = α t2(Y) t1(Z) = β t2(Z) ⇒ t1(YZ) = γ t2(YZ) với γ = min(α,β) Như ta có: X → γ YZ với γ = min(α,β) e) Vì X → α Y Nên ∀ t1, t2 ∈ r cho t1(X) = t2(X) Ta có: t1(Y) = α t2(Y) Mà Z ⊆ Y ⇒ t1(Z) = α t2(Z) Do đó: X → α Z 39 Định nghĩa 3.2 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R; X ,Y  n id (i) , với tập thuộc tính số X, ta xây dựng quan i=1 hệ ∼ r(R) sau: ∀ t, u ∈ r(R), t ∼ u ⇔ t(X) = u(X) Rõ ràng quan hệ ∼ quan hệ tương đương r Khi quan hệ ∼ phân hoạch r thành lớp tương đương Ta kí hiệu lớp tương đương t ∈ r(R) ứng với tập X [t]x Như vậy: r = [t]x [t]x ∩ [t’]x t !∼ t’ Ta kí hiệu tập lớp tương đương theo quan hệ ∼ r/X, giả sử: r/X = (r1, r2,…, rn} Tương tự ta có quan hệ Y quan hệ tương đương ri với i = n Ta đặt: ri/Y = (ri1, ri2,…, rimi), ≤ i ≤ n Như vậy: t1(X) = t2(X) ⇔ ∃i: t1, t2 ∈ ri, t1(XY) = t2(XY) ⇔ ∃ i, j: t1, t2 ∈ rij Định lí 3.1 Cho lược đồ khối R = (id; A1, A2,…, An), r khối R, X ,Y  n id (i) X → α Y ⇔ S(β, γ) ≥ α, β = u(Y), γ = v(Y), ∀ u, v ∈ [t]x i=1 Chứng minh: Giả sử X → α Y Khi theo định nghĩa ta có : ∀ u, v ∈ r cho u(X) = v(X) ⇒ u, v ∈ [t] X u(Y) = α v(Y) ⇒ S(β, γ) ≥ α, β = u(Y), γ = v(Y), ∀ u, v ∈ [t] X Ngược lại, S(β, γ) ≥ α, β = u(Y), γ = v(Y), ∀ u, v ∈ [t] X Thì ∀ u, v ∈ r cho u(X) = v(X) ⇒ u, v ∈ [t]x S(β, γ) ≥ α, β = u(Y), γ = v(Y) Vậy ta có: X →α Y 40 Định lý 3.2 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R X ,Y  n id (i) , Z = \ XY Khi đó: i=1 X →→ Y ⇔ dom(ri, Z) = dom(rij, Z) với ≤ i ≤ n, ≤ j ≤ mi Chứng minh: Giả sử X →→ Y, Khi ∀ α ∈ dom(ri, Z) ∃ t1 ∈ ri cho t1(Z) = α Chọn t2 ∈ rij ⇒ t2 ∈ ri, t1(X) = t2(X) Theo giả thiết X →→ Y Nên ta có t3 ∈ rij cho t3(Y) = t2(Y), t3(Z) = t1(Z) = α Vậy α ∈ dom(rij, Z) Do ta có dom(ri, Z) = dom(rij, Z) Ngược lại, Giả sử dom( ri, Z) = dom(rij, Z), ∀ i, j Khi ta lấy phần tử t1, t2 ∈ r Như ∃ i, j cho t1 ∈ ri, t2 ∈ rij Do t1 ∈ r nên α = t1(Z) ∈ dom(ri, Z) = dom(rij, Z) Như ∃ t3 ∈ ri j cho t3 (Z) = α Vì t2, t3 ∈ rij nên t1(X) = t2(X) = t3(X) t3(Z) = t2(Z) ⇒ X →→ Y Ta kí hiệu: dom(ri, Z) = (α1, α 2,…, αik), i= n , i i Khi đó, tai xây dựng ihệ vectơ vj = (aj1 , aj2 , ,ajik ) sau: ajhi = αh ∈ dom(ri, Z), h = ik ajhi = αh ∉ dom(ri, Z), h = ik Từ kết định lí ta thấy X →→ Y họ vectơ vji = (aj1i, aj2i,i ajik ) gồm vectơ mà tọa độ Mệnh đề 3.3 Cho lược đồ khối R = (id;A1,A2,…,An), X , Y  n i =1 41 id (i ) , X = x (i ) , Y = xA,iB x (i ) xA,iC , A ⊆ id; B, C ⊆ {1, 2, n}, đó: n X →  Y X  n y ( i ) →  yY  i =1 y (i ) Ry,  y   , y  A i =1 Chứng minh: Giả sử ry quan hệ Ry, tồn khối đồng mức r R cho ry lát cắt r y  A Trên ry chọn t1, t2 cho: t1 ( X  n y (i ) n = t2 ( X  i =1  y ( i ) ), y  A Có ∃t’1, t’2 ∈ r: t’1(X) = t’2(X) Do X → Y i =1  ' r nên ta có: t (Y) = t (Y) ' Từ suy ra: t1 y = n y t’2 n (i ) y(i ) i =1 ,  y   Như vậy: i =1 n t1 ( X  y y = t2 ( X  (i ) i =1 Do n i =1 y (i ) ), y  A i =1 n y y (i ) → Y  n y (i ) Ry,  y   , y  A i =1 Mệnh đề 3.4: Cho lược đồ khối R = (id;A1,A2,…,An), X , Y  n id (i ) , X = i =1 A ⊆ id; B, C ⊆ {1, 2, n}, đó: X  n y ( i ) →  yY  i =1 x (i ) ,Y = xA,iB x (i ) xA,iC n y (i ) Ry, i =1  y  id X → Y với  = min{  y } y Chứng minh: Giả sử r khối R, với t1, t2 thuộc r cho: t1 ( X  t1(X) = t2(X) suy ra: Ry, y  id có X  n n y ( i ) = t2 ( X  i =1 y y → Y (i ) i =1 n i =1 y ( i ) ) mà n y (i ) i =1 n  t1 ( X  i =1   t1(Y) = y y ) → t (Y  (i ) n y ( i ) ), y  id i =1 t2(Y),  = min{  y } y  Do X → Y với  = min{  y } y 42 theo giả thiết ta có: Trên 3.3 Một số tính chất α - phụ thuộc hàm mơ hình liệu dạng khối Mệnh đề 3.5 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R, X , X , Y1 , Y2  n i =1 id ( i ) Khi đó, X → 1Y1 , X →  Y2 thì:  (X1  X ) → (Y1  Y2 ) , với  = min( 1 ,  ) Chứng minh:  Để chứng minh (X1  X ) → (Y1  Y2 ) , với  = min( 1 ,  ) ta cần chứng  minh:  t1 ,t2  r cho t1 (X1  X ) = t2 (X1  X ) t1 (Y1  Y2 ) = t (Y1  Y2 ) Thật vậy, theo giả thiết ta có: t1 (X1  X ) = t2 (X1  X )  t1(X1) = t2(X1), t1(X2) = t2(X2)  Do X → 1Y1 suy từ t1(X1) = t2(X1)  t1(Y1) =  t2(Y1)  t1(Y1) =  t2(Y1), với  = min( 1 ,  )  Do X → Y2 suy từ t1(X2) = t2(X2)  t1(Y2) =  t1(Y2) =  (1) 2 t2(Y2) t2(Y2), với  = min( 1 ,  ) (2) Từ (1) (2) suy ra: t1(Y1  Y2) = α t2(Y1  Y2), với  = min( 1 ,  ) Vậy ∀t1,t2 ∈ r: t1(X1  X2) = t2(X1  X2) suy ra: t1(Y1  Y2) = α t2(Y1  Y2) nghĩa (X1  X2) →α (Y1  Y2), với  = min( 1 ,  ), (đpcm) Mệnh đề 3.6 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R, X , X , Y1 , Y2  n id ( i ) , X1 ∩ X2 ≠ , Y1 ∩ Y2 ≠  Khi đó, i =1  X → 1Y1 , X → 2 Y2 thì: (X1  X ) → (Y1  Y2 ) , với  = max( 1 ,  ) Chứng minh:  Để chứng minh (X1  X ) → (Y1  Y2 ) , với  = max( 1 ,  ) ta cần chứng  minh:  t1 ,t2  r cho t1 (X1  X ) = t (X1  X ) t1 (Y1  Y2 ) = t (Y1  Y2 ) 43  Thật vậy, ta có:  t1 ,t2  r : t1 (X1  X ) = t (X1  X ) mà theo giả thiết: X → 1Y1 (X1 ∩ X2)  X1, (Y1 ∩ Y2)  Y1  t1(Y1 ∩ Y2) =  t2(Y1 ∩ Y2) (3)  Mặt khác ta lại có: X → Y2 , (X1 ∩ X2)  X2, (Y1 ∩ Y2)  Y2  t1(Y1 ∩ Y2) = 2 t2(Y1 ∩ Y2) Từ (3) (4) ta có: t1(Y1 ∩ Y2) = (4)  t2(Y1 ∩ Y2), với  = max( 1 ,  ) Vậy ∀t1,t2 ∈ r: t1(X1 ∩ X2) = t2(X1 ∩ X2) suy ra: t1(Y1 ∩ Y2) = α t2(Y1 ∩ Y2) nghĩa (X1 ∩ X2) →α (Y1 ∩ Y2), với  = max( 1 ,  ), (đpcm) Ví dụ 3.2: Cho lược đồ khối R = (id; A1, A2, A3, A4), r(R) khối R cho r thỏa phụ thuộc hàm: x(2)x(3) → x(2)x(4), x(1)x(2)y(1) → x(4)y(2) Khi r thỏa phụ thuộc hàm x(2) → x(4) Thật vậy, ta đặt : X1 = x(2)x(3) X2 = x(1)x(2)y(1) Y1 = x(2)x(4) Y2 = x(4)y(2) Áp dụng kết mệnh đề 3.6 ta có: X1 ∩ X2 = x(2) (1) Y1 ∩ Y2 = x(4) (2) Từ (1) (2) suy ra: x(2) → x(4) Mệnh đề 3.7 Cho lược đồ khối R = (id; A1, A2,…, An), r(R) khối R; X , X , Y1 , Y2  n i =1 id (i ) Khi đó, X → 1Y1 , X → 2 Y2 thì: ( X \ X ) → 1 (Y1 \ Y2 ) (X \ X ) →  (Y2 \ Y1 ) Chứng minh: 44  Để chứng minh ( X \ X ) → (Y1 \ Y2 ) , ta cần chứng minh:  t1 ,t2  r cho t1 ( X \ X ) = t2 (X1 \ X ) t1 (Y1 \ Y2 ) = t2 (Y1 \ Y2 ) 1 Thật vậy, theo giả thiết X → Y1 Mà: X1 \ X  X1 , Y1 \ Y2  Y1 nên từ 1 t1 ( X1 \ X ) = t2 (X1 \ X ) suy ra: t1 (Y1 \ Y2 ) =  t2 (Y1 \ Y2 ) Do  t1 ,t2  r cho t1 ( X1 \ X ) = t2 (X1 \ X ) suy t1 (Y1 \ Y2 ) =  t2 (Y1 \ Y2 ) Vậy: ( X \ X ) → 1 (Y1 \ Y2 )  Đế chứng minh (X \ X ) → (Y2 \ Y1 ) , ta cần chứng minh:   t1 ,t2  r cho t1 (X \ X1 ) = t2 (X2 \ X1 ) t1 (Y2 \ Y1 ) = t2 (Y2 \ Y1 ) Thật vậy, theo giả thiết X →  Y2 Mà: X \ X1  X , Y2 \ Y1  Y2 nên từ t1 ( X \ X1 ) = t2 (X2 \ X1 ) suy t1 (Y2 \ Y1 ) =  t2 (Y2 \ Y1 )  Do đó,  t1 ,t2  r cho t1 ( X \ X1 ) = t2 (X2 \ X1 ) suy t1 (Y2 \ Y1 ) = t2 (Y2 \ Y1 )  Vậy: ( X \ X ) → (Y2 \ Y1 ) Mệnh đề 3.9 Cho lược đồ khối R1 = (id1; A1, A2,…, An), R2 = (id2; A1, A2,…, An), id1 ∩ id2 = , r1(R1) r2(R2) khối R1 R2 Giả sử R = (id1  id2; A1, A2,…, An), r = r1 id  id r2 , X  n id1(i ) , X  i =1 n id 2(i ) i =1    Khi đó, X → 1Y1 , X → Y2 thì: ( X  X ) → (Y1  Y2 ) , với α = min(α 1, α2) Chứng minh: Để chứng minh ( X  X ) →  (Y1  Y2 ) , với α = min(α 1, α2) ta cần chứng minh: ∀t1,t2 ∈ r1 id  id r2 cho t1(X1  X2) = t2(X1  X2) t1(Y1  Y2) = αt2(Y1  Y2) Thật ta đặt: t’1 = t1(R1), t’2 = t2(R1) t”1 = t1(R2), t”2 = t2(R2) Theo giả thiết ta có: t1(X1  X2) = t2(X1  X2)  t1(X1) = t2(X1), t1(X2) = t2(X2) (vì t1(X1) = t’1(X1), t2(X1) = t’2(X1)) Từ t1(X1) = t2(X1)  t’1(X1) = t’2(X1) 45 Mà: X →  Y1  t’1(Y1) =  t’2(Y1) (5) Từ t1(X2) = t2(X2)  t”1(X2) = t”2(X2)  Mà: X → Y2  t”1(Y2) = 2 ” (6) t 2(Y2) Từ (5) (6) suy ra: t1(Y1) =  t2(Y1), t1(Y2) = 2 t2(Y2)  t1(Y1  Y2) = α t2(Y1  Y2), với  = min(  ,  ) Vậy ∀t1,t2 ∈ r: t1(X1  X2) = t2(X1  X2) suy ra: t1(Y1  Y2) = α t2(Y1  Y2) nghĩa (X1  X2) →α (Y1  Y2),  = min( 1 ,  ) Ví dụ 3.3: Cho lược đồ khối R1 = (id1; A1, A2,…, An), R2 = (id2; A1, A2,…, An), r1(R1) r2(R2) khối R1 R2 hình 3.2 Giả sử R = (id1  id2; A1, A2,…, An), r = r1 id  id r2 cho r1 thỏa phụ (1) (2) (3) thuộc hàm 1 : y → y y , r2 thỏa phụ thuộc hàm  : z (1) → z (2) z (3) (1) (1) (2) (3) (2) (3) Khi đó, ta có r thỏa phụ thuộc hàm  : y z → y y z z r1 r2 t1 t2 t3 t4 Hình 3.2: Biểu diễn khối r1, r2 Thật vậy, theo ví dụ ta có: (1) (2) (3) y (1) → y (2) y (3) , z → z z (1) (1) (2) (3) (2) (3) Áp dụng kết mệnh đề 3.9 ta có: y z → y y z z 46 Kết luận Ở chương trình bày khái niệm mức xấp xỉ α, định nghĩa α – phụ thuộc hàm số tính chất có α – phụ thuộc hàm Cuối phát biểu chứng minh số tính chất α – phụ thuộc hàm mơ hình liệu dạng khối thể mệnh đề 3.6, 3.7, 3.8, 3.9 47 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN Kết luận Qua nghiên cứu mơ hình mơ hình sở liệu dạng khối khái niệm α - phụ thuộc hàm, đề tài đưa số tính chất α - phụ thuộc hàm khối lát cắt góp phần hồn thiện thêm lý thuyết thiết kế mơ hình liệu dạng khối Cụ thể khóa luận đạt kết sau: • Tìm hiểu mơ hình liệu dạng khối • Tìm hiểu α - phụ thuộc hàm mơ hình liệu dạng khối • Phát biểu chứng minh tính chất α - phụ thuộc hàm mơ hình liệu dạng khối Hướng phát triển Những kết nghiên cứu khóa luận tính chất α - phụ thuộc hàm khối lát cắt, để tìm thêm những tính chất α - phụ thuộc hàm ta mở rộng thêm tập phụ thuộc hàm Fh thành phụ thuộc hàm thơng thường F Khi hi vọng thu kết phong phú 48 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Nguyễn Kim Anh (1997), Nguyên lí hệ sở liệu, Nhà xuất Đại học Quốc gia Hà Nội [2] Phạm Thanh Chung (2016), α – phụ thuộc hàm mơ hình liệu dạng khối, Luận văn Thạc sĩ máy tính [3] Nguyễn Xuân Huy, Các phụ thuộc logic sở liệu, Hà Nội (2006) [4] Vũ Đức Thi (1997), Cơ sở liệu- Kiến thức thực hành, Nhà xuất Thống kê, Hà Nội [5] Trịnh Đình Thắng (2011), Mơ hình liệu dạng khối, Nhà xuất Lao động [6] Trịnh Đình Vinh - Vũ Đức Thi 2010, “ Phủ tập phụ thuộc hàm vấn đề tựa chuẩn hố mơ hình liệu dạng khối”, Tạp chí Tin học Điều khiển học, 26(4), tr 312-320 [7] Lê Tiến Vương 1997, Nhập môn Cơ sở liệu quan hệ, Nhà xuất Khoa học kỹ thuật, Hà Nội Tiếng Anh [8] Chen, P P., The entity - relationship model: toward a unified view of data, ACM Trans on Database Systems 1:1, pp 9-36, 1976 [9] Codd, E F., A relational model for large shared data banks, Comm ACM 13:6, pp 377-387, 1970 [10] DEMETROVICS J., NGUYEN XUAN HUY 1991 , “Closed Sets and Translations of Relation Schemes”, Computers Math Applic., 20(1), 13-23 49 ... thuộc hàm mơ hình liệu dạng khối 35 3.1.1 Khái niệm xấp xỉ mức α 35 3.1.2 α - phụ thuộc hàm 37 3.2 Một số tính chất α - phụ thuộc hàm 38 3.3 Một số tính chất mở rộng α. .. đặc biệt α - phụ thuộc hàm Vì vậy, em chọn đề tài: Một số tính chất α- phụ thuộc hàm khối lát cắt để hoàn thiện lý thuyết liệu dạng khối Mục đích nghiên cứu Tìm hiểu phụ thuộc lược đồ khối sau... Bao đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.6 Cho tập phụ thuộc hàm F, bao đóng tập phụ thuộc hàm F (kí hiệu F+ ) tập lớn chứa phụ thuộc hàm suy diễn từ phụ thuộc hàm thuộc F Vậy F+