phần i mở đầu trang
Giáo trình: Tổng quan về Cơ sở dữ liệu (CSDL)
Ngày tải lên :
15/09/2015, 15:45
... 5) M i khoa có nhiều giáo viên làm việc, giáo viên làm việc cho khoa M i khoa có chủ nhiệm khoa, giáo viên 6) M i giáo viên dạy nhiều học phần không dạy học phần 7) M i sinh viên ph i học nhiều ... thích hợp để biểu diễn lưu giữ liệu Những nhiệm vụ thực trước sở liệu c i đặt phổ biến Ngư i thiết kế có trách nhiệm giao thiệp v i ngư i sử dụng tương lai để hiểu đ i h i họ đưa thiết kế thoả ... có kiểu liên kết thực thể kiểu thực thể NHÂNVIÊN: NHÂNVIÊN NHÂNVIÊN Kiểu thực thể NHÂNVIÊN tham gia hai lần vào kiểu liên kết , lần v i vai trò ngư i giám sát, lần v i vai...
- 115
- 2.6K
- 4
Luận văn về Điều kiện cần tối ưu cấp 2 cho bài toán tối ưu có các ràng buộc đẳng thức và bất đẳng thức
Ngày tải lên :
16/08/2014, 12:06
... đúng: (i) V i i ∈ I( x∗ ), tồn ( i , i ) ∈ Λ(x∗ ) cho i > 0, i (λ∗ , µ∗ ) = p∗ ( i , i ) ∈ Λ(x∗ ) i I( x∗ ) thỏa mãn λ∗ > v i i ∈ I( x∗ ) i (ii) Nón t i hạn C(x∗ ) không gian véc tơ Để thấy i u ... ngữ kiện toán j k1 + + Cho λ1 ,i = 4iF1,j (xi )|F1,j (xi )|2 , λ1 ,i = (λ1 ,i , , λ1 ,i ), λ2 ,i = 4iF2 (xi )|F2 (xi )|2 , λ0 ,i = (1 + |λ1 ,i |2 + |λ2 ,i |2 )−1/2 , λ1 ,i = λ0 ,i λ1 ,i , λ2 ,i = λ0 ,i λ2 ,i ... Nếu λ∗1 > − i2 / i1 ≤ đẳng thức ph i i xảy v i i2 > i u xảy Vì vậy, i1 = tất thành phần khác (λ, µ) triệt tiêu Ta chứng minh (ii) kéo theo (iii): Theo Bổ đề 1.1, (ii) có nghĩa v i toán (P2...
- 47
- 767
- 3
Tài liệu Chương 2: Các cổng logic cơ bản và đại số hàm bool ppt
Ngày tải lên :
13/12/2013, 12:15
... Học viện công nghệ BCVT Khoa Kỹ Thuật i ̣n Tử II CHƯƠNG 2: CÁC CỔNG LOGIC CƠ BẢN VÀ Đ I SỐ HÀM BOOL Các cổng logic bản IC 7408 CỔNG AND Biểu thức: Y=A.B Input Output Ba i giảng ... Thuật i ̣n Tử II CHƯƠNG 2: CÁC CỔNG LOGIC CƠ BẢN VÀ Đ I SỐ HÀM BOOL Các cổng logic bản IC 7404: gồm cổng NOT Y=A Ba i giảng Kỹ Thuật Số A Output Y =A 1 input output Input A Biểu thức: ... hiệu Ba i giảng Kỹ Thuật Số Input Output Biểu thức: 1 Học viện công nghệ BCVT Khoa Kỹ Thuật i ̣n Tử II CHƯƠNG 2: CÁC CỔNG LOGIC CƠ BẢN VÀ Đ I SỐ HÀM BOOL IC 7400 cổng NAND Biểu thức:...
- 68
- 1.4K
- 11
Tài liệu Chương 2:Các cổng logic cơ bản và đại số Boole pot
Ngày tải lên :
22/02/2014, 22:20
... logic đ i số Boole 2.1 Biến đ i số boole • Biến hằng: – Biến đ i số Boole nhận hai giá trò – Các giá trò số thực mà biểu diễn mức i n áp, chúng g i mức logic – Ví dụ: Trong mạch số: Mức logic ... h i • M i thừa số tắc h i g i Maxterm, ký hiệu Mi, i = 0,…2n Ví dụ hàm biến ta có maxterm: 29 Chương 2: Các cổng logic đ i số Boole 2.5 Các phương pháp biểu diễn hàm Boole 2.5.2 Phương pháp đ i ... đ i số 22 Chương 2: Các cổng logic đ i số Boole 2.5 Các phương pháp biểu diễn hàm Boole 2.5.1 Bảng thật Liệt kê tất tổ hợp biến, tổ hợp chưa xác địnhký hiệu X VD1: Lập hàm biến, đầu số bit nhiều...
- 52
- 3.1K
- 63
Kỹ thuật số - Chương 2 Các cổng logic cơ bản và đại số Boole pptx
Ngày tải lên :
01/04/2014, 02:20
... s y ca cỏc bin dng bự hay khụng bự Nu giỏ tr ca bin l thỡ bin s dng bự, nu giỏ tr ca bin l thỡ bin s dng khụng bự Vi n bin cú th to 2n minterm Minterm c ký hiu l mi vi i l giỏ tr ca t hp ... Vi: mi: l minterm th i Fi: l giỏ tr ca hm F tng ng vi minterm th i 26 2.6.2 Biu din bng biu thc i s Dng chớnh tc (chớnh tc tuyn, tng cỏc tớch y ): Vớ d: Suy ra: 27 2.6.2 Biu din bng biu thc i ... i= 0 Mi: l maxterm th i Fi: l giỏ tr ca hm F tng ng vi maxterm th i 30 2.6.2 Biu din bng biu thc i s Dng chớnh tc (chớnh tc hi, tớch cỏc tng y ): Vớ d: Suy ra: 31 2.6.2 Biu din bng biu thc i...
- 47
- 2.1K
- 20
môđun nội xạ, các vành tự nội xạ và đại số frobenius
Ngày tải lên :
02/12/2015, 08:30
... g i phần tử lũy linh tồn n ∈ cho xn = I g i tập nil phần tử I lũy linh, I iđêan R, ta g i I nil i êan I g i tập lũy linh tồn n ∈ cho I n = , I iđêan R, ta g i I i êan lũy linh Tính chất I êan ... đ i số đ i xứng Ngược l i ( A,ψ ) đ i số đ i xứng, v i a i , bi ∈ A ta có: ψ i ( a i bi ) =ψ ( i ( a i bi ) ) =ψ ( i ( a i ) i ( bi ) ) =ψ ( i ( bi ) i ( a i ) ) =ψ ( i ( bi a i ) ) = ψ i ... v i j ≠ i Khi ψ ( xa ) = i ( x ia i ) = v i x i ∈ Ai Vì a i = a = nên ( A,ψ ) đ i số Frobenius Ngược l i ( A,ψ ) đ i số Frobenius, đặt ψ i =ψ i i : Ai → A phép nhúng tắc Khi rõ ràng ( Ai...
- 54
- 431
- 0
Môđun nội xạ, các vành tự nội xạ và đại số frobenius
Ngày tải lên :
19/08/2016, 09:41
... g i phần tử lũy linh tồn n ∈ cho xn = I g i tập nil phần tử I lũy linh, I iđêan R, ta g i I nil i êan I g i tập lũy linh tồn n ∈ cho I n = , I iđêan R, ta g i I i êan lũy linh Tính chất I êan ... t i đ i 1.5.2 Vành Artin Vành R g i vành Artin tr i (ph i) R Artin xem R – môđun tr i (ph i) N i cách khác, vành R g i vành Artin tr i (ph i) i u kiện sau thỏa mãn: + M i dây chuyền giảm i êan ... g i vành địa phương có i êan ph i t i đ i 1.17.2 Mệnh đề V i vành R, phát biểu sau tương đương: (i) R vành địa phương (ii) Nếu a ∈ R a – a khả nghịch (iii) R có i êan tr i t i đ i (iv) radR i êan...
- 20
- 200
- 0
Mô hình quan hệ, các ràng buộc quan hệ và đại số quan hệ
Ngày tải lên :
29/09/2013, 11:20
... (tiếp) I I I Có ba phép n i g i n i tr i (left outer join), n i ph i (right outer join) n i đầy đủ (full outer join), ký hiệu tương ứng là: =1, 1< =1< Phép n i tr i giữ l i quan hệ bên tr i R ... thứ hai (thuộc tính thừa) i u kiện n i Định nghĩa chuẩn n i tự nhiên đ i h i hai thuộc tính n i (hoặc cặp thuộc tính n i) ph i có tên hai quan hệ B i giảng sở liệu - Nguyễn H i Châu T i liệu tham ... Miền, thuộc tính, bộ, quan hệ I I I I I Một miền D tập hợp giá trị nguyên tố, nghĩa giá trị miền phân chia phạm vi mô hình quan hệ Để đặc tả miền, ngư i ta tên, kiểu liệu khuôn dạng liệu Một...
- 14
- 1K
- 7
Phân tích các dạng chuẩn hoá dữ liệu trong mô hình quan hệ và một số thuật toán
Ngày tải lên :
25/04/2013, 13:29
... tốt nghiệp Nguyễn Văn Giang - Nạp liệu vào sở liệu b Cập nhật liệu: - Bổ sung liệu vào sở liệu, - Lo i bỏ liệu kh i sở liệu, - Sửa liệu sở liệu c Khai thác liệu sở liệu - Tìm kiếm thông tin theo ... n i tệp liệu v i tảng xây dựng nên phép toán quan trọng khác Trang2 8 Luận văn tốt nghiệp Nguyễn Văn Giang II.3.5 Phép chiếu r tệp liệu n cột Kí hiệu i1 ,i2 , ip(r) phép chiếu lên tệp liệu r Ở i1 ,i2 , ... t i tiểu quan hệ r CHƯƠNG III: CÁC DẠNG CHUẨN HOÁ DỮ LIỆU III.1 ĐẶT VẤN ĐỀ Việc chuẩn hoá thông tin quan hệ sơ đồ quan hệ, đóng vai trò quan trọng việc gi i toán thông tin quản lý máy tính Việc...
- 60
- 2.5K
- 3
Tài liệu Đề Bài: Tìm hiểu hỗ trợ của USE về định nghĩa các metamodel và các ràng buộc OCL để đảm bảo tính đúng đắn (wellformedness) của các mô hình pdf
Ngày tải lên :
15/02/2014, 16:20
... Company Tiền i u kiện hậu i u kiện – pre & post condition: Tiền i u kiện hậu i u kiện ràng buộc liên kết t i phương thức phân lo i lớp Mục đích tiền i u kiện rõ i u kiện ph i có trước ... Association: Vai trò Classifier(AssociationEnd) ph i có tên quan hệ liên kết(Association) Nhiều có AssociationEnd tập hợp Nếu quan hệ liên kết(Association) có hay nhiều AssociationEnd AssociationEnd ... AssociationEnd tập hợp thành phần Các Classifier ứng v i AssociationEnd tham gia kết n i ph i nằm không gian tên quan hệ liên kết(Association) Ngữ cảnh AssociationClass: Tên AssociationEnds...
- 26
- 628
- 1
Tài liệu Báo cáo "Phát triển các hệ thống tin học quản lý theo mô hình ERP trong các doanh nghiệp tại Việt Nam " ppt
Ngày tải lên :
25/02/2014, 16:20
... [12] T i liệu gi i thiệu Công ty cổ phần phát triển phần mềm Asia [9] [13] http://www.itgvietnam.com/luoc-su-phat-trien-cac-he-thong-phan-mem-quan-ly-4/ B i viết: Lịch sử phát triển hệ thống phần ... Management Information System: A Managerial End User Perspective, Second Edition, Irwin Thomas F.Wallace Michael H.Kremzar (2001), ERP - Making It Happen Nguyễn Văn chức - Trường Đ i học Kinh tế Đ i học ... Information Systems: Transforming Business and Management Liaquat Hossain, Jon David Patrick, M.A.Rashid, Enterprise Resource Planning Global Opportunities & Challenges, page 16 O'Brien, James...
- 3
- 1.2K
- 5
MÔ HÌNH KHUNG HỆ THỐNG QUẢN LÝ CHẤT LƯỢNG THEO TIÊU CHUẨN QUỐC GIA TCVN ISO 9001:2008 CHO CÁC LOẠI HÌNH CƠ QUAN HÀNH CHÍNH NHÀ NƯỚC THUỘC VÀ TRỰC THUỘC TỔNG CỤC HẢI QUAN doc
Ngày tải lên :
18/06/2014, 18:20
... H i quan đảm bảo đáp ứng tiêu chí: (i) có tính phổ biến, (ii) có tần xuất thực cao, liên quan nhiều t i ngư i dân doanh nghiệp; (iii) thuận l i cho việc xây dựng MHK giúp cho CQHCNN dễ dàng việc ... công việc N i dung Phần gồm hai lo i t i liệu chính: - T i liệu hướng dẫn trình bày quy trình xử lý công việc: T i liệu xây dựng v i mục đích hướng dẫn cho CQHCNN biết yêu cầu hệ thống t i liệu ... việc, c i cách phương thức làm việc v i mục tiêu hướng t i h i lòng tổ chức, công dân có liên quan; xây dựng HTQLCL công việc quan để giảm phiền hà, nhũng nhiễu, minh bạch hóa quy trình giải...
- 5
- 823
- 1
Các ngôn ngữ dữ liệu đối với mô hình quan hệ pps
Ngày tải lên :
10/08/2014, 21:20
... diện đồ hoạ truy vấn I. Student I ID Name Suburb KEY I Y N N TYPE I CHAR(5) CHAR(30) CHAR(30) DOMAIN I Sid SName Surb INVERSION I Y N N 44 22 Định nghĩa liệu QBE (2) Các khung nhìn I. View V I ... i u kiện nhiều thuộc tính i u kiện trường tính toán tập hợp Ví dụ: đưa danh sách thành phố có nhiều sinh viên Student ID Name _id Suburb G.P Condition COUNT._id > 41 Các thao tác thay đ i liệu ... Student I ID ID 1179 David Evry Sửa đ i Student ID 1179 Name Suburb U.Paris 42 21 Tính đầy đủ QBE Có thể biểu diễn phép toán đ i số sở (,,,\,x) 43 Định nghĩa liệu QBE sử dụng qui cách giao...
- 41
- 448
- 0
nghiên cứu đề xuất mô hình quản lý khai thác các hệ thống cấp nươc sạch nông thôn tỉnh yên bái
Ngày tải lên :
03/10/2014, 11:18
... b c u im ca ging o: thun tin, d s dng, cú th s dng vt liu v lao T ng ti a phng nờn tit kim c chi phớ xõy dng, phự hp vi iu kin kinh t, t nhiờn nhiu vựng nụng thụn nc ta giai on hin Nhc im: Khụng ... THI GIAN QUA 27 T 2.1 Kh i quỏt v iu kin kinh t - xó hi tnh Yờn B i 27 T T 2.1.1 iu kin t nhiờn 28 T T 2.1.2 iu kin kinh t xó hi 29 T T 2.1.3 Ti nguyờn ... ngi giu nht l 78% Cỏc cng ng dõn tc thiu s sinh sng vựng cú t l cp nc v v sinh thp nht i vi nhng ngi dõn v cng ng dõn c khụng cú nc sch v gi th i quen sinh hot mt v sinh, cho dựng iu kin kinh...
- 91
- 1.1K
- 2
Các ngôn ngữ dữ kiệu đối với mô hình quan hệ
Ngày tải lên :
12/10/2014, 17:04
... khung nhỡn I. View V I. Student I ID Name KEY I Y N I CHAR(5) CHAR(30) CHAR(30) DOMAIN I Sid SName Surb INVERSION I Y N ID I _id Suburb Name _name Course _course N TYPE I N Student ID _id Name _name ... c s d liu Tng quan ng dng logic toỏn vo CSDL Nhc li v logic toỏn Biu thc logic: nhn giỏ tr NG hoc SAI Bin: i lng bin thiờn giỏ tr Hng: i lng khụng i Hm: ỏnh x t giỏ tr vo hp gm giỏ tr hoc ... ph cú nhiu hn sinh Condition viờn _id G.P COUNT._id > G ~ Grouping Cỏc thao tỏc thay i d liu Xoỏ Student D ID Name Suburb Name Cú th biu din c phộp toỏn i s c s (,,,\,x) Suburb 1108 Bi tp:...
- 15
- 484
- 0
Slide: Bài giảng: Các ngôn ngữ dữ liệu đối với mô hình quan hệ
Ngày tải lên :
27/02/2015, 10:33
... sở liệu Tổng quan Ứng dụng logic toán vào CSDL Nhắc l i ề logic toán Nhắ l i l i t Biểu thức logic: nhận giá trị ĐÚNG SAI Biến: đ i lượng biến thiên miền giá trị Hằng: đ i lượng không đ i Hàm: ... ID Name Suburb KEY I Y N N TYPE I CHAR(5) CHAR(30) CHAR(30) DOMAIN I Sid SName Surb INVERSION I Y N N 55 Định nghĩa liệu QBE (2) Các khung nhìn I. View V I ID I _id Student ID _id Name _name Name ... thành phố số lượng sinh viên đến từ thành phố Student ID Name _id Suburb G.P P.COUNT._id G ~ Grouping 51 Hộp i u kiện Được sử dụng để biểu diễn i u kiện nhiều thuộc tính i u kiện trường tính toán...
- 45
- 470
- 0
Phát triển các hệ thống tin học quản lý theo mô hình ERP trong các doanh nghiệp tại Việt Nam
Ngày tải lên :
25/03/2015, 10:00
... nghiệp Việt Nam chi tiết Lập trình Kiểm thử Bàn giao Thiết kế kiến trúc tổng thể Thiết kế mức thành phần Thiết kế giao diện Khách hàng nhận xét Kết giai đoạn bao gồm: Bản thiết kế chi tiết ... triển hệ thống tin học quản lý theo mô hình ERP doanh nghiệp Việt Nam MỞ ĐẦU Việc h i nhập kinh tế toàn cầu mở kỷ nguyên cho doanh nghiệp nước Song để làm i u đ i h i doanh nghiệp ph i h i nhập ... th i kỳ hoàng kim ERP, tất công ty đa quốc gia đ i đa số công ty nước phát triển triển khai ERP Đầu kỷ 21 gi i bắt đầu n i nhiều đến bước phát triển tiếp ERP mà ERM ERM: Tuy gần v i ERP cách viết...
- 88
- 584
- 0
“Lựa chọn mô hình quản lý khai thác các hệ thống cấp nước sinh hoạt nông thôn trên địa bàn tỉnh Lào Cai
Ngày tải lên :
23/05/2015, 10:58
... Cai” Đ i tƣợng phạm vi nghiên cứu a Đ i tượng nghiên cứu Đ i tượng nghiên cứu đề t i mô hình quản lý khai thác hệ thống công trình cấp nước sinh hoạt nông thôn địa bàn tỉnh miền n i biên gi i ... góp phần nâng cao hiệu trình đầu tư, phù hợp v i i u kiện cụ thể vùng nông thôn miền n i Lào Cai bền vững trình khai thác phục vụ phát triển kinh tế xã h i địa phương N i dung luận văn Ngo i phần ... Lào Cai Sau 20 năm t i lập tỉnh đến nay, kinh tế ph i đ i đầu v i nhiều khó khăn, thách thức lớn Tuy nhiên quan tâm Đảng, Nhà nước v i nhiều sách đầu tư cho miền n i, vùng dân tộc thiểu số v i đạo...
- 108
- 1.7K
- 8
Tìm hiểu các phụ thuộc bao hàm trong mô hình quan hệ và ứng dụng vào việc chuyển đổi sang mô hình EER
Ngày tải lên :
15/12/2015, 12:16
... kh i niệm, tiếp đến giai đoạn thiết kế mô hình logic, cu i giai đoạn thiết kế CSDL vật lý Việc chuyển đ i mô hình EER thành mô hình quan hệ thuộc giai đoạn thiết kế mô hình logic từ mô hình kh i ... ph i thuộc khoa trường M i sinh viên có mã số sinh viên nhất, không trùng v i sinh viên trường M i học viên ph i đăng ký vào lớp học trường M i học viên thi t i đa lần cho môn học Tổng số học viên ... đặt đ i tượng gi i thực 4 Chẳng hạn sinh viên ph i có mã sinh viên nhất, hai thí sinh dự thi vào trường ph i có số báo danh khác nhau, sinh viên dự thi môn học không lần,… Nhiệm vụ ngư i phân...
- 79
- 618
- 0