Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Giới Thiệu Trong những năm gần đây, các ứng dụng máy tính cho quản lý ngày càng nhiều. Cách mạng về máy vi tính đã tạo điều kiện để máy tính hỗ trợ tích cực các nhà quản lý, họ có thể truy cập đến hàng ngàn cơ sở dữ liệu ở nhiều vị trí khác nhau để thu thập các thông tin cần thiết. Hầu hết các tổ chức, các công ty đều dùng phân tích có tính toán trong quyết định của mình. Hệ trợ giúp quyết định ngày càng đóng một vai trò quan trọng trong quá trình ra quyết định của các nhà quản lý. Hiện nay mô hình dữ liệu được sử dụng trong các hệ trợ giúp quyết định phổ biến vẫn là mô hình cơ sở dữ liệu quan hệ (CSDLQH) truyền thống. Trong mô hình CSDLQH truyền thống các dữ liệu được lưu trữ đều là dữ liệu rõ. Các phép toán trên CSDL đều được xây dựng dựa trên cơ sở các phép so sánh đơn giản như =, >, ≥, ≤, <, ≠. Trong đó các phép so sánh dùng để so sánh giữa hai biến là hai thuộc tính hoặc giữa một biến là một thuộc tính và một hằng, kết quả cho giá trị “TRUE” hoặc “FALSE” tùy theo mối quan hệ của chúng. Như vậy miền giá trị của biến được so sánh là miền các giá trị rõ và việc so sánh là so sánh chính xác. Tuy nhiên thông tin về thế giới thực cần lưu trữ hay xử lý thường có thể là thông tin không đầy đủ, chúng có thể có nhiều dạng chẳng hạn như: không biết một số thông tin về một đối tượng, thông tin lưu trữ có thể không chính xác, thông tin lưu trữ có thể không chắc chắn hay mờ. Do đó, các nhà quản lý thường phải đối mặt với vấn đề thiếu thông tin trong quá trình ra quyết định, họ phải dùng đến những thông tin không hoàn toàn đầy đủ để rút ra các tri thức tổng hợp, hỗ trợ cho việc ra quyết định. Việc cần thiết phải có một mô hình cơ sở dữ liệu thích hợp để cho phép lưu trữ và xử lý cả những thông tin đầy đủ và không đầy đủ đã được nhiều nhà khoa học quan tâm nghiên cứu. Hiện tại đã có nhiều cách tiếp cận mở rộng đưa dữ liệu mờ vào lý thuyết quan hệ với mong muốn tìm được những mô hình chấp nhận 1 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 thông tin không đầy đủ, cho phép biểu diễn và khai thác thông tin một cách tốt hơn, tiện lợi hơn trong những lớp bài toán thực tế nào đó. Với mục đích tìm hiểu các mô hình đã được sử dụng để mở rộng CSDLQH, đồ án này sẽ đề cập đến một số cách tiếp cận mờ để mở rộng CSDLQH trong Chương I, trong đó nhấn mạnh vào mô hình CSDLQH dựa trên tính tương tự của hai tác giả P.Buckles và E.Petry. Chương II sẽ trình bày mô hình CSDLQH dựa trên tính tương tự của TS.Hồ Cẩm Hà. Dựa trên các tài liệu tham khảo và các kiến thức đã được học trong môn cơ sở dữ liệu I, trong Chương III tác giả đồ án sẽ mở rộng lý thuyết thiết kế CSDLQH truyền thống để chuẩn hoá lược đồ CSDLQH dựa trên tính tương tự. Cuối cùng, Chương IV sẽ trình bày việc cài đặt một mô đun cho phép thực hiện các thao tác xử lý dữ liệu theo mô hình được đề cập trong Chương II. Chương I. Khái quát về CSDLQH với thông tin không đầy đủ Mô hình quan hệ mặc dù không phải là mô hình quản trị cơ sở dữ liệu (CSDL) xuất hiện đầu tiên và cũng không phải là mô hình quản trị CSDL tiên tiến nhất nhưng lại đóng vai trò quan trọng và được sử dụng phổ biến nhất hiện nay. Chính vì vậy, việc áp dụng lý thuyết mờ vào mô hình CSDLQH là một trong những xu hướng đã được rất nhiều nhà nghiên cứu quan tâm. Chương này gồm hai phần chính, phần thứ nhất sẽ trình bày tóm tắt một số hướng tiếp cận CSDLQH mờ, phần thứ hai sẽ trình bày tương đối chi tiết cách tiếp cận dựa trên cơ sở tính tương tự của hai tác giả P.Buckles và E.Petry. 1. Một số cách tiếp cận CSDLQH mờ Tiếp cận dựa trên cơ sở quan hệ mờ (The fuzzy relation – based approach) 2 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Tiếp cận này do Bladwin và Zhou đưa ra đầu tiên vào năm 1984, Zvieli đưa ra năm 1986. Theo đó quan hệ mờ R⊆D 1 ×D 2 × ×D n được đặc trưng bởi hàm thuộc: µ R : D 1 ×D 2 × ×D n →[0,1]. Như vậy, mỗi bộ của R có dạng t=(u 1 ,u 2 , ,u n ,µ R (u 1 ,u 2 , ,u n )), trong đó u i ∈D i với i=1,2, ,n, µ R (u 1 ,u 2 , ,u n ) chỉ mức độ thuộc quan hệ R của t. Với cách tiếp cận này, khái niệm một bộ thuộc về một quan hệ là một khái niệm mờ trong khi các giá trị cụ thể của các thuộc tính lại là giá trị không mờ hoặc cũng có thể là các biến ngôn ngữ nhưng được xử lý như một đơn giá trị. Tiếp cận trên cơ sở tính khả năng (The possibility – based approach) Tiếp cận này do Prade và Testemale đưa ra đầu tiên vào năm 1983, Zemankova đưa ra năm 1984. Theo đó các giá trị thuộc tính bị mờ hoá bằng việc cho phép các phân phối khả năng xuất hiện như một giá trị thuộc tính. Nghĩa là: Một quan hệ R là một tập con của Π(D 1 )×Π(D 2 )× ×Π(D n ), với Π(D i )={π|π là một phân phối khả năng của A i trên D i }. Một n bộ t∈R có dạng (π 1 , π 2 ,…, π n ), π Ai ∈Π(D i ). Ngoài ra còn có thêm phần tử đặc biệt e để chỉ những giá trị không thể áp dụng. Như vậy π Ai được định nghĩa là một hàm xác định từ (D i ∪e) lên [0,1]. Theo mô hình này các giá trị thuộc tính được làm mờ hóa bằng việc cho phép các phân phối khả năng xuất hiện như một giá trị thuộc tính. Vào năm 1989 và 1991, Rundensteiner, Hawkes, Bandler và Chen đã mở rộng mô hình này bằng cách thêm vào một quan hệ c i xác định trên mỗi miền D i thể hiện mối quan hệ “gần nhau” giữa các phần tử của miền, c i : D i ×D i →[0,1] là một quan hệ mờ hai ngôi trên D i thỏa các tính chất: Phản xạ: c i (x,x)=1. Đối xứng : c i (x,y)=c i (y,x). 3 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Tiếp cận dựa trên xấp xỉ ngữ nghĩa (The semantic proximity approach) Cách tiếp cận này do Wei-Yi-Lin đưa ra để đo mức độ xấp xỉ về mặt ngữ nghĩa giữa hai giá trị. Hàm xấp xỉ SP có các tính chất sau: 0 ≤ SP(f 1 , f 2 ) ≤ 1, SP(f 1 , f 2 ) = SP(f 2 , f 1 ), SP(f 1 , f 1 ) ≥ SP(f 1 , f 2 ), Tác giả đưa ra tiêu chuẩn để xây dựng hàm đo xấp xỉ ngữ nghĩa trên số mờ dạng khoảng: Cho f 1 =[a 1 ,b 1 ], f 2 =[a 2 ,b 2 ], g 1 =[c 1 ,d 1 ], g 2 =[c 2 ,d 2 ], SP(f 1 ,f 2 )=1 ⇔ a 1 =b 1 =a 2 =b 2 , SP(f 1 ,f 2 )=0 ⇔ f 1 ∩f 2 =∅, Nếu a 1 =a 2 , b 1 =b 2 , c 1 =c 2 , d 1 =d 2 và |d 1 -c 1 |>|b 1 -a 1 | thì SP(f 1 ,f 2 )≥SP(g 1 ,g 2 ). Đối với mô hình này, khi so sánh hai bộ thì phải so sánh về mặt ngữ nghĩa. Nói cách khác, hai bộ được gọi là bằng nhau nếu độ xấp xỉ ngữ nghĩa của chúng vượt quá một ngưỡng nào đó. Tiếp cận phối hợp (The combined approach) Với cách tiếp cận này, sẽ áp dụng việc mờ hoá cả trong sự thuộc vào một quan hệ của một bộ cũng như tính mờ trong các giá trị thuộc tính hay mối quan hệ giữa các phần tử của miền. Theo Van Schooten và Kere (1988), giá trị thuộc tính là các phân phối khả năng và mỗi bộ được gán cho một cặp (p, n) để biểu diễn một cách tương ứng các khả năng có thể thuộc quan hệ và khả năng không thể thuộc quan hệ của bộ này. Như vậy một n-bộ có dạng: (π A1 , π A2 , π An , p t , n t ), π Ai ∈ Π(D i ). Ở đây, giá trị tại các thuộc tính không cần phải là giá trị nguyên tố, một đơn giá trị, nhưng phải được đánh giá “gần nhau” ở cấp độ nào đó. 4 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 2. Mô hình CSDLQH dựa trên tính tương tự Mô hình CSDLQH dựa trên tính tương tự do P.Buckles và E.Petry đưa ra lần đầu tiên vào năm 1983. Đây là việc mở rộng và làm mờ hoá CSDLQH truyền thống đã được Codd đưa ra vào cuối những năm 70. Trong mô hình này, các miền giá trị của CSDL hoặc là vô hướng rời rạc, hoặc là tập số rời rạc lấy từ những tập vô hạn hay hữu hạn. Giá trị miền (giá trị tại một thuộc tính) của một bộ cũng có thể là một giá trị vô hướng (đơn) hay một dãy gồm nhiều giá trị vô hướng. Quan hệ bằng nhau ở đây được thay thế bởi một quan hệ tương tự được mô tả tường minh mà quan hệ bằng nhau trong mô hình CSDLQH truyền thống chỉ là một trường hợp riêng của nó. 2.1. Những định nghĩa cơ sở Định nghĩa 1.1. Một quan hệ tương tự S D (x, y), trên một miền D, là một ánh xạ mọi cặp phần tử của miền vào khoảng đóng [0, 1] thoả ba tính chất sau với mọi x, y, z∈D: 1.Phản xạ S D (x, x)=1 2.Đối xứng S D (x, y) =S D (y, x) 3.Bắc cầu S D (x, z) ≥ Max y (Min[S D (x, y), S D (y, z)]) Một giá trị thuộc tính d ij , trong đó i là chỉ số của bộ thứ i, được định nghĩa là một tập con không rỗng của miền tương ứng D j . Dùng kí hiệu 2 Dj để chỉ tập tất cả các tập con không rỗng của D j . Định nghĩa 1.2. Một quan hệ mờ r, là một tập con của tích Đề-các 2 D1 ×…×2 Dm . Định nghĩa 1.3. Một bộ t của một quan hệ mờ là một phần tử của tập 2 D1 ×…×2 Dm . Một cách tổng quát, một bộ t i ∈r có dạng: t i =(d i1 , d i2 ,…, d im ), d ij ⊆D j . Định nghĩa 1.4. Một thể hiện ℑ={a 1 , a 2, …, a m } của một bộ t i =(d i1 , d i2 …, d im ) là bất cứ một phép gán nào sao cho a j ∈d ij ∀j=1, 2,…, m. 5 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Không gian thể hiện là D 1 × D 2 × × D m và bị giới hạn bởi tập các bộ hợp lệ trong quan hệ mờ. Các bộ hợp lệ được xác định dưới ngữ nghĩa của quan hệ này. Trong CSDLQH truyền thống thì bộ t trùng với thể hiện của chính nó. Định nghĩa 1.5. Ngưỡng tương tự của một miền D j của một quan hệ (mờ) được kí hiệu là Thres(D j ) và được xác định như sau: Thres(D j )≤min{min[s j (x,y)]} i x,y∈d ij trong đó i=1, 2, là chỉ số của bộ. Có thể thấy được rằng, CSDLQH truyền thống chính là trường hợp đặc biệt của CSDL mờ khi ngưỡng Thres(D j )=1 với mọi j. Trên cơ sở các ngưỡng tương tự đã cho trên mỗi miền trị thuộc tính, tính dư thừa dữ liệu của một quan hệ trong mô hình này được xác định và đại số quan hệ được xây dựng. Định nghĩa 1.6. Trong quan hệ mờ r, hai bộ t i =(d i1 , d i2 ,…, d im ) và t k =(d k1 , d k2 ,…, d km ), i≠k được coi là thừa đối với nhau nếu ∀j=1, 2,…,m: Thres(D j )≤min[s j (x,y)] x,y∈d ij ∪d kj trong đó: Thres(D j )≤min{min[s j (x,y)]}, i=1, 2,… là chỉ số của bộ. i x,y∈d ij Như vậy, mỗi bộ có thể tương ứng với một số lớn các thể hiện. Tuy nhiên, với quan niệm về dư thừa dữ liệu như trên, mô hình CSDLQH này vẫn tương thích với CSDLQH truyền thống. Ở đây, không cho phép tồn tại hai bộ có chung một thể hiện. 6 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 2.2. Đại số quan hệ Các phép toán quan hệ mờ cũng gồm bốn thành phần (toán tử quan hệ, thuộc tính, tên quan hệ, điều kiện) như trong mô hình quan hệ truyền thống thêm vào đó là một câu xác định ngưỡng tương tự áp dụng cho phép toán này. Kết quả cuối cùng của phép toán quan hệ là một quan hệ đạt được bằng việc trộn các bộ thừa (tức là hợp các giá trị thuộc tính tương ứng) cho đến khi không còn bộ thừa. Một bộ được coi là nằm trong quan hệ kết quả của phép giao hai quan hệ sẽ là một bộ thuộc một trong hai quan hệ này và có thể được trộn với một bộ nào đó thuộc quan hệ kia mà không vi phạm các ngưỡng tương tự đã cho trước. Phép hợp hai quan hệ cho kết quả là một quan hệ đạt được sau khi đã loại bỏ các bộ thừa của tập gồm tất cả các bộ thuộc quan hệ này và tất cả các bộ thuộc quan hệ kia. Các phép chiếu, hợp và giao cho kết quả duy nhất. Phép chiếu và phép hợp chỉ khác CSDLQH truyền thống ở cách thức loại bỏ các bộ thừa. 2.3. Phụ thuộc hàm Để mở rộng khái niệm phụ thuộc hàm cho CSDLQH dựa trên tính tương tự, trước hết khái niệm về độ tương tự giữa hai bộ cần phải được xác định. Định nghĩa 1.7. Cho một miền D k của một quan hệ r, độ tương tự của hai bộ t i và t j trên D k được định nghĩa là: T s [D k (t i ,t j )]=Min(s k (p,q)) p,q ∈ d ik ∪d jk Ở đây d ik và d jk là giá trị của bộ t i và bộ t j trên thuộc tính thứ k của quan hệ r, có nghĩa là d ik và d jk đều là tập con của D k . Trong CSDLQH truyền thống cả d ik và d jk đều chỉ gồm một phần tử, khi đó độ tương tự của hai bộ bất kỳ chỉ có thể là một nếu hai bộ này có giá trị trùng nhau ở mọi thuộc tính, nếu không độ tương tự của chúng phải bằng 0. Như vậy: 7 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Thres(D k )=Min{T s [D k (t i ,t j )]} ∀i,j Một phụ thuộc hàm trong mô hình này là một mở rộng trực tiếp phụ thuộc hàm trong CSDLQH truyền thống. Định nghĩa 1.8. Nếu A và B là hai thuộc tính của một quan hệ r thì ta nói r thoả phụ thuộc hàm A→B nếu với mọi bộ t i , t j : T s [A(t i ,t j )]≤T s [B(t i ,t j )]. Định nghĩa 1.9. Nếu X và Y là hai thuộc tính của một quan hệ r thì ta nói r thoả phụ thuộc hàm X→Y nếu với mọi bộ t i , t j : Min{T s [A(t i ,t j )]}≤Min{T s [B(t i ,t j )]} ∀A,A∈X ∀B,B∈Y 3. Nhận xét Việc sử dụng lý thuyết mờ, một mở rộng của lý thuyết tập hợp thông thường, để mở rộng khả năng biểu diễn thông tin mơ hồ, không chính xác trong CSDL là một điều tự nhiên và hợp lý. Có thể thấy có hai khuynh hướng chủ yếu đã được sử dụng để mờ hóa thông tin: Khuynh hướng thứ nhất là sử dụng nguyên lý thay thế quan hệ đồng nhất thông thường của các giá trị trong cùng một miền (giá trị thuộc tính) bởi các độ đo về sự “giống nhau” giữa chúng. Tính không chính xác của những giá trị dữ liệu ẩn trong việc sử dụng các quan hệ mờ được cho bởi những bảng tách riêng. Khuynh hướng này cho phép coi một tập các giá trị nào đó như một thể hiện có thể (hay một xấp xỉ về mặt ngữ nghĩa) của một đơn giá trị. Mô hình CSDLQH được mở rộng theo khuynh hướng này có thêm khả năng làm việc (lưu trữ và xử lý) với những thông tin không chính xác. Khuynh hướng thứ hai là dùng phân phối khả năng như một rằng buộc mờ về các giá trị có thể lấy cho một bộ trên một thuộc tính. Tính không chắc chắn của dữ liệu được thể hiện tường minh nhờ các phân phối khả năng. Các mô hình CSDLQH 8 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 được mở rộng theo khuynh hướng này cho phép biểu diễn không chỉ các thông tin chính xác, chắc chắn mà cả những thông tin không chắc chắn, những giá trị null. Tuy nhiên việc lưu trữ và thao tác trên những thông tin trong các mô hình CSDLQH được mở rộng theo hai khuynh hướng này thực sự phức tạp với quá nhiều phép tính toán. Để có được những mô hình mở rộng của CSDLQH có khả năng mạnh mẽ trong việc lưu trữ và xử lý cả những giá trị có thể không chính xác khi biểu diễn thông tin lẫn những giá trị thể hiện thông tin không chắc chắn, giải pháp đưa ra là phối hợp cả hai khuynh hướng trên. Tuy có được một mô hình cho phép nắm bắt thông tin không đầy đủ ở tình huống tổng quát song điều này càng làm cho mô hình trở nên phức tạp cả ở lưu trữ lẫn xử lý. Có thể nhận thấy rằng, mô hình của hai tác giả P.Buckles và E.Petry khác với CSDLQH truyền thống ở hai điểm quan trọng: giá trị tại mỗi thuộc tính của một đối tượng có thể là một tập và trên mỗi một miền của thuộc tính có một quan hệ mờ thể hiện cấp độ tương tự giữa các phần tử của miền. Trong mô hình này, tuy giá trị của mỗi bộ tại mỗi thuộc tính có thể chứa một hay nhiều phần tử của miền tương ứng, nhưng có một ràng buộc là các phần tử trong cùng một giá trị thuộc tính (của cùng một đối tượng) phải đủ tương tự với nhau nghĩa là cấp độ tương tự của một cặp bất kỳ các phần tử trong cùng giá trị thuộc tính không nhỏ hơn ngưỡng tương tự đã xác định. Cách mở rộng mô hình CSDL của hai tác giả này thuộc khuynh hướng thứ nhất trong hai khuynh hướng cơ bản đã nêu ở trên, nhằm mục đích có được khả năng biểu diễn thông tin không chính xác. Mặc dù giá trị của mỗi bộ tại mỗi thuộc tính là một tập nhưng các phần tử trong tập này đều được coi là những thể hiện (có thể không chính xác) của một giá trị đơn. 9 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Chương II. Mở rộng mô hình CSDLQH dựa trên tính tương tự Chương này sẽ dành để trình bày mô hình CSDLQH dựa trên tính tương tự do TS. Hồ Cẩm Hà đề xuất. Nội dung của chương được chia thành năm phần. Phần thứ nhất sẽ nêu lên các khái niệm cơ sở của mô hình, dựa trên các khái niệm đó trong phần hai sẽ trình bày các phép toán đại số quan hệ. Phần ba sẽ nêu lên các quy tắc cập nhật dữ liệu, phần tiếp theo sẽ đề xuất một ngôn ngữ hỏi cho mô hình này và phần cuối cùng sẽ trình bày về các phụ thuộc dữ liệu. 1. Mở rộng mô hình CSDLQH của P.Buckles và E.Petry Như đã nêu trong phần nhận xét của Chương I, trong mô hình CSDLQH dựa trên tính tương tự của P.Buckles và E.Petry mặc dù giá trị của mỗi bộ tại mỗi thuộc tính là một tập nhưng các phần tử trong tập này đều được coi là những thể hiện của một giá trị đơn. Trong công trình nghiên cứu của mình TS. Hồ Cẩm Hà đã đưa ra một mô hình CSDLQH kế thừa ý tưởng của hai tác giả trên, nhưng cho phép các phần tử của mỗi bộ tại mỗi giá trị thuộc tính không bị đòi hỏi đủ tương tự theo ngưỡng. Điều này cho phép mỗi giá trị thuộc tính chứa các phần tử biểu diễn những khả năng rất khác xa nhau có thể xảy ra bởi những giá trị không hề tương tự. Khi mô hình hoá một CSDLQH theo cách này sẽ không chỉ cho phép nắm bắt những thông tin không chính xác mà cả những thông tin không chắc chắn. Sự phân tách thành các khả năng thực chất là nhờ vào độ đo tương tự trên mỗi miền và ngưỡng đặt ra. Bởi vậy những thông tin không chắc chắn thể hiện bằng sự tồn tại 10 [...]... mô hình mới sẽ được trình bày trong phần dưới đây, một quan điểm tương ứng về dư thừa dữ liệu cũng được phát biểu Khai niệm về bộ dư thừa rất quan trọng vì nó là cơ sở để xây dựng các qui tắc cập nhật dữ liệu, các phép toán quan hệ và khái niệm các phụ thuộc hàm 1.1 Ngữ nghĩa của một bộ, quan niệm về các bộ thừa trong quan hệ Cho một lược đồ quan hệ R(U), U là tập hữu hạn các thuộc tính, U = {A1, A2,... dữ liệu 3.1 Các qui tắc cập nhật dữ liệu Đối với mỗi nhóm người dùng CSDL, mức độ và quan niệm mờ hoá khi xử lý thông tin trong quan hệ r của họ được thể hiện qua việc họ xác định (hay chấp nhận) một ngưỡng α trên r Người sử dụng có thể khai thác thông tin có trong quan 32 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 hệ r của lược đồ R(U) bằng việc sử dụng quan hệ M α(r) Quan. .. một bộ vào quan hệ) Cho INS là một câu lệnh thêm một bộ t=(d1, d2,…, dm) vào quan hệ r của lược đồ R theo ngưỡng tương tự α=(α1, α2,…, αm) Hệ thống sẽ kiểm tra và thực hiện tương ứng như sau: 1) Nếu trong quan hệ r không có bộ t’ nào để t[K]≈αKt’[K] thì thêm t vào r, 2) Không xảy ra 1) thì không làm gì cả Qui tắc 2.2 (Cho thao tác xóa một bộ trong quan hệ) 34 Website:... quan hệ r bộ t với t[K]≈α(d1, d2,…, dm) và ngưỡng tương tự α=(α1, α2,…, αm) Hệ thống sẽ kiểm tra và thực hiện tương ứng như sau: 1) Nếu trong quan hệ r có bộ t để t[K]≈α(d1, d2,…, dm) thì loại bỏ t khỏi quan hệ r, 2) Không xảy ra 1) thì không làm gì cả Qui tắc 2.3 (Cho thao tác thay đổi giá trị một bộ trong quan hệ) Cho CHANGE là một câu lệnh thay đổi bộ t trong quan. .. thức, P OR Q là biểu thức Cho r là một quan hệ trên lược đồ R, phép chọn trên r với biểu thức chọn đã cho được xác định như sau: a) Chọn chặt: Chọn chặt trong r, thoả biểu thức F là một quan hệ trên R kí hiệu là σF(r) được xác định như sau: 1) Nếu F có dạng (αi.Ai: d) Quan hệ σF sẽ gồm các bộ t=( d1, d2,…, dm), dj⊆Dj sao cho di≈αid 2) Nếu F có dạng NOT(αi.Ai: d) Quan hệ σF sẽ gồm các bộ t=( d1, d2,…, dm),... σF(r)= σP(r)∩ σQ(r) 4) Nếu F có dạng (P OR Q) thì σF (r)= σP(r)∪σQ(r) Dễ dàng thấy rằng, nếu quan hệ r không có bộ thừa theo ngưỡng β=(β1, β2, …, βm) thì các quan hệ kết quả σF(r) và σF(r) được xác định như trên cũng không có bộ thừa theo ngưỡng β Ví dụ 2.7: Cho quan hệ mờ r3 như ở Hình 2.16 cùng các quan hệ tương tự trên các miền tương ứng cho trong Hình 2.2 và Hình 2.3 r3 t1 t2 t3 t4 t5 t6 TÊN An... bắc cầu của quan hệ tương đương ≈α dễ dàng chứng minh được định lý Định nghĩa 2.5 Cho hai quan hệ mờ r, r’ trên cùng một lược đồ R(U) Hai quan hệ gọi là tương đương với nhau theo ngưỡng α nếu ∀t∈r ∃t’∈r’: t≈αt’ và ngược lại, nghĩa là ∀t’∈r’ ∃t ∈ r: t≈αt’ Ví dụ 2.3: Cho r3 trong Hình 2.5, r2 trong Hình 2.4 Với α=(0.0,0.6,0.8), thì r3≅αr2 TÊN {An, Bình} MÀU XE {xanh đậm, xanh nhạt, NGHỀ NGHIỆP {giáo... phép toán quan hệ 2.1 Mở rộng phép hợp Cho r1 và r2 là hai quan hệ trên cùng một lược đồ R(U) Hợp theo ngưỡng α của r1 và r2 là một quan hệ kí hiệu là r1∪αr2 được xác định như sau: r1∪αr2=Mα(r1∪r2) Tính chất của phép hợp: Từ định nghĩa của phép hợp (với ngưỡng α) trên đây, kết hợp với bổ đề 2.3 về kết quả trộn các bộ thừa với nhau không phụ thuộc thứ tự trộn, dễ suy ra phép hợp có tính giao hoán và... dụ 2.6: Cho 2 quan hệ r1 (Hình 2.10) và r2 (Hình 2.11) trên lược đồ R(A, B, C), và các quan hệ tương tự trên các miền ở các hình : Hình 2.7, Hình 2.8, Hình 2.9 a1 a2 a3 a5 a1 a2 a3 a5 1.0 0.3 0.8 0.7 0.3 1.0 0.3 0.3 0.8 0.3 1.0 0.7 0.7 0.3 0.7 1.0 Hình 2.7 Quan hệ tương tự trên Dom(A) b1 b2 b3 b4 b1 b2 b3 b4 1.0 0.1 0.6 0.1 0.1 1.0 0.1 0.9 0.6 0.1 1.0 0.1 0.1 0.9 0.1 1.0 Hình 2.8 Quan hệ tương tự trên... x∼αjy Rõ ràng ∼αj là một quan hệ hai ngôi trên Dj và: Bổ đề 2.1 ∼αj là một quan hệ tương đương trên Dj Khi đã có một ngưỡng αj xác định trên miền Dj và không sợ nhầm lẫn có thể viết x∼y thay vì viết đầy đủ x∼αjy Chứng minh: ∀x∈Dj, s(x,x)=1 ≥ αj nên x∼x Từ x∼y ta có y∼x do tính đối xứng của quan hệ s Cuối cùng, nếu có x∼y và có y∼z sẽ có x∼z do s có tính bắc cầu T1 Như vậy quan hệ ∼ phân hoạch Dj thành . (: 0918.775.368 2.2. Đại số quan hệ Các phép toán quan hệ mờ cũng gồm bốn thành phần (toán tử quan hệ, thuộc tính, tên quan hệ, điều kiện) như trong mô hình quan hệ truyền thống thêm vào đó là. dưới đây, một quan điểm tương ứng về dư thừa dữ liệu cũng được phát biểu. Khai niệm về bộ dư thừa rất quan trọng vì nó là cơ sở để xây dựng các qui tắc cập nhật dữ liệu, các phép toán quan hệ và khái. vai trò quan trọng trong quá trình ra quyết định của các nhà quản lý. Hiện nay mô hình dữ liệu được sử dụng trong các hệ trợ giúp quyết định phổ biến vẫn là mô hình cơ sở dữ liệu quan hệ (CSDLQH)