xây dựng hệ thống hỏi đáp trong học cộng tác

... lý ó c chng minh 1.3.4 Quan h Armstrong v phự a Quan h Armstrong Trong mụ hỡnh CSDL quan h cỏc quan h Armstrong l mt cỏc i tng c quan tõm nhiu Quan h Armstrong cho Ê no cỏc ph thuc hm l mt ... MT VI KấT QU Vấ' QUA N H ARMSTRONG TRONG LP CC PTBDTQ Trong [35] cỏc tỏc ga a iu kin cn v mt quan h l quan h Armtrong i vi I v nờu hai : hay xõy dng quan h Armstrong cho I cỏc PTBDTQ v hóy ... ph nh Chng IV, 84 CC QUAN H ARMSTRONG V PH Cỏc quan h Armstrong lp cỏc ph thuc lụgic dng a tr IV, 1.1 Cỏc khỏi nim 94 94 Trang IV 1.2 S tn ti cựa cỏc quan h Armstrong IV.2 Ph lp cỏc ph thuc lụgic...

Ngày tải lên: 25/03/2015, 09:43

... tháng Từ ràng buộc đó, để tránh dư thừa liệu ta tách quan hệ KHOÁHỌC thành quan hệ KH1, KH2, KH3, KH4 sau: Bảng 2.2 Một phân tách tự nhiên quan hệ KHOÁHỌC KH2: 24 Họ tên GVGD HS Lương Lê Hoàng 1.82 ... phân tách giúp người thiết kế tạo lược đồ mong muốn Chẳng hạn, xét quan hệ KHOÁHỌC với ràng buộc: Số ĐVHT khóa học mãi không thay đổi Số HV khóa học không thay đổi ngày Họ tên GVGD cho khóa học ... 17/10/05 Trong đó: Mã KH mã khóa học, Số ĐVHT số đơn vị học trình khóa học, Họ tên GVGD họ tên giáo viên tham gia giảng dạy vào thời điểm đó, HS Lương hệ số lương giáo viên thời điểm đó, Số HV số học...

Ngày tải lên: 21/10/2014, 03:14

