Luận văn
B HÀN LÂM KHOA H VI V N GHIÊN C HÀM D LU HÀ N - 2013 À CÔN G N GH B HÀN LÂM KHOA H À CÔN G N GH VI V N GHIÊN C CÁC PH HÀM D Chuyên ngành: B VÀ CÁC H N G TÍN H TOÁN Mã s LU PGS.TS H HÀ N - 2013 L ình nghiên c chung v ã lu b Tác gi V L Lu h àn thành t Hàn lâm Khoa Cơng ngh ình nghiêm kh PGS.TS h PGS.TS H ên c Nhân d kính tr ày, tác gi quí Th Tác gi su ghiên c ịng bi Cơ ành c ph ày t theo ãnh Thông tin, B Phịng ch tin ã t ình h Tác gi ên c Ban ch – Tin ã quan tâm, giúp hồn thành nhi S ên c sóc, gánh vác ph gi t công vi h B M h Cu ùng, tác gi ên, giúp ành viên ình c ên c c V ày, m ình ch xin dâng t trai u q ày t ịng bi àn thành lu ã ày M M i Danh m iv B v Danh sách b vi Danh sách hình v vii M - - - 1.1 Gi .- - 1.2 Thơng tin khơng hồn h 1.2.1 Thơng tin sai l ình hóa CSDL - - - - 1.2.2 Thơng tin khơng xác - 1.2.3 Thông tin không ch 1.3 T phân b - - - - 10 - 1.3.2 Các phép toán t - 11 - 1.3.2.1 Các phép toán t - 11 - 1.3.2.2 Các phép toán quan h - 11 1.3.2.3 Các phép toán logic - 16 - 1.4 Mơ hình c - 16 - 1.4.1 - 16 - 1.4.2 L - 18 - 1.4.3 M - 19 - 1.4.4 Các phân c - 23 - 1.4.4.1 Phân c ên - 24 - 1.4.4.2 Phân c àm - 24 - 26 - 1.4.5 Mơ hình l - 26 - 1.4.6 Bi 1.5 K - 27 - - 30 i 2: Ph d c - 31 2.1 Ph àm m lu 2.1.1 S c 2.1.2 Ph - 31 - giá tr thu - 31 - àm m - 33 - 2.1.3 Tách thu h 2.1.4 Các lu ên ph 2.1.5 Khóa c àm m - 34 àm m - 35 - - 36 - 2.2 Ph - 37 - 2.3 Phép tách l - 38 - 2.4 Chu - 39 - 2.4.1 Các d - 39 - 2.4.1.1 D - 40 - 2.4.1.2 D - 41 - 2.4.1.3 D - 42 - 2.4.2 Chu - 43 - 2.4.2.1 Thu - 43 - 2.4.2.2 Thu - 46 - 2.4.2.3 Thu - 48 - 2.5 S c - 50 - 2.5.1 S c 2.5.2 S ùng m c - 50 - 51 - 2.6 Truy v - 52 - 53 - 2.6.1.1 Các m - 53 - 2.6.1.2 Các phép toán k - 55 - 2.6.2 Giá tr - 57 - 2.6.2.1 M 2.6.2.2 M - 57 k t nh - 58 - 2.6.2.3 M - 59 - 2.6.2.4 M - 59 - ii 2.6.3 Ví d - 61 - 2.7 K - 62 3: Ph - 64 3.1 Gi - 64 - 3.2 M - 65 - 3.2.1 Các khái ni - 65 - 66 - 3.2.3 Quan h - 67 - 3.2.4 Phép k n m 3.3 Ph - 68 - - 70 - 3.4 Quan h - 73 - 3.5 Các d - 76 - 3.6 Các FOFD không chu phân nhánh - 81 - 3.7 Các lu - 83 - 3.8 Các lu àn c - 84 - 3.8.1 Lu - 85 - 3.8.2 Lu - 86 - 3.8.3 Lu - 87 - 3.8.4 Lu - 90 - 3.8.5 Lu - 91 - 3.8.6 Lu - 94 - 3.9 K K Danh m Tài li - 95 - 96 cơng trình c - 97 - - 98 - iii Danh m High Chi Fuzzy association algebra Semantic inclusion degree àm ng Fuzzy object schema Graph Fuzzy schema Graph Support Giá tr Truth value H Kernel K Fuzzy association Không gian ng Semantic space L Superclass L Subclass M Fuzzy association pattern M Binary relationship ên M Inheritance relationship M Object/Class relationship M Fuzzy association relationship M Fuzzy aggregation relationship M Fuzzy generalization relationship Phân c Fuzzy inheritance hierarchy Ph Fuzzy functional dependency àm m Resemblance relation Quan h iv B CSDL (Database) ODMG (Object Database Management Group) Nhóm qu ch ngơn ng ình ODMG OID (Object Identifier) OODB (Object Oriented Database) FOODB (Fuzzy Object Oriented Database) SQL (Structured Query Language) gm Ngôn ng N F2 (Non-First Normal Relational Database Mô hình d Model ) 1NF FOFD (Fuzzy Object Functional Dependency) Ph UML (Unified Modeling Language) Ngôn ng FON F (Fuzzy Object Normal Form) D quan h khơng v ình h Danh sách b B 1.1 M 13 B 3.1 M 68 B 3.2 Các quan h 69 B M Rext(O3) Rext(r2) 71 B M f 78 B Các quan h FOFD phân nhánh 83 B : Quan h B M B fo 87 M 90 90 vi N r ì SEa (t1 [G' ], t [G' ]) ³ SEar (t1 [D' ], t [D' ]) f G' r r SEa ( GÅj )' (t1[(G Å j )' ], t2 [(G Å j )' ]) ³ SEa ( DÅj )' (t1[(D Å j )' ], t2 [(D Å j )' ]) ãn y j Í attr(O), t - f’ c D' ìD D Åj = í ỵD È j ên j, v WR WR’ ch neáu $Oi Ỵ D, Oi = O "Oi Ỵ D, Oi O neỏu $Oi ẻ G, Oi = O ìG G Å j = í ỵ G Èj neỏu "Oi ẻ G, Oi O ờn, f ì f’ c c th r r SEa ( GÅj )' (t1[(G Å j )' ], t2 [(G Å j )' ]) ³ SEa ( DÅj )' (t1[(D Å j )' ], t2 [(D Å j )' ]) N O Ï Vf , m O m O Î Vf O cho m ày tr Có th m ày t Gf ’ d jn j Í attr(O) Các b fo ’fo, -j / giá tr -j cho t b Ví d 3.8 s vào c D G, n , WR’ Ngoài ra, v ành b ph GS Rfo R’fo khác thu p thu m ki O p-m Gf Vì v ki pt b ìj null êm ì f’ f y Lu f nhiên, m f’ f j tham chi th c íd Ví d Gf m v ext(O1) = {(1, [{1.0/a, 0.7/b, 0.6/c}])}; ext(r1) = {(1,2)}; ext(O2) = {(2, [{7.0/a, 1.0/b, 0.7/c}]), (3,[{0.7/a, 0.8/b, 1.0/d})} ; ext(r2) = {(2, 4)}; ext(O3) = {(4, [{0.6/a, 0.6/b, 1.0/c}]} - 88 - Cho FOFD g1: {A} ắ f ắđ {C g2: {A, B} ắ f ắđ {C,B} nh Gg Gg ch tr m IdO1 A IdO2 IdO3 C {1.0/a, 0.7/b, 0.6/c} {0.6/a, 0.6/b, 1.0/c} :M B IdO1 A IdO2 B IdO3 C {1.0/a, 0.7/b, 0.6/c} {0.7/a, 1.0/b, 0.7/c} {0.6/a, 0.6/b, 1.0/c} {0.7/a, 0.8/b, 1.0/d} ^ ^ ^ ^ : M B N j m m ách b f sung m c hai v l F Í Ds có th õ ràng, m t -F (c c ãn ày bao hàm lu ã ên Các lu ã ên ch FOFD t suy d Gf1 Gf2 Gf1 Gf2’ àm b ã trình bày ên, chúng tơi ch ên c chu trình, ình C Gf1 Gf2 r phi chu trình ên (các àm b FOFD ph phi chu trình) c Gf1 Gf2 ãn n Gf1 Gf2 ày ên quy - 89 - v ên thông khác Gf1 Gf2 l 3.8.4 Lu Các v ã c Hai ên c m nhánh có th i ày có th hi Xột FOFD g1: {B,C} ắ f ắđ {D} v g2: {B, C} ắ f ắđ {O1} c Gg Hỡnh 3.6 Rõ ràng, giao c c Gg1 Gg2, bao g ên thông Chúng ta d r2 g Gg m O2, O3 àng ch g1 g2 ón nh {O1, D g: {B, C} ắ f ắđ Gg g1 g2 ãn Vì v gi Cho f i : D ¾ f Gi , i ẻ {1,2} l hai FOFD v ắđ V G fi b, f : D ắ f G1 G2 ắđ m s(S) n G fi th f2 s(S) B ì tên thu ìv ki àm b ãn c D) c ành nhãn cho th f1 tr t t àn b D gi ng ãn c Gf1 Gf2 f2 nh tr tr hay f N Gf1 Gf2, chúng không ngu G1 = {g 1.1 , g 1.2 , , g 1.m } , G2 = {g 2.1 , g 2.2 , , g 2.k } , suy ra: G1 Å G2 = {(g 1.1 Å g 2.1 ), (g 1.2 Å g 2.2 ), , (g 1.i Å g 2.i ), g 1.i +1 , g 1.i + , , g 2.i + s , g 2.i +1 , g 2.i + , , g 2.i +l } , f1, f2 có i ki ch s – i) ki f1 có (l – i) ki N f2 ì " t Ỵ NF(Rfo, D’), t Ỵ f1 f2 NF(R1fo, D’) ho t Ỵ NF(R2fo, D’) - 90 - Ngồi ra, " t1, t2 Ỵ NF(Rf, D’), SEar ( G1 Å G2 )' (t1 [(G1 Å G2 )' ], t [(G1 Å G2 )' ]) = r r min(SEa ( g1.1Åg 2.1 )' (t1[(g 1.1 Å g 2.1 )' ], t2[(g 1.1 Å g 2.1 )' ]), , SEa ( g1.i Åg 2.i )' (t1[(g 1.i Å g 2.i )' ], t2 [(g 1.i Å g 2.i )' ]), r r r SEa g '1.i+1 (t1[g '1.i +1 ], t [g '1.i +1 ]), , SEa g '1.i + s (t1[g '1.i + s ], t [g '1.i + s ]), SEa g '2.i+1 (t1[g '2.i +1 ], t2 [g '2.i +1 ]), , SEarg '2.i +l (t1[g '2.i + l ], t2 [g '2.i + l ]) ), r r SEa ( g1 j Åg j )' (t1[(g j Å g j )' ], t2[(g j Å g j )' ]) = min(SEa g '1 j (t1[g '1 j ], t2[(g '1 j ]), r SEa g '2 j (t1[g '2 j ], t2[(g '2 j ])), j = i r r SEa ( G1 Å G2 )' (t1 [(G1 Å G2 )' ], t [(G1 Å G2 )' ]) = min( min(SEa g '1.1 (t1[g '1.1 ], t2 [(g '1.1 ]), r r r , SEa g '1.i (t1[g '1.i ], t2 [g '1.i ]), SEa g '1.i+1 (t1[g '1.i +1 ], t [g '1.i +1 ]), , SEa g '1.i+ s (t1[g '1.i + s ], t2 [g '1.i + s ]), r r r min(SEa g ' (t1[g '2.1 ], t2 [g '2.1 ]), , SEa g ' (t1[g '2.i ], t2 [g '2.i ]), SEa g ' 2.1 i i +1 (t1[g '2.i +1 ], t2 [g '2.i +1 ]), , r r r SEa g '2.i +l (t1[g '2.i + l ], t [g '2.i + l ])) = min(min(SEa g '1 j (t1[g '1 j ], t2 [(g '1 j ]), SEa g '1.i +1 (t1[g '1.i +1 ], t2 [g '1.i +1 ]), r r r , SEa g '1.i+ s (t1[g '1.i + s ], t2 [g '1.i + s ])), min(SEa g '1 j (t1[g '1 j ], t2 [(g '1 j ]), SEa g '2.i +1 (t1[g '2.i +1 ], t [g '2.i +1 ]), , r SEa g ' i + l (t1[g '2.i + l ], t [g '2.i + l ])) Do f1 f ên: r r r min(SEa g '1.1 (t1[g '1.1 ], t2 [(g '1.1 ]), , SEa g '1.1 (t1[g '1.1 ], t2 [(g '1.1 ]), SEa g '1.i +1 (t1[g '1.i +1 ], t2 [g '1.i +1 ]), , r r SEa g '1.i+ s (t1[g '1.i + s ], t2 [g '1.i + s ])) ³ SEa G ' (t1[D' ], t2 [D' ]); r r r min( SEa g '1.1 (t1[g '2.1 ], t2 [(g '2.1 ]), , SEa g '2.i (t1[g '2.i ], t2 [(g '2.i ]), SEa g '2.i+1 (t1[g '2.i +1 ], t2 [g '2.i +1 ]), , r r SEa g '2.i +l (t1[g '2.i + l ], t2 [g '2.i + l ])) ³ SEa G ' (t1[D' ], t2 [D' ]) V r r SEa ( G1ÅG2 )' (t1[(G1 Å G2 )' ], t2[(G1 Å G2 )' ]) ³ SEa D ' (t1[D' ], t2[D' ]) FOFD f 3.8.5 Lu N ình, tính ch àn ánh c FOFD thơng qua lu d ãn tr ình 3.7.a: n g1: {A} ¾ f {O3, E} v g2: {O3, E} ắ f {H} ắđ ¾® Gg Gg ¾® {H g: {A} ¾ f ình 3.7.b, g1 Gg g2 ên, FOFD nh tính ch t g O2 ãn, t à, có th O2 th c mãn c àn ánh ki ên g O1 S gb ì O2 không ph ãn m ki g1 ì g1, g1 g2 thơng qua O2 - 91 - g nh Hình 3.7.a : M /O3 O3 A/ O1 O2 /O3 O3 /H O5 O2 + O4 O2 /H O5 O4 /E A/ O1 /E Hình 3.7.b : M ext(O3) (4,…) ext(O1) ext(O2) ext(O1) (1,…) (2, …) (3,…) (2,…) (1,…) ext(O5) (5,…) ext(O5) (3,…) (6,…) (1,…) ext(O4) Hình 3.7: S S àn ánh c tính ch b mà b àn ánh có th khơng ph tr ìv àn ánh t liên quan : Cho f1: D ¾ f G1 f2: G2 ¾ f F, G1 Í G2, hai FOFD cho ¾® ¾® nh ngh Gf Gf ình M Gu c Gf2 v Gu t g Trong Hình 3.7, Ví d ki O2 M g t g1 g2 Vf2 Ì Vf1 f1 f2 t Gf2 khơng bao ph Gf1), có th t ki t V vi ph Oc àn ánh có th h h m tr àn ánh) Tuy nhiên, v àn ánh s n o hàm FOFD O không ch m O ph - 92 - FOFD th chu trình t ày tham chi giao c àm b c ày, ki O ph nh Cho f1: D ắ f ắđ G v f2: G ắ f ắđ F, D ẩ F ặ, vf1, vf2 l Gf nhãn f1 hàm gán Gf Gf2 f: D ¾ f F FOFD v ắđ f Gf ẻ G ki l cõy-N (D È F) c àm gán nhãn cho Gf neáu O Ỵ N (D ) \ N (F ), v f1 (O ) = (d , g ) neáu O Î N (F ) \ N ( D), v f (O) = (d , g ) (d , Ỉ) ì ï (Ỉ, g ) ï v f (O ) = í (d1 , g ) ï ïkhông xác ủũnh ợ neỏu O ẻ ( N (D) ầ N (F )), v f1 (O) = (d1 , g ), v f (O) = (d , g ) ngược lại b, n V m f2 s(S) -N(D È F) c f ch ph s(S) f -G Gb lá, chúng khơng c -D ho f -F Các n -N(D È F) có th ph àb ì chúng khơng -N(D) -G: O3 O4 c ì G có th -N(F) Ví d ình 3.7 c O2 không c ên, v ùng m f1 v f2 tham chi ài ra, f1 f2 ki ên (n chúng Gf1 c v Gf2 Vì thu G m ên t fo fo ên ph O, O Ỵ G nh -F thơng qua O t Ỵ Rfo ch : - 93 - ên k -D r " t1, t2 Ỵ Rfo ta có, SEar (t1 [F' ], t [F ' ]) ³ SEa (t1[D' ], t [D' ]) b F' (do f2 r r SEa F ' (t1 [F ' ], t [F ' ]) ³ SEa id O (t1 [id O ], t [id O ]) ãn m r r SEa idO (t1 [id O ], t [id O ]) ³ SEa D ' (t1[D' ], t [D' ]) (do f1 th ì D' ãn m V f ãn m 3.8.6 Lu t Các lu t b b ờn Cho f1: D ắ f ắđ G v f2: G Q ắ f ắđ F l cỏc FOFD, D ẩ Q ẩ F ặ, v f , Gf v f2 l hàm gán nhãn f1 Gf2 Ỵ G f: D Å Q ắ f F l FOFD v ắđ h Gf h Gf hàm gán nhãn f f cây-N (D È F È Q) c cho Gf f v2f ì v1f1 (O) O Ỵ N (D ) \ N (F ) ï neáu y ẻ Q,y ẻ sets(O),y ặ, O ẻ ( N (Q) \ N (D )) ï y ï v f (O ) = í v f1 (O) Åy neỏu y ẻ Q,y ẻ sets(O),y ặ, O ẻ ( N (Q) Ç N (D )) ï O Î ( N (F ) \ N (D È Q)) Ỉ ï ngược lại ïkhông xác định ỵ ì v 22 (O) O Ỵ N (F ) f ï v f (O ) = í Ỉ O Î ( N (D È Q) \ N (F )) ïkhông xác định ngược lại ỵ b, n V m f2 s(S) f s(S) ãn d, g hai hàm v1f (O) v (O) l f Lu t nhiên, vi O b ày khơng có kh áp d ình bày Nguyên m ãn m ãn y V c suy d ình bày f : D ắ f {O} cú th ắđ nh Gf m ên, ph chí nh m - 94 - có th di (di ỴD) mà V di ầ OTs = ặ cho ta m ờu chí nh tính c àv giá tr 3.9 K s di àng bu ph thu c ài ra, lu ình bày m vào lu ày, ph t m tr m nh m D a vào tính ch ày ta có th CSDL - 95 - CSDL tính nh ìv K M lu án nghiên c ph m Các k à: 1- Nghiên c mơ hình d phân b gi v Lu hàm m 2- c khái ni ph ch xu ba d thu chu ã ch hóa l 3- D ên thu ành viên c , lu m 4- khái ni hm ph m rong tr bi àng bu d li ki àn v Nh h d Lu ghiên c - Nghiên c thi truy v - Nghiên c ình d giá tr null không áp d - Nghiên c - Xây d - Truy v h th qu th nghi FOODB - 96 - DAN H M C CÁC CƠN G TRÌN H C A TÁC GI C (1) à, V l 321-331 0) 26(4), tr T à, V (2) h d 27(2), tr 131-141 T (3) Ho Cam Ha, Vu Duc Quang (2011), Fuzzy functional dependencies in fuzzy object-oriented databases, Journal of Science of HN UE, 7, pp 23 – 31 (4) Doan Van Ban, Ho Cam Ha, Vu Duc Quang, (2011), Querying Fuzzy Object- Oriented Data based on Fuzzy Association Algebra, Third International Conf on Knowledge and Systems Engineering (KSE2011), Hanoi-Vietnam, IEEE Computer Society Press, pp 40 - 47 à, V (5) g (2012), Ph 28(2), ,T tr 103 - 114 (6) Vu Duc Quang, Doan Van Ban, Ho Cam Ha (2012), A Method of Object Identification Based on Fuzzy Object Functional Dependencies in Fuzzy ObjectOriented Databases, Fourth International Conf on Knowledge and Systems Engineering (KSE2012), DaN ang-Vietnam, IEEE Computer Society Press, pp 46 – 53 (7) V , (2012), Các lu thu Chuyên san Công ngh Thông tin Truy n thông - T p chí Khoa h c K thu t, H c vi n K , S 1, tr - 25 - 97 - TÀI LI Ti [1] B Bouchon, Meunier, H (2007), Logic m àN ình th [2] ình , 15(3), tr 1–7 T [3] , 16(3), tr 7– T [4] Hoàng B Hùng (2007), Truy v àt , Vi Lu Khoa h Công ngh [5] Nguy – Vi (2003), Chu T , 19(2), tr 125 – 130 chí Tin h [6] Lu án ti Vi hông tin – Vi Công ngh Ti [7] Ambler Scott (1997), Building Object Applications That Work, Your Step-By- Step Hand-book for Developing Robust Systems Using Object Technology, Cambridge University Press/SIGS Books, ISBN 0521-64826-2 [8] B S Lee (1995), Normalization in OODB Design, ACM SIGMOD Record, 24(3), pp 23 - 27 [9] Bhattacharjee T K., Mazumdar A K (1998), Axiomatization of fuzzy multivalued dependencies in a fuzzy relational data model, Fuzzy sets and Systems, 96(3) [10] Catriel Beeri, Ronald Fagin, and John H Howard (1997), A complete axiomatization for functional and multivalued dependencies in database relations, - 98 - Proceedings of ACM SIGMOD, pp 47 - 63 [11] Cettell R G G., Barry D K (eds.) (1997) The Object – Oriented Standard: ODMG 2.0, San Francisco, CA: Morgan Kaufmann [12] Cettell R G G., et al (eds.) (2000) The Object – Oriented Standard: ODMG 3.0, San Francisco, CA: Morgan Kaufmann [13] Chen G., Kerre E E (1994), Vandenbulcke J., Fuzzy nornal forms and Dependency – Preserving decomposition into q-F3NF, Proceeding of IEEE World congress on computation Intelligence, USA, pp 156 – 161 [14] Chen G., Kerre E E., Vandenbulcke J (1996), An extended Boyce – Cold normal form in fuzzy relational databases, IEEE, pp 1546 – 1551 [15] Christophe Lécluse, Philippe Richard, Fernando Velez (1988), 02 - an Object- Oriented Data Model, Proceedings of the ACM SIGMOD, 17(3), pp 424 – 433 [16] Dubois D., Prade H and Rossazza J P (1991), Vagueness , typicality, and uncertainty in class hierarchies, International Journal of Intelligent Systems, 6, pp 167-183 [17] Elmasri Navathe, Fundamentals Database Systems (2007), 5th Edition, the United States of America [18] G Bordogna and G Pasi (2001), Graph-based interaction in a fuzzy object oriented database, International Journal of Intelligent Systems, 16, pp 821-841 [19] G Bordogna, G Pasi, and D Lucarella (1999), A fuzzy object-oriented data model for managing vague and uncertain information, International Journal of Intelligent Systems, 14, pp 623-651 [20] G Bordogna, Gabriella Pasi (2000), Recent Issuse on Fuzzy Databases, Physica- Verlag Heidelberg N ew York [21] George R., Srikanth R., Petry F E and Buckles B P (1996), Uncertainty management issues in the object-oriented data model, IEEE Transactions on Fuzzy Systems, 4(2), pp 179-192 [22] GShaw, S.Zdonic (1990), A object algebra for Object-Oriented databases, In Proc 6th Int Conf on Data Engineering, pp 154 – 162 - 99 - [23] Gyseghem N V and de Caluwe R (1998), Imprecision and uncertainty in UFO databasemodel, Journal of the American Society for Information Science, 49(3), pp 236-252 [24] Gillian Dobbie, Toward Normalization on Object-oriented databases, Technical Report CS-RS-96/16 [25] H J Klein and J Rasch (1997), Functional Dependencies for Object Databases: Motivation and Axiomatization, Institut für Informatik und Praktische Mathematik, Universität Kiel, Technical Report 9706 [26] H.J Klein and J Rasch, (1997), Value base identification and Functional Dependencies for Object Databases, Processdings of the Third International Basque Workshop on Information Technology (BIWIT 97), Biarritz France, IEEE Computer Society Press, pp 22 - 32 [27] Ho Cam Ha (2002), An Approach to extending the relational database model for handling incomplete information, Proceedings of the third international conference on intelligent technologies and third VietN am-Japan symposium on fuzzy systems and applications InTech/VJFuzzy, pp 109 - 115 [28] K D Schewe and B Thalheim (1993), Fundamental Concepts of Object- Oriented Databases, Acta Cybernetica, 11(1-2), pp 49 - 83 [29] Khodorkovsky V V (2002), On Normalization of Relations in Databases, Programming and Computer Software, N auka Interperiodica, 28 (1), pp 41 - 52 [30] Li Yan, Zongmin Ma (2009), Inheritance Hierarchies in Fuzzy Object-Oriented Databases, WASE International Conference on Information Engineering, IEEE Computer Society Press, pp 583 – 586 [31] M Lacroix and A Pirotte (1976), Generalized Joins, ACM SIGMOD Record, 29(2), pp 15-16 [32] M Umano, T Imada, I Hatono, and H Tamura (1998), Fuzzy object-oriented databases and implementation of its SQL-type data manipulation language, Proceedings of the 7th IEEE International Conference on Fuzzy Systems, 2, pp 1344 - 1349 [33] M.Carey, D.Dewitt, S.Vandenberg (1988), A data model and query language - 100 - for EXODUX, In Proc ACM SIGMODE Int Conf on Management of Data, pp 413 – 423 [34] Raju K V S V N at el (1988), Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems, ACM TODS, 13(2) [35] Roland R Wagner, Helmut Thoma (1996), Database and expert systems applications, 7th International Conference, DEXA 96, pp 500 – 509 [36] S Abiteboul and J Van den Bussche (1995), Deep Equality Revisited, Proc 4th Intl Conf on Deductive and Object-Oriented Databases, Singapore, Lecture N otes in Computer Science 1013, Springer-Verlag, pp 213 – 228 [37] S.Cluet, C.Delobe1 (1992), A general framework for the optimization of Object-Oriented queries, In Proc ACM SIGMOD Int Conf on Managemeet of Data, pp 383 – 392 [38] Selee Na and Seg Park (1996), A Fuzzy Association Algebra based on A fuzzy Object Oriented Data Model, IEEE, pp 276 – 281 [39] Sozat M I, Yazici A (2001), A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations, Fuzzy Sets and Systems, pp 161 - 183 [40] Stanley Y.W.Su, Mingsen Guo, Herman Lam (1993), Association Algebra : A Mathematical Foundation for Object- oriented Databases, IEEE Tran on Knowledge and Data Engineering, (5), pp 775 – 798 [41] Tari Zahir, Stokes John (1997), Spaccapietra Stefano: Object Normal Forms and Dependency Constraints for Object-Oriented Schemata, ACM Transactions on Database Systems, 22(4), pp 513 - 569 , [42] , Martin Šebek, Martin Molhanec (2009), Normalization rules of the object-oriented data model, Proc Intl Workshop on Enterprises & Organizational Modeling and Simulation, Amsterdam- Netherlands [43] Yazici, A., Soysal, A., Buckles, B P and Petry, F E (1999), Uncertainty in a nested relational database model, Data & Knowledge Engineering, 30(3), pp 275 - 301 - 101 - [44] Yonghui Wu, Zhou Aoying, (2001), Research on Normalization Design for Complex Object Schemes, Info-Tech and Info-Net, Proceedings of ICII, Beijing, 5, pp 101 - 106 [45] Zadeh L A (1965), Fuzzy sets, Information and Control, 8(3), pp 338 – 353 [46] Zadeh L A (1978), Fuzzy sets as a Basis for theory of possibility, Fuzzy sets and Systems, 1, pp – 28 [47] Zicari R and Milano P (1990), Incomplete information in object-oriented databases, ACM SIGMOD Record, 19 (3), pp 5-16 [48] Zongmin Ma (2005), Advances in Fuzzy Object-Oriented Databases Modeling and application, Idea Group Publishing [49] Zongmin Ma (2005), Fuzzy Database Modeling with XLM, Springer, N ewYork [50] Zongmin Ma, W J Zhang and W Y Ma (1999), Assessment of data redundancy in fuzzy relational databases based on semantic inclusion degree, Information Processing Letters, 72 (1-2), pp 25-29 [51] Zongmin Ma, W J Zhang, and W Y Ma (2004), Extending object-oriented databases for fuzzy information modeling, Information Systems, 29, pp 421-435 - 102 - ... M m c àn v nghiên c Các v nghiên c ình bày lu Nghiên c ng ki d li Ti thơng tin) gi ình CSDL h theo, nghiên c cd theo phân b ,c ph ph s Nghiên c hóa l c gi v d , nh nh toàn v -4- Nghiên c m ,... (modified fuzzy set) ch -T “r ” ho “ít nhi hàm thu Tuy nhiên, hàm thu cao hàm thu hàm thu d b Các phép toán quan h (1) A »b B n t l c c ,m t Cho F m U hàm thu mF: U [1, 0], ta có lu (1) Lu o (concentration):... N GH VI V N GHIÊN C CÁC PH HÀM D Chuyên ngành: B VÀ CÁC H N G TÍN H TỐN Mã s LU PGS.TS H HÀ N - 2013 L ình nghiên c chung v ã lu b Tác gi V L Lu h àn thành t Hàn lâm Khoa Cơng ngh ình nghiêm