Đồ án, luận văn, do an, luan van

Định nghĩa chuẩn hóa Các dạng chuẩn hóa Chuẩn hóa là kỹ thuật dùng để tạo ra một tập các quan hệ có các đặc điểm mong muốn dựa vào các yêu cầu về dữ liệu của 1 xí nghiệp Chuẩn hóa là 1 cách tiếp cận từ dưới lên (bottom-up approach) để thiết kế CSDL, bắt đầu từ các mối liên hệ giữa các thuộc tính

42 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1132 | Lượt tải: 0

Dư thừa dữ liệu Phụ thuộc hàm Hệ tiên đề Amstrong Bao đóng của tập phụ thuộc hàm Bao đóng của tập thuộc tính Giải thuật Tìm khóa cho lược đồ quan hệ

82 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1415 | Lượt tải: 0

Giới thiệu Ngôn Ngữ SQL Nhóm lệnh DDL Nhóm lệnh DML Câu lệnh Select

189 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 962 | Lượt tải: 0

2.1. Quá trình thiết kế CSDL. 2.2. Mô hình liên kết thực thể 2.3. Các cấu trúc của mô hình liên kết thực thể 2.4. Mô hình ER 2.5. Tổng quan về qui tắc nghiệp vụ 2.6. Định nghĩa các ràng buộc về cấu trúc 2.7. Định nghĩa các ràng buộc về tác vụ 2.8. Mô hình ER mở rộng

89 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1561 | Lượt tải: 0

Trong chương trước, chúng ta thảo luận các chiến lược quản lý bộ nhớ được dùng trong hệ thống máy tính. Tất cả những chiến lược này có cùng mục đích: giữ nhiều quá trình trong bộ nhớ cùng một lúc để cho phép đa chương. Tuy nhiên, chúng có khuynh hướng yêu cầu toàn bộ quá trình ở trong bộ nhớ trước khi quá trình có thể thực thi. Bộ nhớ ảo là mộ...

19 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 937 | Lượt tải: 0

 Suy diễn tiến  Suy diễn lùi Suy diễn tiến  Tư tưởng cơ bản là áp dụng luật suy diễn Modus Ponens tổng quát.  Trong mỗi bước, người ta xét một luật trong cơ sở luật.  Đối sánh với điều kiện của luật với các sự kiện trong cơ sở sự kiện, nếu tất cả các điều kiện của luật đều được thỏa mãn thì sự kiện trong phần kết luận của luật được...

12 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 2080 | Lượt tải: 0

Đĩa mềm 1.44 MB, có 2 head, 80 track / head, 18 sector / track • Đổi sector vật lý sang logic: – (10, 2, 1); (18, 70, 0); (18, 79, 1); (5, 5, 1); (2, 0, 0); • Đổi sector logic sang vật lý: – 90, 8,1080, 2000, 1 • Cho biết dãy cyclinder cần truy xuất lần lượt là: 9, 15, 21, 2, 25, 6, 12. Với vị trí hiện hành của đầu đọc đang đứng tại cyclind...

21 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 1708 | Lượt tải: 0

 Logic mệnh đề ◦ Cú pháp và ngữ nghĩa của Logic mệnh đề ◦ Dạng chuẩn tắc ◦ Luật suy diễn  Logic vị từ cấp một ◦ Cú pháp và ngữ nghĩa logic vị từ cấp một ◦ Chuẩn hoá các công thức ◦ Các luật suy diễn

28 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1411 | Lượt tải: 0

Lập trình trên Windows khó và phức tạp hơn nhiều so với lập trình trên DOS. Tuy nhiên lập trình trên Windows sẽ giải quyết được một số vấn đề khó khăn trong môi trường DOS như xây dựng giao diện người dùng, quản lý bộ nhớ ảo, độc lập thiết bị vào ra, thâm nhập Internet, khả năng chia sẻ tài nguyên,™ Windows cung cấp các hàm để người lập trình ...

69 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 761 | Lượt tải: 0

 Các cách biểu diễn tri thức  Biểu diễn tri thức nhờ logic mệnh đề  Biểu diễn tri thức nhờ logic vị từBiểu diễn tri thức trong các ES  Biểu diễn tri thức bởi các luật sản xuất  Biểu diễn tri thức nhờ mệnh đề logic  Biểu diễn tri thức nhờ mạng ngữ nghĩa  Biểu diễn tri thức nhờ ngôn ngữ nhân tạo  Biểu diễn tri thức nhờ các sự kiện khôn...

16 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1052 | Lượt tải: 1