... chuẩn hệ sở liệu Dễ thấy Fr tập tất phụ thuộc hàm r 1.3 Hệ tiên đề Armstrong Năm 1974, Armstrong bốn đặc trưng cho tập phụ thuộc hàm file liệu Chúng gọi hệ tiên đề Armstrong Định nghĩa (Hệ tiên ... pháp: Bước 1: Từ tập quan hệ r = {h 1, h2, , hm} xây dựng tập Er hệ r theo định nghĩa: Er = { Eij : ≤ i < j ≤ m } Trong Eij = { a ∈ R : hi(a) = hj (a) } Bước 2: Từ tập Er xây dựng tập M M = { B ∈ ... Bước1: Từ r ta xây dựng tập Er: Er = { Eij : ≤ i < j ≤ m } Trong Eij = { a ∈ R : hi(a) = hj (a) } Bước2: Từ Er xây dựng tập M M = { B ∈ P(R): Tồn Eij ∈ Er : Eij = B } Bước3: Từ M xây dựng tập Mr...

Ngày tải lên: 20/07/2015, 17:04

... lược Một hệ thống phát độc lập có hiệu không cao mà cần phải có tích hợp với hệ thống khác Các phương pháp tích hợp điển hình tích hợp với hệ quản trị sở liệu (thông qua giao diện hỏi đáp) , tích ... điều thách thức không hệ thống máy trạm, mà hệ thống siêu máy tính Do đó, sở liệu ngày lớn lên khả hỗ trợ phân tích định cách truy vấn truyền thống thực 18 Một nhược điểm hệ thống quản lý thông ... tạo tối ưu danh mục đầu tư danh mục hệ thống thương mại Những vấn đề thuộc vào lĩnh vực đầu tư tài Xây dựng hệ thống thương mại sử dụng mô hình tập thô nhiều học giả nghiên cứu ứng dụng Có thể...

Ngày tải lên: 30/11/2015, 16:40

... cỏc khỏi ni ó ỡnh d r ờn mụ hỡnh ờn c Mụ hỡnh CSDL h i vi cỏc khỏi ni ừi c ỡnh CSDL h l ỡv ừ, nú cũn gi gi l c hi ỡnh ny ờn c ỡnh nghiờn c li [34], c Mazumdar v Mazumdar [9] D -3- trờn khỏi ni ... trờn, lu ct : Ph ỡnh by khỏi quỏt v th m, cỏc phộp toỏn kh c t t ng ỡnh by c mụ hỡnh c li mụ hỡnh l gi hai cỏch bi theo gi D thi o cỏc nghiờn c ng ờn quan h ng i cỏc ki khỏi ni thu ỏc d ng , xõy ... Trong ph , chỳng tụi gi li ỡnh CSDL h b ỡnh ny cho phộp ta thi th cỏc m lm mụ hỡnh ỡv ti n hnh cỏc nghiờn c nú Ngoi ra, vi s d ừ, d li 1.2 Thụng tin khụng hon h ỡnh húa CSDL M ờn c tri khỏi...

Ngày tải lên: 04/12/2013, 13:45

... logic đƣợc từ tập phụ thuộc hàm F hệ tiên đề Amstrong X → Y không thỏa mãn quan hệ r(R) Giả sử, X → Y không suy diễn logic đƣợc từ F hệ tiên đề, ta xây dựng quan hệ r cho phụ thuộc hàm F thỏa mãn ... 62 MỞ ĐẦU Lý chọn đề tài Để xây dựng đƣợc hệ thống cở sở liệu tốt, ngƣời ta thƣờng sử dụng mô hình liệ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ể ... c) Phép kết nối Cho hai quan hệ r(U) s(V) Đặt M=U∩V Phép kết nối(tự nhiên) hai quan hệ r(U) s(V), ký hiệu r*s, cho ta quan hệ đƣợc dán từ u quan hệ R với v quan hệ S (sao cho trị miền thuộc tính...

Ngày tải lên: 11/09/2015, 08:41

... thuc hm l nhng mi quan h gia cỏc thuc tớnh CSDL quan h Khỏi nim v ph thuc hm cú mt vai trũ rt quan trng vic thit k mụ hỡnh d liu Mt trng thỏi ph thuc hm ch rng giỏ tr ca mt thuc tớnh c quyt 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 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 ... toỏn d liu Cú th biu din cu trỳc cỏc ph thuc kt ni (jd) bi siờu (bypergraph) .Trong mi liờn quan vi cỏch biu din ny cú khỏi nim acyclic phõn loi ph thuc kt ni 208) nh ngha 1.17[1] 209) Mt siờu th...

Ngày tải lên: 11/09/2015, 09:11

... dependency in this scene The soundness and completeness of the set of axioms, which is similar with Amstrong's axioms in the traditional relational database, will be proved in this section In Section ... functional dependencies F involving only attributes in U The inference rules, which similar with Amstrong's axioms are: FFD1 : Reflexivity FFD2: Augmentation FFD3: Transitivity If Y ~ X then X ~ Y...

Ngày tải lên: 25/03/2014, 20:22

... khác Mỗi hệ quản trị sở liệu hệ thống quản lý điều hành tệp liệu Trang6 Luận văn tốt nghiệp Nguyễn Văn Giang Trong trình thiết kế xây dựng hệ quản trị sở liệu, người ta tiến hành xây dựng mô ... thiết kế xây dựng hệ thống thông tin quản lý, cần xử lý tệp (tệp ) liệu, tệp bao gồm nhiều ghi ( record ) có cấu trúc xác định Đồng thời, ghi phân chia thành trường liệu Mỗi sở liệu hệ thống tệp ... liệu hệ quản trị sở liệu [6] Tổng quát có định nghĩa sau : Cơ sở liệu: Là khối liệu phản ánh thông tin lưu trữ hệ thống theo cấu trúc gọi tắt sở liệu ( CSDL ) Hệ quản trị sở liệu: Là hệ thống...

Ngày tải lên: 30/04/2015, 09:52

Ngày tải lên: 28/05/2015, 09:36

