... [54] Trong số môhình này, có ba môhìnhliệu thường sử dụng: môhình phân cấp, môhình mạng môhình quan hệ Đối với ba môhìnhmôhình quan hệ quan tâm Môhình E Codd đề xuất năm 1970 Sở dĩ môhình ... hìnhliệu thích hợp Đã có số loại môhình sử dụng hệ thống sở liệu 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ìnhliệu datalog [53], [54], môhình ... Ambassador PC Cũng theo hướng nghiên cứu môhìnhliệu đề xuất, môhìnhliệu dạng khối [4], [5], [7], Môhìnhliệu xem mở rộng môhìnhliệu quan hệ Trongmôhìnhliệu dạng khối, khái niệm như: khối,...
... generating Armstrong relations and inferring functional dependencies in the relational datamodel, Computers and Mathematics with Applications 26 (4) (1993) 43-55 [10] Demetrovics J., Thi V D., Armtrong ... relation, functional dependencies and strong dependencies, Comput and AI 14 (3) (1995) 279-298 [11] Mannila H., Raiha K J., Design by example: an application of Armstrong relations, J Comput Syst Scien ... Database Syst (1) (1979) 30-59 [3] Beeri C., Dowd M., Fagin R., Staman R., On the structure of Armstrong relations for functional dependencies, J ACM31 (1) (1984) 30-46 [4] Bekessy A., Demetrovics...
... 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ìnhliệu datalog môhình quan hệ Trong số môhìnhmôhình quan hệ môhình đƣợc nhiều nhà khoa học quan tâm ... thuyêt nhà khoa học nghiên cứu môhìnhliệu quan hệ môhìnhliệu khối, luận văn xây dựng “Các hệ tiên đề môhìnhliệu dạng khối” nhằm góp phần hoàn thiện lý thuyết môhìnhliệu dạng khối Mục đích nghiên ... nên môhình khó khăn biểu diễn liệu có tính chất động (phi tuyến) 23 CHƢƠNG 2: MÔHÌNH CƠ SỞ DỮLIỆU DẠNG KHỐI Để mở rộng khắc phục phần nhƣợc điểm môhình quan hệ nói trên, chƣơng đƣa mô hình...
... hàm dạng Fh ) góp phần làm phong phú thêm tính chất môhìnhliệu dạng khối TÀI LIỆU THAM KHẢO Nguyễn Xuân Huy, Trịnh Đình Thắng, Môhình sở liệu dạng khối, Tạp chí Tin học Điều khiển học, T.14, ... hàm môhìnhliệu dạng khối, Báo cáo Hội thảo quốc gia lần thứ “Một số vấn đề chọn lọc Công nghệ Thông tin”, Huế 0507/06/2000 Trịnh Đình Thắng, Một số kết bao đóng, khoá phụ thuộc hàm môhìnhliệu ... chuẩn môhìnhliệu dạng khối, Báo cáo Hội thảo quốc gia lần thứ “Một số vấn đề chọn lọc Công nghệ Thông tin”, (245-251), Nha Trang 0608/06/2002 Trịnh Đình Thắng, Một số kết dạng chuẩn môhình liệu...
... dụng môhìnhliệu thích hợp Ngoài môhình sử dụng hệ thống sở liệu có từ lâu rộng rãi Thế giới như: môhình thực thể - liên kết, môhình mạng, môhình liệu, môhình phân cấp, môhình quan hệ … Trong ... cứu tìm môhình đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc tuyến tính phi tuyến tính nhà nghiên cứu nước quan tâm Một môhìnhmôhìnhliệu dạng khối Môhìnhliệu xem mở rộng môhìnhliệu quan ... đóng môhìnhliệu dạng khối tính chất mở rộng bao đóng môhìnhliệu dạng khối Mục đích nghiên cứu Tìm hiểu khái quát môhìnhliệu dạng khối sau sâu nghiên cứu tính chất mở rộng bao đóng môhình liệu...
... Tp cỏc quy tc ca h tiờn c Armstrong a ( 1974 ) thng c gi l h tiờn Armstrong H tiờn Armstrong^6] Cho R = {Ab A2, A n } l cỏc thuc tớnh, X, Y, z Ê R H tiờn Armstrong cú tớnh cht c bn sau ( ... ca cỏc ph thuc hm F lc R = (id; A , A ,A ) CHNG III : TNH CHT M RễNG CA BAO ểNG TRONG Mễ HèNH D LIấU DANG KHI Trong mụ hỡnh d liu dng khi, cỏc khỏi nim nh khi, lc khi, lỏt ct, cỏc phộp toỏn ... gii nh: mụ hỡnh thc th - liờn kt, mụ hỡnh mng, mụ hỡnh d liu, mụ hỡnh phõn cp, mụ hỡnh quan h Trong nhng nm gn õy, vic nghiờn cu tỡm cỏc mụ hỡnh mi ỏp ng cỏc ng dng phc tp, cỏc c s d liu cú...
... cứu tìm môhình đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc tuyến tính phi tuyến tính nhà nghiên cứu nước quan tâm Một môhìnhmôhìnhliệu dạng khối Môhìnhliệu xem mở rộng môhìnhliệu quan ... 30 CHƯƠNG II: MÔHÌNHDỮLIỆU DẠNG KHỐI Để mở rộng khắc phục phần nhược điểm môhình quan hệ nói trên, chương đưa môhình sở liệu khác gọi môhình sở liệu dạng khối xây dựng mô tả [1], [2], ... tính chất khóa Chương 2: Môhìnhliệu dạng khối Chương 3: Một số tính chất mở rộng khóa môhìnhliệu dạng khối Sau Phụ lục Tài liệu tham khảo CHƯƠNG I MÔHÌNH CÁC DỮLIỆU QUAN HỆ VÀ MỘT SỐ TÍNH...
... tới có số loại môhình sử dụng hệ thống sở liệu 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ìnhliệu datalog môhình quan hệ Trong năm gần đây, ... nghiên cứu nhằm mở rộng môhìnhliệu quan hệ nhiều nhà khoa học quan tâm Theo hướng nghiên cứu môhìnhliệu đề xuất, môhìnhliệu dạng khối Môhìnhliệu xem mở rộng môhìnhliệu quan hệ Đã có số ... cứu môhìnhliệu dạng khối Tuy nhiên việc khai phá liệumôhình dạng khối mẻ Chính lý mà chọn đề tài: “Khai phá liệumôhìnhliệu dạng khối" 6 Mục đích nghiên cứu Trên sở nghiên cứu khai phá liệu...
... -ằ YZW 7, Tớnh tớch ly 1.5.2 H tiờn Armstrong Nm 1974, Armstrong ó ch c bn c trng cho mt ph thuc hm ca mt file d liu no ú Chỳng c gi l h tiờn Armstrong nh ngha 1.5 Cho trc R = {ab a2, , ... E Y 4) (A, A)eY (A, B) e Y, (C, D) e Y => (A u , uD) e Y H qu (Tớnh y cu h tiờn Armstrong) Armstrong ó ch rng, nu Y l mt h f tu ý thỡ tn ti quan h r cho Fr = Y 1 A - > ... thuc tớnh xỏc nh nht quan h Thụng thng mt lc quan h cú th tn ti nhiu khúa Trong s ú, s cú mt khúa c la chn lm khúa chớnh Trong phn ny, a mt s liờn quan n khúa thụng qua ph thuc hm nh ngha 1.10...
... tƣợng, môhìnhliệu datalog môhình quan hệ Trong số môhình có ba môhìnhliệu thƣờng đƣợc sử dụng môhình phân cấp, môhình mạng môhình quan hệ Đối với ba môhìnhmôhình quan hệ đƣợc quan tâm Mô ... thống cở sở liệu tốt, ngƣời ta thƣờng sử dụng môhìnhliệu thích hợp có số môhình đƣợc sử dụng hệ thống cở sở liệu 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 ... cứu nhằm mở rộng môhìnhliệu quan hệ đƣợc nhiều nhà khoa học quan tâm Theo hƣớng nghiên cứu môhìnhliệu đƣợc đề xuất môhìnhliệu dạng khối Môhìnhliệu đƣợc xem mở rộng môhìnhliệu quan hệ Để...
... v Y C x+ T nh ngha x+ ta cú X > Ai, ỏp dng h tiờn Amstrong cho mi i suy X ằ Y nh lut hp 48) Ngc li, gi s ta cú X > Y, ỏp dng h tiờn Amstrong cho mi i ta cú X ằ Ai, AiGY nh lut tỏch, suy Ai ... tớnh) nờn mụ hỡnh ny cha ỏp ng i vi cỏc ng dng phc tp, cỏc c s d liu cú cu trỳc phi tuyn tớnh, Trong nhng nm gn õy, vic nghiờn cu nhm m rng mụ hỡnh d liu quan h ó c nhiu nh khoa hc quan tõm Theo ... rng ca mụ hỡnh d liu quan h hon thin cho lý thuyt v mụ hỡnh d liu dng em ó chn ti PHẫP SUY DN TRONG Mễ HèNH CA D CC LIU PH DNG THUC HM K H I Nhm chng minh tớnh cht cỏc phộp suy dn nh suy...
... ta có CHƯƠNG II: MÔHÌNHDỮLIỆU DẠNG KHỐI Để mở rộng khắc phục phần nhược điểm môhình quan hệ nói trên, chương đưa môhình sở liệu khác gọi môhình sở liệu dạng khối xây dựng mô tả [1], [2], ... khóa môhìnhliệu dạng khối để tính chất khóa môhìnhliệu dạng khối triệt để ngắn gọn TÀI LIỆU THAM KHẢO Tiếng việt 23 [1] Nguyễn Xuân Huy, Trịnh Đình Thắng (1998), “Một số kết khoá môhình sở liệu ... ∈ id, i ∈ {1, 2, , n) X CHƯƠNG III MỘT SỐ TÍNH CHẤT MỞ RỘNG CỦA KHÓA TRONGMÔHÌNHDỮLIỆU DẠNG KHỐI 3.1 Hệ Sperner môhìnhliệu dạng khối Định nghĩa 3.1 Cho lược đồ khối R = (id; A1, A2,…., An),...
... kết, môhìnhliệu mạng, môhìnhliệu phân cấp, môhìnhliệu hƣớng đối tƣợng, môhìnhliệu datalog môhìnhliệu quan hệ Trong số môhìnhliệu có ba môhìnhliệu thƣờng đƣợc sử dụng môhìnhliệu ... cấp, môhìnhliệu mạng môhìnhliệu quan hệ Đối với ba môhìnhmôhìnhliệu quan hệ đƣợc quan tâm Môhình đƣợc E.Codd đề xuất năm 1970 Tuy nhiên quan hệ có cấu trúc phẳng (tuyến tính) nên môhình ... tập đóng môhìnhliệu dạng khối Nhiệm vụ nghiên cứu - Tìm hiểu môhìnhliệu quan hệ giàn giao môhìnhliệu quan hệ giàn giao tập đóng môhìnhliệu dạng khối, tính chất - Tìm hiểu môhìnhliệu dạng...
... B GIO DC V O TO TRNG I HC s PHM H NI ===ÊoCQGa=== CHU QUANG C GIN GIAO CA CC TP ểNG TRONG Mễ HèNH D LIU DNG KHI Chuyờn ngnh: Khoa hc mỏy tớnh Mó s: 60 48 01 01 LUN VN THC S MY TNH ... 2.5 Khoỏ ca lc i vi ph thuc hm F trờn R 45 Kt lun 47 CHNG 3: GIN GIAO CA CC TP ểNG TRONG Mễ HèNH D LIU DNG KHI 49 3.1 nh x úng v gin giao ca cỏc úng mụ hỡnh d liu dng ... mng, mụ hỡnh d liu phõn cp, mụ hỡnh d liu hng i tng, mụ hỡnh d liu datalog v mụ hỡnh d liu quan h Trong s cỏc mụ hỡnh d liu ny thỡ cú ba mụ hỡnh d liu thng c s dng l mụ hỡnh d liu phõn cp, mụ hỡnh...
... ===OÊQG8=== CHU QUANG GIN GIAO CA CC TP ểNG TRONG Mễ HèNH D LIU DNG KHI Chuyờn ngnh: Khoa hc mỏy tớnh Mó s: 60 48 01 01 LUN VN THC s MY TNH ... mng, mụ hỡnh d liu phõn cp, mụ hỡnh d liu hng i tng, mụ hỡnh d liu datalog v mụ hỡnh d liu quan h Trong s cỏc mụ hỡnh d liu ny thỡ cú ba mụ hỡnh d liu thng c s dng l mụ hỡnh d liu phõn cp, mụ hỡnh ... nờn mụ hỡnh ny cha ỏp ng i vi cỏc ng dng phc tp, cỏc c s d liu cú cu trỳc phi tuyn tớnh, 1.9 Trong nhng nm gn õy, vic nghiờn cu nhm m rng mụ hỡnh d liu quan h ó c nhiu nh khoa hc quan tõm Theo...
... Nu X -ằ YZ, z -ằ w v thỡ X -ằ YZW 1.3.2 H tiờn Amstrong[7] Gi R l quan h trờn thuc tớnh u Khi ú vi cỏc thuc tớnh X, Y, z ỗ U ta cú h tiờn Amstrong nh sau: 1- Phn x: Nu Y ỗ X thỡ X -ằ Y 2- Tng ... tớnh v Y C x + T nh ngha x + ta cú X Ai, ỏp dng h tiờn Amstrong cho mi i suy X > Y nh lut hp Ngc li, gi s ta cú X *Y, ỏp dng h tiờn Amstrong cho mi i ta cú X > Aj, AGY nh lut tỏch, suy Ai e x ... Return (Nonredun(G)); End phc thut toỏn: O(np); Trong ú: p l s lng ph thuc hm F, a l s lng thuc tớnh khỏc F, n=ap l di d liu nhp vo 1.6 Kt lun chng Trong chng ny ó trỡnh by mt s cỏc khỏi nim c...
... >Y Nu X > YZ, Z > w v thỡ X YZW 1.3.2 H tiờn Amstrong[7] Gi R l quan h trờn thuc tớnh U Khi ú vi cỏc thuc tớnh X, Y, Z e U ta cú h tiờn Amstrong nh sau: 1- Phn x: Nu Y e X thỡ X > Y 2- Tng ... v Y C x + T nh ngha x + ta cú X > Ai, ỏp dng h tiờn Amstrong cho mi i suy X > Y nh lut hp Nguc li, gi s ta cú X > Y, ỏp dng h tiờn Amstrong cho mi i ta cú X > Ai, AÊY nh lut tỏch, suy Ai Ê x ... Return(Nonredun(G)); End phc thut toỏn: O(np); Trong ú: p l s lung ph thuc hm F, a l s lung thuc tớnh khỏc F, n=ap l di d liu nhp vo 1.6 Kt lun chng Trong chng ny ó trỡnh by mt s cỏc khỏi nim c...
... khái niệm toán học danh sách Khi mô tả mô tả môhình liệu, cần xác định phép toán thực môhình toán học đợc dùng làm sở cho môhìnhliệu Có nhiều phép toán danh sách Trong ứng dụng, thông thờng sử ... với môhìnhliệu (chẳng hạn, môhìnhliệu danh sách, cây, tập hợp, ), lớp phép toán thực môhình đa dạng phong phú Song ứng dụng có số nhóm phép toán đợc sử dụng thờng xuyên Khi xét môhìnhliệu ... danh sách liên kết hai khái niệm hoàn toàn khác Danh sách môhình liệu, đợc cài đặt cấu trúc liệu khác Còn danh sách liên kết cấu trúc liệu, đợc sử dụng để biểu diễn danh sách 3.3.2 Các phép toán...