... hiểu môhình tài liệu [1], [2] Các môhình liệu thểmôhình sử dụng thường xuyên hệ sở liệu thương mại Ba môhình tiếng thuộc loại môhình quan hệ, môhình mạng môhình phân cấp Các môhình mạng ... thị hình ô van đúp (hình II3) 23 Một kiểu thực thểmô tả lược đồ (hoặc mục đích) cho tập thực thể chia sẻ cấutrúc Tập hợp thực thể kiểu thực thể cụ thể nhóm vào tập thực thể gọi thể kiểu thực thể ... thêm vào môhình ER khái niệm làm mở rộng môhình tạo nên môhình ER mở rộng (gọi tắt môhình EER – Enhanced Entity Relationship Model) Môhình EER bao gồm tất khái niệm môhình ER, có khái niệm...
... nón lồi Giả thiết quan hệ sau đúng: • h ∈ C + span{x0 } (nói riêng x0 = 0) • Nón C có số diện hữu hạn Khi đó, cách sử dụng Nhận xét 2.3, ta có σ(x∗ , TC (x0 , h)) = 0, ∀x∗ ∈ NC (x0 ) Chứng minh ... ta áp dụng Định lí 2.1 cho toán Hàm Lagrange toán (2.25) có dạng L(x, y, λ) = λ0 f (x) + λ, F (x) − y , điều kiện (2.3) có dạng ∂L (x0 , F (x0 ), λ) = −λ ∈ −N (F (x0 ), C) ∂y Bằng cách sử dụng ... [8] K không gian véc tơ (i) (1.6) (1.7) kéo theo (1.9), (ii) (1.6) (1.8) kéo theo (1.9) Cóthể thấy rằng, phát biểu (1.7) (1.8) Vì vậy, với không gian véc tơ K, (1.6) kéo theo (1.9) Baccari -Trad[4]...
... II Logic TTL CHƯƠNG 2: CÁC CỔNG LOGIC CƠ BẢN VÀ ĐẠI SỐ HÀM BOOL Trước vào cấutrúc mạch TTL bản, xét số mạch điện có khả thực chức logic cổng logic vi mạch TTL: Cổng DR Bài giảng Kỹ Thuật ... LOGIC CƠ BẢN 2.3.2 Áp dụng bìa Karnough để rút gọn biểu thức logic: Y1 = ∑ BA (1,3) = B A + BA = A Ví dụ: Rút gọn Y1 B A 1 0 1 Bài giảng Kỹ Thuật Số A (gom ô (1,3): B có hai trạng thái nên ... VÀ ĐẠI SỐ HÀM BOOL 2.3.2 Áp dụng bìa Karnough để rút gọn biểu thức logic: Quy tắc rút gọn: -Nhóm 2N ô kế cận đối xứng -Nhóm 2N ô rút gọn N biến - Biến rút gọn biến có hai trạng thái (đảo không...
... đại số Boole 2.5 Các phương pháp biểu diễn hàm Boole Hàm boole có dạng: - Xác định tồn phần:tại tổ hợp biến, hàm có giá trị cụ thể (1 0), VD1 Xác định khơng đầy đủ: vài tổ hợp biến giá trị hàm ... Phương pháp đại số Xét ví dụ có trường hợp tùy đinh Biểu diễn hàm f(A,B,C,D) 31 Chương 2: Các cổng logic đại số Boole 2.6 Rút gọn hàm Boole • Mục tiêu: Sử dụng cổng • Có hai phương pháp • Phương ... đại số Boole 2.4 Các cổng logic • Cổng NOR x z=x+y y x y 0 1 1 z 0 y t z x t t Với NOR có nhiều ngõ vào: Ngõ có ngõ vào Ngõ tất ngõ vào 16 Chương 2: Các cổng logic đại số Boole 2.4 Các cổng logic...
... hai đồng cấu đồng cấu Tích hai đơn cấu (toàn cấu, đẳng cấu) đơn cấu (toàn cấu, đẳng cấu) Đồng cấu f đơn cấu Kerf = (0) Nếu f : M → M′ đẳng cấu f −1 : M′ → M đẳng cấu Nếu f : M → M′ toàn cấu M Kerf ... 1.8 Mô un đơn, mô un nửa đơn 1.8.1 Định nghĩa mô un đơn (mô un bất khả qui) R – mô un M gọi mô un đơn (hay mô un bất khả qui) M có hai mô un tầm thường (0) M 1.8.2 Định nghĩa mô un nửa đơn R – mô un ... Đồng cấu f gọi toàn cấu f đồng thời toàn ánh Nếu f vừa đơn cấu vừa toàn cấu f gọi đẳng cấu 1.2.2 Tính chất Cho f : M → M′ đồng cấu Khi N mô un M f ( N ) mô un M’, N’ mô un M’ f −1 ( N′ ) mô un...
... hai đồng cấu đồng cấu Tích hai đơn cấu (toàn cấu, đẳng cấu) đơn cấu (toàn cấu, đẳng cấu) Đồng cấu f đơn cấu Kerf = (0) Nếu f : M → M′ đẳng cấu f −1 : M′ → M đẳng cấu Nếu f : M → M′ toàn cấu M Kerf ... 1.8 Mô un đơn, mô un nửa đơn 1.8.1 Định nghĩa mô un đơn (mô un bất khả qui) R – mô un M gọi mô un đơn (hay mô un bất khả qui) M có hai mô un tầm thường (0) M 1.8.2 Định nghĩa mô un nửa đơn R – mô un ... Đồng cấu f gọi toàn cấu f đồng thời toàn ánh Nếu f vừa đơn cấu vừa toàn cấu f gọi đẳng cấu 1.2.2 Tính chất Cho f : M → M′ đồng cấu Khi N mô un M f ( N ) mô un M’, N’ mô un M’ f −1 ( N′ ) mô un...
... vẹn thực thể, toàn vẹn tham chiếu khóa I I Ràng buộc toàn vẹn thực thể phát biểu là: khoá phải luôn có giá trị xác định, nghĩa không phép có giá trị null Ràng buộc toàn vẹn tham chiếu phát biểu ... 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 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 26 / 54 Các phép toán môhình ... 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 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 27 / 54 Các phép toán mô hình...
... loại môhình liệu Có nghĩa từ cách nhìn người sử dụng việc mô tả liệu ràng buộc liệu thực Hiện có nhiều loại mô hìmh liệu Bốn loại môhình liệu sử dụng rộng rãi là: Môhình phân cấp, Môhình ... mạng, Môhình quan hệ, Môhình hướng đối tượng I.2.1 Môhình phân cấp [6] Môhình dưc liệu cây, nút biểu diễn tập thực thể, nút cha liên hệ theo mối quan hệ xác định ( Dựa cấutrúc cây) Ví dụ hình ... dụng Trong loại môhìnhmôhình quan hệ có nhiều ưu điểm nhiều người quan tâm cả, lẽ môhình liệu quan hệ có tính độc lập liệu cao, lại rễ sử dụng Điều quan trọng môhình quan hệ hình thức hoá...
... (natural language) UML model sử dụng phần tử môhình (phần từ cấu trúc, phần tử hành vi, phần tử nhóm gộp, phần tử thích)và qui tắc liên kết phần tử môhình lại để môhình hóa hệ thống UML model ... nguyên lý sử dụng ngôn ngữ môhình hóa để mô tả hệ thống cấp độ khác Nó gồm có tầng: Tầng metametamodel(M3) Tầng metamodel (M2) Tầng model(M1) Tầng instance(M0) Nhóm HìnhMôhình Modeling ... tả hệ thống thông tin Nó sử dụng để kiểm tra tính đắn môhình UML ràng buộc OCL Để làm điều USE sử dụngcấutrúc UML metamodel ràng buộc OCL để kiểm tra tính đắn môhình UML Sau chúng e xin trình...
... Tổng quan hệ thống tin học quản lý môhình ứng dụng ERP Phần tổng quan hệ thống tin học quản lý, khái niệm ERP trình hình thành ERP Đưa đề xuất môhình ứng dụng ERP cho doanh nghiệp Việt Nam ... Việt Nam Chương Xây dựng hệ thống quản lý sản xuất theo môhình ERP cho công ty TNHH Fami kết nối với hệ thống Asia ERP công ty cổ phần phát triển phần mềm Asia Chương Phân tích thiết kế hệ thống ... H.Kremzar (2001), ERP - Making It Happen Nguyễn Văn chức - Trường Đại học Kinh tế Đại học Đà Nẵng, Môhình ERP cho trường đại học [10] Phạm Thị Thanh Hồng Phạm Minh Tuấn (2007), Bài giảng Hệ thống...
... lĩnh vực Hải quan Môhình khung xây dựng để áp dụng chung thống đảm bảo phù hợp với đặc thù lĩnh vực chức quản lý đảm bảo tính khả thi, việc lựa chọn quy trình, thủ tục xây dựngmôhình khung Tổng ... HTQLCL quan, bao gồm phạm vi áp dụng HTQLCL CQHCNN theo kết Đề án 30; tài liệu cần xây dựng áp dụng HTQLCL quan quy định mẫu quy trình xử lý công việc cho CQHCNN Môhình khung hệ thống quản lý chất ... pháp luật quan có thẩm quyền Trung ương địa phương ban hành danh mục TTHC công bố theo kết Đề án 30, xác định cụ thể thủ tục hành thực đơn vị phải xây dựng, áp dụng HTQLCL (phạm vi áp dụng) TTHC...
... Balwyn Ví dụ Student Id Tìm sinh viên đăng ký khoá học có mã số 113 Tìm giá trị SID bảng Enrol có Course tương ứng 113 Đưa bảng Student có SID giá trị tìm thấy Name Suburb 1108 Robert Kew 3936 ... 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 diện đồ hoạ truy vấn I.Student I ID Name ... chuẩn SQL-96 47 Các thành phần SQL Ngôn ngữ mô tả liệu (Data Definition Language) Ngôn ngữ thao tác liệu (Data Manipulation Language) Cấutrúc bảng CSDL Các mối liên hệ liệu Quy tắc,...
... thng dựng nc t khe sui s dng sinh hot, vic xõy dng nh v sinh cha c u t, chn nuụi theo hỡnh thc th dụng lm cho ngun nc ngy cng b ụ nhim Yờn Bỏi l tnh nỳi nghốo, cú hn 30 dõn tc anh em sinh sng, vi ... UBND tnh Chủ tịch kiêm giám đốc công ty Phó giám đốc ban quản lý dự án phòng kế hoạch kỹ thuật đội vận hành phòng hành tổ chức đội quản lý tuyến ống phòng tài kế toán xưởng sản xuất nước uống tinh...
... b/m Các hệ thống thông tin, khoa CNTT, ĐHBKHN 29 Nhập môn sở liệu Các thành phần SQL Ngôn ngữ mô tả liệu (Data Definition Language) Cấutrúc bảng CSDL ấ Các mối liên hệ liệu Quy tắc, ràng buộc ... từ biến miền 27 Phép tính vị từ biến Đ/n: ngôn ngữ vị từ có biến Định nghĩa hình thức { t | P(t) } t : tập kết cho vị từ P t P: biểu thức có biến tự t Một số quy ước: t[A]: giá t ị t t i th ộ tí ... tính vị từ biến miền Đ/n: ngôn ngữ vị từ có biến miền giá trị Định nghĩa hình thức { | P(x1, …, xn)} x1, …, xn biến miền hay miền P: biểu thức có biến tự xi 36 Vũ Tuyết Trinh, b/m Các...
... vào sổ 37 2.3 Phát triển môhình ca sử dụng 38 2.3.1 Xác định tác nhân 38 2.3.2 Xác định ca sử dụng 40 2.3.3 Mô tả chi tiết ca sử dụng điển hình 41 CHƢƠNG ... Hình 3.4 Sơ đồ lớp ca sử dụng kế hoạch sản xuất 55 Hình 3.5 Sơ đồ liên kết ca sử dụng lệnh sản xuất 56 Hình 3.6 Sơ đồ ca sử dụng lệnh sản xuất 58 Hình 3.7 Sơ đồ lớp ca sử dụng ... môhình ERP doanh nghiệp Việt Nam DANH MỤC HÌNH VẼ, BẢNG BIỂU DANH MỤC HÌNH VẼ Hình 1.1 Miêu tả tiến hoá hệ thống ERP 10 Hình 2.1 Sơ đồ dòng thông tin hệ thống quản lý sản xuất 24 Hình...
... công trình thấp trung bình Môhình áp dụng số tỉnh đem lại hiệu đáng Hình1 -2 Môhình tư nhân quản lý, vận hành Môhình tư nhân quản lý, vận hành môhình đơn giản áp dụng cho diện tích nhỏ phù ... CÁC HÌNHHình 1-1: Sơ đồ hệ thống cấp nước sinh hoạt nông thôn miền núi điển hình Hình1 -2 Môhình tư nhân quản lý, vận hành 14 Hình 1-3 Môhình hợp tác xã quản lý, vận hành 15 Hình ... Môhình tư nhân quản lý, vận hành 14 1.3.2 Môhình hợp tác xã quản lý, vận hành 15 1.3.3 Môhình đơn vị nghiệp công lập quản lý, vận hành 16 1.3.4 Môhình doanh nghiệp quản lý, vận...
... niệm môhình ER dừng lại mức tập thực thể, mối quan hệ, thuộc tính, khóa, ràng buộc cấutrúc [6] Chương giới thiệu khái quát môhình ER, môhình ER mở rộng, môhình quan hệ chuyển đổi môhình ... phát từ môhình ER Ngoài việc đóng vai trò môhình khái niệm, môhình xem môhình liệu ngữ nghĩa Thông qua môhình ER, người ta xác định tập thực thể hệ thống thông tin, đồng thời ngữ nghĩa mô ... pháp để chuyển đổi môhình quan hệ sang môhình EER 38 Chương TRÍCH XUẤT MÔHÌNH EER TỪ MÔHÌNH QUAN HỆ CÓ SỬ DỤNG CÁC RÀNG BUỘC PHỤ THUỘC BAO HÀM Việc giải vấn đề trích xuất môhình EER từ sở liệu...