... mối quan hệ kết Nếu tập thực thể có giá trị Min/Max (0,1): + Xem khóa tập thực thể khóa quan hệ biểu diễn mối quan hệ kết quả, + Xây dựng quan hệ Ngược lại, xây dựng quan hệ Khóa cho quan hệ là: ... diễn mối quan hệ định danh, với thuộc tính khóa riêng (các thuộc tính khóa phận/khóa lủng lẳng) Quan hệ đơn nguyên Nếu mối quan hệ nhiều-nhiều: + Xây dựng quan hệ biểu diễn mối quan hệ Trong trường ... Mối quan hệ biểu diễn liên hệ kiểu thực thể mà hệ thống cần quản lý Thể mối quan hệ thể kiểu thực thể tham gia vào mối quan hệ Thuộc tính mối quan hệ: Các thuộc tính mô tả thể mối quan hệ Bậc mối...

Ngày tải lên: 15/12/2015, 12:16

... quan hệ Từ việc xây dựng ràng buộc TFD đối tượng phức theo cách tiếp cận J Wijsen, phần thực việc hình thức hóa khái niệm mô hình liệu quan hệ truyền thống, đồng thời chứng tỏ FD truyền thống ... dựa quan hệ hai gọi quan hệ thời gian với nhân thời gian cho trước biểu diễn tập N số nguyên dương {1, 2, 3, …} Định nghĩa 2.1 (Quan hệ thời gian) Một tập N ⊗ N gọi quan hệ thời gian Trong đó: ... cách tiếp cận J Wijsen mô hình quan hệ truyền thống, chứng minh cách tiếp cận mở rộng phụ thuộc hàm truyền thống (FD) Theo đó, mục báo này, trình bày việc xây dựng TFD mô hình liệu hỗ trợ đối tượng...

Ngày tải lên: 23/07/2014, 00:21

... thông qua xu hướng chủ đạo sau đây: - Xu hướng thứ nhất, xu hướng có tác động sâu sắc thay đổi khoa học - công nghệ Khoa học công nghệ có vai trò định lợi cạnh tranh tốc độ phát triển quốc gia - Xu ... thực dụng tràn vào ngõ ngách gia đình cộng đồng, nhiều bất chấp quan hệ tình cảm truyền thống Trong trình hội nhập văn hoá, Việt Nam phải giải mối quan hệ chằng chéo văn hoá nông nghiệp lâu ... tiền tệ quốc tế IMF, WB tổ chức phát triển khác hệ thống liên hợp quốc Chúng ta cố gắng cải cách quản lý kinh tế, bao gồm lĩnh vực pháp lý xây dựng chế thị trường có quản lý nhà nước theo định...

Ngày tải lên: 20/03/2013, 08:34

... Đó tác động trở lại xã hội tự nhiên , định hớng phát triển tự nhiên Nhng, dù có vai trò khác nhau, hai yếu tố tự nhiên xã hội hợp thành hệ thống Tự nhiên - xã hội Sự thống hệ thống đợc xây dựng ... quan hệ sản xuất - phải thay đổi đợc chế độ xã hội thống trị: chế độ t chủ nghĩa, hệ thống không bóc lột ngời, mà vơ vét tự nhiên cách ghê gớm nhằm đem lại lợi ích tối đa Về lý luận, chủ nghĩa cộng ... ngời thực đợc điều 1.2 Quan hệ xã hội với tự nhiên: Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Tự nhiên xã hội có mối quan hệ khăng khít .Trong tác động qua lại chúng,...

Ngày tải lên: 05/04/2013, 11:46

... Mỗi hệ quản trị sở liệu hệ thống quản lý điều hành tệp liệu Trong trình thiết kế xây dựng hệ quản trị sở liệu, người ta tiến hành xây dựng mô hình liệu Mô hình liệu phải thể chất mối quan hệ liệu ... thiết kế xây dựng hệ thống thông tin quản lý, cần xử lý tệp (tệp ) liệu, tệp bao gồm nhiều ghi ( record ) có cấu trúc xác định Đồng thời, ghi phân chia thành trường liệu Mỗi sở liệu hệ thống tệp ... liệu hệ quản trị sở liệu [6] Tổng quát có định nghĩa sau : Cơ sở liệu: Là khối liệu phản ánh thông tin lưu trữ hệ thống theo cấu trúc gọi tắt sở liệu ( CSDL ) Hệ quản trị sở liệu: Là hệ thống...

