... loại {C} K {HDEABC} Version 1.0 – 10/2005 UTE Hưng Yên 14 Bài tập Lý thuyết CSDL quan hệ Biên so n: Bộ môn Công nghệ phần mềm Thử loại bỏ {D} khỏi K, Ta có: K = {HEABC} K+ = {HEABCDG} Do K+ ≠ U ... Bước 3: Duyệt phụ thuộc hàm kiểm tra xem có dư thừa không, dư thừa thì xoá Lưu ý: Trình tự bước KHÔNG THỂ thay đổi !!! Version 1.0 – 10/2005 UTE Hưng Yên Bài tập Lý thuyết CSDL quan hệ Biên so n: ... (BH)+ = {BHEFDAKC} có chứa C - B Không dư thừa (AH)+ = {AHD} không chứa C - H không dư thừa (AB)+ = {ABD} không chứa C Version 1.0 – 10/2005 UTE Hưng Yên Bài tập Lý thuyết CSDL quan hệ Biên so n:...
Ngày tải lên: 19/08/2013, 09:35
... số quan hệ Câu 3: Tìm số hóa đơn mua lúc sản phẩm có mã số “SP01” “SP02” Viết SQL: SELECT SOHD FROM CTHD WHERE MASP=’SP01’ AND SOHD IN (SELECT SOHD FROM CTHD WHERE MASP=’SP02’) Viết Đại số quan ... HOADON, ∃c ∈ CTHD/ h.SOHD=c.SOHD Hoặc ∀h ∈ HOADON, Count(c.SOHD) >=1 với ∀c∈CTHD/ c.SOHD=h.SOHD Bối cảnh: HOADON, CTHD Bảng tầm ảnh hưởng: Thêm Xóa Sửa HOADON + - - CTHD - + + (SOHD) 19 Phần 3: ... lương ∀n1,n2 ∈ NHANVIEN: n1.HESO=n2.HESO -> (n1.MUCLUONG = n2.MUCLUONG) Bối cảnh: NHANVIEN Bảng tầm ảnh hưởng: Thêm NHANVIEN Xóa Sửa + - + (MUCLUONG,HESO) 17 Phần 3: RBTV Câu 4: Ngày nhân...
Ngày tải lên: 05/07/2014, 10:38
Giáo trình lý thuyết cơ sở dữ liệu
... gán 2N phép so sánh (N phép so sánh hết đường chạy N phép so sánh hết dãy) + Ở lần trộn run phải thực hiện: N phép gán 2N+N/2 phép so sánh (N phép so sánh hết đường chạy, N phép so sánh hết dãy ... xếp phương pháp đếm (counting sort), - Sắp xếp phương pháp đổi chỗ (exchange sort), - Sắp xếp phương pháp chọn lựa (selection sort), - Sắp xếp phương pháp chèn (insertion sort), - Sắp xếp phương ... toán xếp bọt (bubble sort), - Thuật toán xếp lắc (shaker sort), - Thuật toán xếp giảm độ tăng hay độ dài bước giảm dần (shell sort), - Thuật toán xếp dựa phân hoạch (quick sort) Ở trình bày hai...
Ngày tải lên: 31/08/2012, 16:45
Bài tập lý thuyết cơ sở dữ liệu
... loại {C} K {HDEABC} Version 1.0 – 10/2005 UTE Hưng Yên 14 Bài tập Lý thuyết CSDL quan hệ Biên so n: Bộ môn Công nghệ phần mềm Thử loại bỏ {D} khỏi K, Ta có: K = {HEABC} K+ = {HEABCDG} Do K+ ≠ U ... Bước 3: Duyệt phụ thuộc hàm kiểm tra xem có dư thừa không, dư thừa thì xoá Lưu ý: Trình tự bước KHÔNG THỂ thay đổi !!! Version 1.0 – 10/2005 UTE Hưng Yên Bài tập Lý thuyết CSDL quan hệ Biên so n: ... (BH)+ = {BHEFDAKC} có chứa C - B Không dư thừa (AH)+ = {AHD} không chứa C - H không dư thừa (AB)+ = {ABD} không chứa C Version 1.0 – 10/2005 UTE Hưng Yên Bài tập Lý thuyết CSDL quan hệ Biên so n:...
Ngày tải lên: 19/08/2013, 09:39
GIÁO TRÌNH LÝ THUYẾT CƠ SỞ DỮ LIỆU - NGÔ THÀNH LONG
... Nhap mon tin hoc COSC1310 COSC3320 MATH2410 COSC3380 Diem 17 17 8 8 112 119 85 92 102 135 10 10 TOAN Co so du lieu MaKH CNTT Toan roi rac MaSV CNTT Cau truc du lieu KQua CNTT SVien Ten MaSV Nam Khoa Son Bao ... dẫn theo quan hệ PTH f suy dẫn từ tập PTH F theo quan hệ (hoặc PTH f suy dẫn theo quan hệ từ tập PTH F) ký hiệu F |- f, với quan hệ r lược đồ R mà F thõa mãn quan hệ f thỏa mãn r • Định lý 2.1: ... (0,n) Duoc quan ly boi (0,1) * Thuộc tính mối quan hệ • Thuộc tính mối quan hệ mô tả tính chất cho mối quan hệ • Thuộc tính gắn liền với thực thể tham gia vào mối quan hệ (0,n) NHANVIEN (1,n) DUAN...
Ngày tải lên: 21/08/2013, 08:48
LÝ THUYẾT CƠ SỞ DỮ LIỆU
... quan hệ để dễ nhận thức trao đổi • Mô hình quan hệ: Là cách thức biểu diễn liệu dạng bảng /quan hệ, dựa lý thuyết toán học, đại số tập hợp mà có sở lý thuyết vững • Từ điển liệu : Mô tả nội dung ... bắc cầu vào khoá Để chuẩn hoá hệ lược đồ quan hệ ta xét quan hệ kiểm tra tính chuẩn 1.2.8 Phép phân rã sơ đồ quan hệ Là việc thay sơ đồ quan hệ tập sơ đồ quan hệ tương ứng với Mục đích phép phân ... diện quan hệ + Phân bố hết thuộc tính + Vẽ sơ đồ khái niệm liệu 1.3.2 Kiểm so t chuẩn hóa mô hình - Chuẩn hoá mô hình - Tạo thêm thực thể - Biến quan hệ thành thực thể - Xoá quan hệ - Phân tách quan...
Ngày tải lên: 22/10/2013, 17:20
Lý thuyết cơ sở dữ liệu
... cương giảng : Lý thuyết sở liệu Bởi: Khoa CNTT ĐHSP KT Hưng Yên Phiên trực tuyến: < http://voer.edu.vn/content/col10283/1.2/ > Hoc lieu Mo Vietnam - Vietnam Open Educational Resources Tài liệu ... Mô hình quan hệ, buộc quan hệ 4.1 Mô hình quan hê, buộc quan hệ1 Mô hình quan hệ Ted Codd đưa vào năm 1970 gây ý tức khắc tính đơn giản sở toán học Mô hình quan hệ sử dụng khái niệm quan hệ toán ... lược đồ quan hệ sử This content is available online at 29 30 CHƯƠNG BÀI 4: MÔ HÌNH QUAN HỆ, CÁC RẰNG BUỘC QUAN HỆ dụng để mô tả quan hệ, R gọi tên quan hệ...
Ngày tải lên: 23/10/2014, 13:54
Bài tập lý thuyết cơ sở dữ liệu
... http://creativecommons.org/licenses/by/3.0/ Module: Tìm khóa tối thiểu lược đồ quan hệ Các tác giả: Nguyễn Minh Quý URL: http://www.voer.edu.vn/m/112d363a Giấy phép: http://creativecommons.org/licenses/by/3.0/ ... đóng góp Tài liệu: Bài tập lý thuyết Cơ sở liệu Biên tập bởi: Nguyễn Minh Quý URL: http://voer.edu.vn/c/6769da44 Giấy phép: http://creativecommons.org/licenses/by/3.0/ Module: Tìm bao đóng tập thuộc ... http://www.voer.edu.vn/m/b3ec7dcc Giấy phép: http://creativecommons.org/licenses/by/3.0/ Module: Tìm phủ tối thiểu tập phụ thuộc hàm Các tác giả: Nguyễn Minh Quý URL: http://www.voer.edu.vn/m/8cc2e09a...
Ngày tải lên: 28/11/2014, 11:50
Đề cương bài giảng lý thuyết cơ sở dữ liệu
... 4: Mô hình quan hệ, buộc quan hệ Mô hình quan hê, buộc quan hệ Mô hình quan hệ Ted Codd đưa vào năm 1970 gây ý tức khắc tính đơn giản sở toán học Mô hình quan hệ sử dụng khái niệm quan hệ toán ... 40/177 Cơ sở liệu quan hệ lược đồ sở liệu quan hệ Ở trên, nói đến lược đồ quan hệ đơn lẻ quan hệ đơn lẻ Một sở liệu quan hệ thường gồm nhiều quan hệ với giá trị quan hệ liên kết với theo nhiều cách ... dựng sở có sở lý thuyết lý thuyết tập hợp logic vị từ bậc Trong chương nói đặc trưng mô hình, ràng buộc chúng tập hợp phép toán mô hình quan hệ Các khái niệm mô hình quan hệ Mô hình quan hệ biểu...
Ngày tải lên: 28/11/2014, 12:08
LÝ THUYẾT VỀ KHO DỮ LIỆU VÀ LÝ THUYẾT KHAI PHÁ DỮ LIỆU.DOC
... Microsoft Decition trees, Microsoft Clustering, Microsoft Linear Regression, Microsoft Logistic Regression, Microsoft Naive Bayes, Microsoft Neural Network, Microsoft Sequence Clustering, Microsoft ... văn trình duyệt giúp cho người quản lý, lãnh đạo xem để đưa định Báo cáo đưa nhiều dạng khác nhau: HTML, Web(server), Doc, Excel, Pdf, Image Hoặc đưa liệu lên Server để Server trực tiếp Connect ... III: KẾT QUẢ NGHIÊN CỨU Nắm lý thuyết kho liệu(DataWareHouse-DW) lý thuyết khai phá liệu(DataMining) 1.1 Kho liệu: Có thể nói gọn nghành tin học ba từ lưu trữ, xử lý khác thác thông tin Về mặt...
Ngày tải lên: 24/08/2012, 22:06
Một số lý thuyết cơ bản dành cho người quản lý tài chính!
... quản lý tài sản tài Các định có liên quan tới khả toán (solvabilité) khả sinh lợi (rentabilité) DANH MỤC TÀI SẢN TÀI CHÍNH VÀ THỊ TRƯỜNG TÀI CHÍNH Lý thuyết tài doanh nghiệp phần mở rộng theo ... chủ sở hữu LÝ THUYẾT CHUNG VỀ GIÁ TRỊ Mỗi khoản đầu tư ban đầu thời điểm t0 thực với hy vọng có khoản thu giai đoạn liên tiếp (ví dụ niên khoản ) giá trị lại tn (valeur résiduelle) lý vào cuối ... chóng tiếp thu kiến thức cung cấp viết tài doanh nghiệp Các lý thuyết sở tư cho nhiều định kinh tế kiến thức quan trọng chuyên ngành quản lý kinh tế khác ...
Ngày tải lên: 24/10/2012, 16:39
346 Tổng kết lý thuyết, cơ sở lý luận về quá trình chuyển đổi cơ cấu kinh tế nông nghiệp, nông thôn
Ngày tải lên: 01/04/2013, 18:00
Tài liệu Chương 0: Lý thuyết cơ sở (3T) docx
... x Y6 =x1 x2 Hàm ho c Y7 1 Hàm piec Y8 0 Y8 = x x Hàm d u Hàm o x1 Hàm kéo theo x1 Hàm o x2 Hàm kéo theo x2 Hàm cheffer Hàm n v Y9 1 Y9= x Hàm ho c lo i tr x1 x2 Ng 1 1 Y15 = Y7 = x1 + x2 x2 ... kh n ng sau : t ng logic ngh ch o logic Tích logic 0.3 nh lý -tính ch t -h s c b n c a i s logic: 0.3.1.1 .Quan h gi a hs 0 =0 Ng i biên so n: Lâm T ng c - Nguy n Kim Ánh c ng chi ti t môn h c i ... xác nh “x” + tích quan tr ng : tích c c ti u hàm có giá tr b ng “1” tich ex : cho hàm f(x1,x2,x3) có L = 2,3,7 (tích quan tr ng ) N =1,6 (tích c c ti u ) có th ánh d u theo nh phân ho c th...
Ngày tải lên: 24/12/2013, 11:17
Tài liệu Tự Động Đo Lường - Lý thuyết cơ sở docx
... đảo logic Tích logic Biên so n: Lâm Tăng Đức - Nguyễn Kim Ánh Chương 0: Lý thuyết sở Bộ môn Tự Động Đo Lường – Khoa Điện ∞ Định lý - tính chất - hệ số đại số logic: 0.2.1 Quan hệ hệ số: 0 = 0 = ... cực tiểu bước Ei : Là tập tích quan trọng Được thực theo thụât toán sau: Biên so n: Lâm Tăng Đức - Nguyễn Kim Ánh 13 Bộ môn Tự Động Đo Lường – Khoa Điện Chương 0: Lý thuyết sở Bắt đầu Cho hàm với ... phụ) Tín hiệu cảm biến Biên so n: Lâm Tăng Đức - Nguyễn Kim Ánh 15 Chương 0: Lý thuyết sở Bộ môn Tự Động Đo Lường – Khoa Điện thấp xe cao có xe đèn giao thông kiểm so t theo quy luật sau: a) Đèn...
Ngày tải lên: 21/01/2014, 02:20
Tài liệu Lý thuyết cơ sở điều khiển tự động (P4) docx
... the Absolute Magnitude of the Error ) J IAE = +∞ ∫ e(t ) dt Tiêu chuẩn ISE (Integral of the Square of the Error) +∞ J ISE = ∫ e (t )dt Tiêu chuẩn ITAE (Integral of Time multiplied by the Absolute ... Tùy theo số khâu tích phân lý tưởng có hàm truyền G(s)H(s) mà hệ số Kp, Kv, Ka có giá trò sau: Nhận xét: Muốn exl hệ thống tín hiệu vào hàm nấc hàm truyền G(s)H(s) phải có khâu tích phân lý tưởng ... ưu theo chuẩn ITAE c(t) Hệ bậc Hệ bậc Hệ bậc Hệ bậc t 20 March 2006 © H T Hồng - ÐHBK TPHCM 32 Quan hệ đặc tính tần số chất lượng miền thời gian 20 March 2006 © H T Hồng - ÐHBK TPHCM 33 Quan...
Ngày tải lên: 21/01/2014, 04:20
Tài liệu Lý thuyết cơ sở điều khiển tự động (P5) pptx
... Chương THIẾT KẾ HỆ THỐNG ĐIỀU KHIỂN LIÊN TỤC 10 April 2006 © H T Hồng - ÐHBK TPHCM Nội dung chương Khái niệm Ảnh hưởng khâu hiệu chỉnh đến chất lượng hệ thống Thiết kế hệ thống dùng phương ... chỉnh PID: làm nhanh đáp ứng độ tăng bậc vô sai hệ thống 10 April 2006 © H T Hồng - ÐHBK TPHCM 19 So sánh khâu hiệu chỉnh PD PI PID 10 April 2006 © H T Hồng - ÐHBK TPHCM 20 Thiết kế hệ thống điều...
Ngày tải lên: 21/01/2014, 04:20
Tài liệu Lý thuyết cơ sở điều khiển tự động (P6) ppt
... tín hiệu liên tục theo thời gian thành tín hiệu rời rạc theo thời gian * x (t) x(t) Biểu thức toán học mô tả trình lấy mẫu: X * ( s) = T x(t) +∞ ∑ x(kT )e − kTs k =0 Đònh lý Shannon f = ≥ fc ... Đối tượng c(t) cht(kT) A/D Cảm biến “Máy tính số” = thiết bò tính toán dựa sở kỹ thuật vi xử lý (vi xử lý, vi điều khiển, máy tính PC, DSP,…) Ưu điểm hệ thống điều khiển số: Linh hoạt Dễ dàng áp ... Hồng - ÐHBK TPHCM Khâu giữ liệu Khâu giữ liệu khâu chuyển tín hiệu rời rạc theo thời gian thành tín hiệu liên tục theo thời gian Khâu giữ bậc (ZOH): giữ tín hiệu số thời gian hai lần lấy mẫu...
Ngày tải lên: 21/01/2014, 04:20
Tài liệu Lý thuyết cơ sở điều khiển tự động (P7) docx
... an−1 z + an = Bảng Jury: gồm có (2n+1) hàng Hàng hệ số PTĐT theo thứ tự số tăng dần Hàng chẳn (bất kỳ) gồm hệ số hàng lẻ trước viết theo thứ tự ngược lại Hàng lẽ thứ i = 2k+1 (k≥1) gồm có (n−k+1) ... Thời gian độ theo tiêu chuẩn 5%: cxl = 0.624 Trước tiên ta cần xác đònh kqđ thỏa: ε = 5% = 0.05 (1 − ε )cxl ≤ c(k ) ≤ (1 + ε )cxl , ∀k ≥ kqđ ⇔ 0.593 ≤ c(k ) ≤ 0.655, ∀k ≥ kqđ Theo kết tính đáp ... 0.635 cxl = 0.625 ⇒ cmax − cxl POT = 100% = 1.6% cxl Thời gian độ theo chuẩn 5%: (1 − 0.05)cxl ≤ c(k ) ≤ (1 + 0.05)cxl , ∀k ≥ kqđ Theo đáp ứng hệ thống: 0.594 ≤ c(k ) ≤ 0.656, ⇒ k qđ = ⇒ ∀k ≥ tqđ...
Ngày tải lên: 21/01/2014, 04:20