Ngày tải lên: 25/04/2013, 13:29

... phản xạ Hãy sai lầm chứng minh II Quan hệ ngợc quan hệ hợp thành Cho R S lần lợt quan hệ cha chị đợc xác định tập hợp ngời (còn sống chết) Hãy mô tả xác quan hệ sau a R-1 e R oR-1 b S-1 f SoS c ... nhng R2 phản xạ 20 *Cho R quan hệ đối xứng Chứng minh R n có tính chất đối xứng với n Bài tập Toán học rời rạc III Quan hệ tơng đơng 21 Cho A tập không rỗng R quan hệ tơng đơng A Chứng minh tồn ... quan hệ tất cặp số nguyên dơng đợc cho ((a,b),(c,d)) R a + d = b + c Chứng minh R quan hệ tơng đơng 23 Cho R quan hệ tất cặp số nguyên dơng đợc cho ((a,b),(c,d)) R ad = bc Chứng minh R quan hệ...

Ngày tải lên: 06/09/2013, 10:50

... hệ Miền-thuộc tính Ràng buộc quan hệ CSDL quan hệ Các loại ràng buộc Phép toán quan hệ Chuyển đổi ER-quan hệ Phụ thuộc hàm Thiết kế CSDL 22 / 54 Các ràng buộc quan hệ, lược đồ sở liệu quan hệ ... nên từ tên quan hệ R danh sách thuộc tính A1 , A2 , , An Dom(Ai ) miền giá trị Ai Cấp quan hệ số thuộc tính lược đồ quan hệ Một quan hệ r (hoặc trạng thái quan hệ) lược đồ quan hệ R(A1 , A2 , ... trị quan hệ có liên kết đến quan hệ khác phải liên kết đến giá trị tồn quan hệ Tài liệu tham khảo Mở đầu Khái niệm Mô hình ER Mô hình quan hệ Miền-thuộc tính Ràng buộc quan hệ CSDL quan hệ Các...

Ngày tải lên: 29/09/2013, 11:20

... lược đồ quan hệ Nguyên tắc (Ngữ nghĩa thuộc tính quan hệ: ): Thiết kế lược đồ quan hệ cho dễ giải thích ý nghĩa Không nên tổ hợp thuộc tính từ nhiều kiểu thực thể kiểu liên kết vào quan hệ đơn Nguyên ... thường cập nhật): Thiết kế lược đồ quan hệ sở cho không sinh dị thường cập nhật quan hệ Nguyên tắc (Các giá trị không xác định bộ): Tránh xa tốt việc đặt vào quan hệ sở thuộc tính mà giá trị chúng ... quan hệ cho chúng nối với điều kiện thuộc tính khoá khoá theo cách đảm bảo không sinh “giả” Bài giảng sở liệu - Nguyễn Hải Châu Tài liệu tham khảo Mở đầu Khái niệm Mô hình ER Mô hình quan hệ Phụ...

Ngày tải lên: 29/09/2013, 11:20

... Lun tõ vµ c©u Nèi c¸c vÕ c©u ghÐp b»ng quan hƯ tõ I- NhËn xÐt T×m c©u ghÐp ®o¹n trÝch sau: (1) Trong hiƯu c¾t tãc, anh c«ng nh©n I-va-nèp ®ang chê tíi l­ỵt m×nh th× cưa phßng l¹i më, mét ng­êi ... Lun tõ vµ c©u Nèi c¸c vÕ c©u ghÐp b»ng quan hƯ tõ I- NhËn xÐt T×m c©u ghÐp ®o¹n trÝch sau: (1) Trong hiƯu c¾t tãc, anh c«ng nh©n I-va-nèp ®ang chê tíi l­ỵt m×nh th× cưa phßng l¹i më, mét ng­êi ... Lun tõ vµ c©u Nèi c¸c vÕ c©u ghÐp b»ng quan hƯ tõ I- NhËn xÐt X¸c ®Þnh c¸c vÕ c©u tõng c©u ghÐp Trong hiƯu c¾t tãc, anh c«ng nh©n I-va-nèp ®ang chê tíi l­ỵt m×nh VÕ c©u th× cưa phßng l¹i më, mét...

Ngày tải lên: 24/11/2013, 03:11