chương trình đào tạo khoa công nghệ thông tin trường đại học quốc gia hà nội

đến Tại GĐ2 Thực hành, thí nghiệm, điền dã, … Tự học, tự nghiên cứu Tại thư viện, ở nhà Làm các bài tập được giao về nhà.. đến Tại GĐ2 Thực hành, thí nghiệm, điền dã, … Tự học, tự nghiên

Trang 1

ĐẠI HỌC QUỐC GIA HÀ NỘI

TRƯỜNG ĐẠI HỌC CÔNG NGHỆ

Khoa Công nghệ thông tin

ĐỀ CƯƠNG CHI TIẾT MÔN HỌC

(THEO TÍN CHỈ)

Hà Nội - 2008

Trang 2

PHẦN I

CÁC MÔN HỌC CƠ SỞ

Trang 3

NGUYÊN LÝ HỆ ĐIỀU HÀNH

1 Thông tin về giảng viên

 Chức danh, học hàm, học vị: TS

 Thời gian, địa điểm làm việc: Từ 8g đến 16h30g, P305, nhà E3, Khoa công nghệ thông tin, Đại học công nghệ, ĐHQGHN, 144 Đường Xuân Thuỷ,

Cầu Giấy, Hà Nội

 Địa chỉ liên hệ: P305, nhà E3, Khoa công nghệ thông tin, trường Đại học công nghệ, ĐHQGHN, 144 Đường Xuân Thuỷ, Cầu Giấy, Hà Nội

 Điện thoại: 7547813 Email: chaunh@vnu.edu.vn

 Các hướng nghiên cứu chính: Tính toán song song, các phương pháp lập luận mờ

Thông tin về các giảng viên khác

 PGS TS Hà Quang Thụy, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813, Email: thuyhq@vnu.edu.vn

 ThS Lê Hồng Hải, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813, Email: hailh@vnu.edu.vn

 ThS Nguyễn Cẩm Tú, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813, Email: tunc@vnu.edu.vn

2 Thông tin chung về môn học

 Tên môn học: Nguyên lý hệ điều hành

 Các yêu cầu đối với môn học (nếu có):

 Giờ tín chỉ đối với các hoạt động:

 Nghe giảng lý thuyết: 24

Trang 4

 Kiến thức: Cung cấp cho học sinh những khái niệm cơ bản về hệ điều hành máy tính: phân loại, nguyên lý, cách làm việc, phân tích thiết kế và chi tiết về một số hệ điều hành cụ thể

 Kỹ năng: Làm tốt các bài tập về nguyên lý hệ điều hành, lấy đó làm cơ sở - nguyên lý cho các vấn đề khác trong thiết kế và cài đặt các hệ thống thông tin

 Thái độ, chuyên cần: nghiêm chỉnh chấp hành giờ học trên lớp và giờ tự học, chuẩn bị tốt các câu hỏi trước khi lên lớp

4 Tóm tắt nội dung môn học

Môn học gồm 5 phần chính, trong đó phần 1 giới thiệu về tổng quan, lịch sử của các

hệ điều hành Phần 2 nghiên cứu các phương thức quản lý tiến trình, phần 3 giới thiệu

về quản lý lưu trữ (bao gồm quản lý bộ nhớ trong và ngoài) Phần 4 dành để nghiên cứu vào ra của hệ điều hành và phần 5 dành cho vấn đề bảo vệ, an ninh hệ thống

5 Nội dung chi tiết môn học

Chương 1 Tổng quan

1.1 Giới thiệu

1.1.1 Hệ điều hành là gì?

1.1.2 Các hệ xử lý theo lô đơn giản

1.1.3 Các hệ xử lý theo lô, đa chương trình

1.1.4 Các hệ phân chia thời gian

2.1.3 Các thao tác trên tiến trình

2.1.4 Hiệp tác giữa các tiến trình

Trang 5

2.4.7 Các cách tiếp cận tổng hợp để giải quyết bế tắc

Chương 3 Quản lý lưu trữ

3.2.2 Phân trang theo yêu cầu

3.2.3 Hiệu năng của phân trang theo yêu cầu

3.2.9 Phân đoạn theo yêu cầu

Kiếm tra giữa kỳ: 60 phút

3.3 Giao diện hệ thống tệp

Trang 6

4.1.3 Giao diện lập trình vào ra

4.1.4 Hệ vào ra của nhân

4.1.5 Chuyển đổi yêu cầu vào ra thành các thao tác phần cứng

4.2.4 Quản lý không gian swap

4.2.5 Độ tin cậy của đĩa

5.1.5 Hủy bỏ quyền truy cập

5.1.6 Các hệ thống dựa trên khả năng

5.1.7 Bảo vệ dựa trên ngôn ngữ

Trang 7

5.2 An ninh

5.2.1 Vấn đề an ninh

5.2.2 Xác thực

5.2.3 Các mật khẩu dùng một lần

5.2.4 Đe dọa với chương trình

5.2.5 Đe dọa với hệ thống

5.2.6 Theo dõi các sự đe dọa

5.2.7 Mã hóa

5.2.8 Phân loại an ninh máy tính

6 Học liệu

6.1 Học liệu bắt buộc

[1] Abraham Silberschatz, Peter Baer Galvin, Greg Gagne, Operating System

Concepts, 7th edition, John Wiley & Sons, Inc., 2005

[2] Hà Quang Thụy, Nguyên lý hệ điều hành, NXB Đại học Quốc gia Hà Nội,

1998

6.2 Học liệu tham khảo

[3] William Stallings, Operating Systems: Internals and Design Principles 5th

edition, Prentice-Hall, 2005

[4] Andrew S Tanenbaum, Modern Operating Systems, 2nd edition, Prentice-Hall,

2001

[5] Andrew S Tanenbaum, Albert S Woodhull, Operating Systems: Design and

Implementation, 3rd edition, Prentice-Hall 2006

[6] Robert Love, Linux Kernel Development, Sams Publishing, 2003

[7] Daniel P Bovet, Marco Cesati, Understanding Linux Kernel, 2nd edition, O'Reilly & Associates, 2002

[8] W Richard Stevens, Advanced Programming in the UNIX Environment,

Tự học, tự nghiên cứu

Lý thuyết

Bài tập

Thảo luận

ND 1: Giới thiệu tổng quan

Trang 8

Nội dung chính Yêu cầu SV

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Tổng quan về hệ điều hành

- Cấu trúc của hệ điều hành, các chiến lược thiết kế

- Các dịch vụ do

hệ điều hành cung cấp

Bài tập Từ

đến Tại GĐ2 Thảo luận Từ

đến Tại GĐ2 Thực hành,

thí nghiệm,

Từ

đến

Trang 9

Nắm được các khái niệm cơ sở

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Khái niệm về tiến trình, sự khác nhau của tiến trình

và chương trình Lập lịch, các thao tác, hiệp tác, truyền thông giữa các tiến trình Luồng

Thử nghiệm trên một hệ điều hành

cụ thể UNIX hoặc Windows để có khái niệm trực quan về tiến trình

đến Tại GĐ2

Thử nghiệm chương trình tạo tiến trình và tạo luồng

Thảo luận Từ

đến Tại GĐ2 Thực hành, thí

nghiệm, điền dã, …

Tự học, tự nghiên

cứu

Tại thư viện, ở nhà

Nắm vững khái niệm tiến trình, chương trình, luồng, cấu trúc và trạng thái tiến trình

Nội dung 3, tuần 3: Lập lịch CPU

Hình thức tổ chức

dạy học

Thời gian, địa điểm

chuẩn bị

Ghi chú

Lý thuyết Từ Các khái niệm cơ

sở về lập lịch, các

Tìm các ví dụ về xếp hàng trong

Trang 10

đến Tại GĐ2

tiêu chí và thuật toán lập lịch

Cách đánh giá các thuật toán lập lịch

đời sống hàng ngày, liên hệ với các thuật toán lập lịch đơn giản

đến Tại GĐ2

Làm bài tập để nắm vững khái niệm lập lịch, tính thời gian chờ trung bình, thời gian lưu hệ thống

Làm các bài tập ví

dụ trên lớp

Thảo luận Từ

cứu

Làm các bài tập được giao về nhà

Nội dung 4, tuần 4 và 5: Đồng bộ hóa tiến trình

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Tìm hiểu về cơ sở đồng bộ hóa, các khái niệm miền găng, đoạn mã tới hạn, semaphore, monitor và các giao tác nguyên tố

Thử nghiệm một

số ví dụ về đồng

bộ hóa trước khi học lý thuyết trên lớp để dễ hiểu bài hơn

đến Tại GĐ2

Giải được một số bài tập cơ bản về đồng bộ hóa

Thảo luận Từ

cứu

Hiểu được tầm quan trọng của

Tìm một số ví dụ

về đồng bộ hóa và

Trang 11

đồng bộ hóa trong các ứng dụng CNTT

mất đồng bộ trong đời sống hoặc trong các hệ thống thông tin

Nội dung 5, tuần 6 và 7: Bế tắc

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Giới thiệu về bế tắc, cách phương pháp phòng tránh

và giải quyết bế tắc

Đây là nội dung khó, sinh viên cần đọc tài liệu

(chương Deadlock, tài liệu 1) trước khi học lý thuyết

đến Tại GĐ2

Thực hiện một số bài tập cơ bản về

bế tắc và giải quyết bế tắc

Thảo luận Từ

cứu

Hiểu được tầm quan trọng của vấn đề bế tắc trong các ứng dụng CNTT

Tìm một số ví dụ

về bế tắc trong đời sống hoặc trong các hệ thống thông tin

Nội dung 6, tuần 8: Quản lý bộ nhớ

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Giới thiệu các khái niệm bộ nhớ vật lý,

bộ nhớ logic (ảo), swap, phân trang, phân đoạn

Bài tập Từ Tính toán, chuyển

đổi địa chỉ ảo và

Làm được các bài tập chuyển

Trang 12

đến Tại GĐ2

địa chỉ vật lý đổi địa chỉ ảo và

logic

Thảo luận Từ

cứu

Thử nghiệm bộ nhớ vật lý và logic trong một ứng dụng đơn giản

Nội dung 7 và 8, tuần 9 + 10: Bộ nhớ ảo Giờ đầu của tuần 10 (nội dung 8) dành cho kiểm tra giữa kỳ Thời gian kiểm tra: 60 phút

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Cơ sở của bộ nhớ

ảo, phân trang theo yêu cầu, khái niệm phân trang, phân đoạn, frame

đến Tại GĐ2

Làm bài tập về quản lý bộ nhớ

ảo

Thảo luận Từ

đến Tại GĐ2

Thử nghiệm bộ nhớ ảo trong một ứng dụng

cụ thể

Trang 13

Nội dung 9, tuần 11: Giao diện với hệ thống tệp

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Khái niệm về tệp, các phương pháp truy cập, cấu trúc thư mục

Khái niệm tệp trong một hệ điều hành cụ thể

để so sánh với nguyên lý chung

đến Tại GĐ2

So sánh khái niệm tệp trong UNIX/Linux và Windows

Nội dung 10, tuần 12: Cài đặt hệ thống tệp

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Các phương thức cài đặt hệ thống tệp:

Cấu trúc, phương pháp cấp phát và quản lý không gian rỗi, cài đặt thư mục, hiệu quả và hiệu năng cài đặt

đến

-

Trang 14

Tại GĐ2 Thực hành, thí

cứu

So sánh cách cấp phát của UNIX/Linux với Windows/DOS

Nội dung 11, tuần 13: Hệ vào ra

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Tổng quan về vào

ra, hệ vào ra của nhân hệ điều hành, API vào ra, hiệu năng vào ra

đến Tại GĐ2

Thử nghiệm vào

ra trong một chương trình ứng dụng ở các mức khác nhau

Nội dung 12, tuần 14: Cấu trúc lưu trữ phụ

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Cấu trúc đĩa, lập lịch đĩa, quản lý đĩa, quản lý không gian swap

Trang 15

Bài tập Từ

đến Tại GĐ2

Làm các bài tập

về quản lý bộ nhớ ngoài, lập lịch đĩa và quản

lý không gian đĩa (rỗi/cấp phát)

Thảo luận Từ

cứu

Nội dung 13, tuần 15: Bảo vệ và an ninh, ôn tập cuối môn học

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Bảo vệ: miền bảo

vệ, ma trận truy cập

An ninh: Xác thực, mật khẩu, mã hóa, các nguy cơ về an ninh cho các hệ máy tính

cứu

Tìm hiểu về ma trận truy cập, cách cài đặt ma trận truy cập trên Windows

Trang 16

Tìm hiểu về virus, hack, mã hóa, https, SSL

8 Chính sách đối với môn học và các yêu cầu khác của giảng viên

Yêu cầu và cách thức đánh giá, sự hiện diện trên lớp, mức độ tích cực tham gia các hoạt động trên lớp, các qui định về thời hạn, chất lượng các bài tập, bài kiểm tra…

 Chuẩn bị tốt các phần được giao tự học

 Có mặt trên lớp ít nhất là 21/30 giờ học

 Bắt buộc tham dự bài kiểm tra giữa kỳ (điều kiện tham gia thi cuối kỳ)

9 Phương pháp, hình thức kiểm tra - đánh giá kết quả học tập môn học

9.1 Kiểm tra – đánh giá thường xuyên

9.2 Kiểm tra đánh giá định kỳ

 Trình bày tốt bản chất vấn đề yêu cầu, có mở rộng: 100% số điểm của bài tập

 Trình bày đúng bản chất vấn đề yêu cầu: 80-90%

 Trình bày được vấn đề ở mức trung bình: 50-70%

 Trình bày chưa đúng bản chất, nội dung: 0-40%

2 Bài tập về ứng dụng:

 Làm tốt cả diễn giải và đáp số theo đáp án: 100%

 Viết đúng diễn giải, sai đáp số: 80-90%

 Chỉ biết công thức, thay số đúng: 50%

9.4 Lịch thi, kiểm tra (kể cả thi lại)

STT Nội dung thi, kiểm tra Lịch thi Lịch kiểm tra Ghi chú

1 Nội dung 1 đến 8 Kiểm tra giữa

kỳ (60 phút đầu của giờ học

Trang 17

tuần thứ 10)

2 Toàn bộ 15 nội dung Thi cuối kỳ Theo lịch

chung của Trường

Trang 18

NGÔN NGỮ SQL

 Chức danh, học hàm, học vị: ThS

 Thời gian, địa điểm làm việc: Từ 8g đến 16h30g, P305, nhà E3, Khoa

CNTT, Đại học công nghệ, ĐHQG, 144 Xuân Thuỷ, Cầu Giấy, Hà Nội

 Địa chỉ liên hệ: P305, nhà E3, Khoa CNTT, trường Đại học công nghệ, ĐHQGHN, 144 Đường Xuân Thuỷ, Cầu Giấy, Hà Nội

 Các hướng nghiên cứu chính: Cơ sở dữ liệu, Khai phá dữ liệu

 TS Nguyễn Tuệ, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

 ThS Đặng Thanh Hải, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

 ThS Nguyễn Cẩm Tú, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

3 Mục tiêu của môn học

 Về kiến thức: Cung cấp cho sinh viên các kiến thức

 Cách mô tả một cơ sở dữ liệu bằng SQL

Trang 19

 Cập nhật cơ sở dữ liệu bằng SQL

 Truy vấn cơ sở dữ liệu

 Thực hiện các ràng buộc cơ sở dữ liêu

 Lập trình bằng SQL

 Thiết kế an ninh cơ sở dữ liệu

 Về kỹ năng: Sinh viên có khả năng sử dụng hệ quản trị cơ sở dữ liệu SQL server để cài đặt và khai thác các cơ sở dữ liệu

 Giới thiệu các khái niệm cơ bản về ngôn ngữ SQL: các lệnh tạo cơ sở dữ liêu, cập nhật cơ sở dữ liệu, truy vấn cơ sở dữ liệu

 Kỹ thuật kiểm tra ràng buộc trên cơ sở dữ liệu : mô tả các ràng buộc khoá, ràng buộc giá trị, viết các khẳng định (assertion), các trigger

 Cách lập trình trong ngôn ngữ SQL: Viết các chương trình con, lập trình nhúng

 Các giao tác trong SQL

 An ninh cơ sở dữ liệu trong SQL

5 Nội dung chi tiết môn học

Chương 1 SQL cơ bản

1.1 Giới thiệu ngôn ngữ SQL

1.2 Định nghĩa một lược đồ cơ sở dữ liệu quan hệ

1.2.1 Các kiểu dữ liệu

1.2.2 Các khai báo bảng đơn giản

1.2.3 Sửa đổi các lược đồ quan hệ

1.3.4 Ngày tháng và thời gian

1.3.5 Các giá trị null và các so sánh bao hàm null

1.3.6 Giá trị logic UNKNOWN

Trang 20

1.4.4 Các phép hợp, giao, trừ các truy vấn

1.5 Các truy vấn con

1.5.1 Các truy vấn con tạo ra các giá trị vô hướng 1.5.2 Các điều kiện có bao hàm các quan hệ

1.5.3 Các điều kiện có bao hàm các bộ

1.5.4 Các truy vấn con tương quan với nhau

1.5.5 Các truy vấn con trong mệnh đề FROM

1.5.6 Các biểu thức nối của SQL

1.8.3 Đặt tên lại các thuộc tính

1.8.4 Sửa đối các khung nhìn

1.8.5 Giải thích các truy vấn có chứa các khung nhìn 1.9 Tổng kết chương I và bài tập

Chương 2 Các ràng buộc và các trigger

2.1 Khóa và khóa ngoài

2.1.1 Mô tả khóa chính

2.1.2 Các khóa được mô tả với UNIQUE

2.1.3 Làm có hiệu lực các ràng buộc khóa

2.1.4 Mô tả các ràng buộc khóa ngoài

2.1.5 Duy trì toàn vẹn tham chiếu

2.1.6 Làm chậm việc kiểm tra ràng buộc

2.2 Các ràng buộc trên các thuộc tính và các bộ

2.2.1 Các ràng buộc NOT NULL

2.2.2 Các ràng buộc kiểm tra dựa trên các thuộc tính

Trang 21

2.2.3 Các ràng buộc kiểm tra dựa trên các bộ

2.3 Sửa đổi các ràng buộc

2.3.1 Đặt tên cho các ràng buộc

2.3.2 Sửa đổi các ràng buộc trên các bảng

2.4 Các ràng buộc mức lược đồ và các trigger

Trang 22

[1] Nguyễn Tuệ : Giáo trình ngôn ngữ SQL

[2] Implementing RDBMS Concept with SQL Server 2000 Aptech Worldwide, USA,2000

[3] Hector Garcia-Molina, Jeffrey D.Ullman, Jennifer Widom Database System : The Complete book Prentice Hall,2002

[4] C.J Date, Hug Darwen A guid to SQL standard Addition-Wesley Publishing company, 1993

Lý thuyết

Bài tập

Thảo luận

ND 1: Giới thiệu ngôn ngữ

Trang 23

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Lịch sử phát triển ngôn ngữ SQL, các chuẩn ngôn ngữ SQL khác nhau

- Giới thiệu tổng quan về ngôn ngữ SQL

về ngôn ngữ SQL

Trang 24

Nội dung 2, tuần 2: SQL đơn giản

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Ngôn ngữ định nghĩa dữ liệu, sửa đổi dữ liệu

- Truy vấn trên một quan hệ; các phép toán; cá giá trị đặc biệt

- Truy vấn bao gồm nhiều hơn một quan hệ

đến Tại GĐ2

Các bài tập tương ứng với ba nội dung trên

Thảo luận Từ

- Làm quen với hệ quản trị ơ sở dữ liệu SQLServer

2000

- Thực hành cài đặt cơ sở dữ liệu mẫu theo hướng dẫn của giáo viên thực hành

cứu

chuẩn bị

Ghi chú

Lý thuyết Từ

đến

- Truy vấn con

- Các biểu thức

Trang 25

Tại GĐ2 nối trong SQL

- Các phép toán quan hệ đầy đủ

đến Tại GĐ2

Các bài tập, ví dụ minh họa tương ứng với ba nội dung trên Thảo luận Từ

- Thực hành cài đặt cơ sở dữ liệu mẫu bằng dòng lệnh

- Thực hiện các truy vấn trên cơ

sở dữ liệu mẫu đã cài đặt

cứu

Thành thạo các truy vấn đơn giản

và phức tạp; lưu ý thao tác trên các giá trị đặc biệt

Nội dung 4, tuần 4: Khung nhìn

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Ý nghĩa của khung nhìn

- Cách thức định nghĩa một khung nhìn

- Sử dụng khung nhìn trong truy vấn và sửa đỗi dữ liệu

đến Tại GĐ2

Các ví dụ minh họa

Trang 26

Thảo luận Từ

- Thực hành tạo khung nhìn với các tùy chọn riêng

- Thực hiện truy vấn, sửa đổi dữ liệu thông qua khung nhìn

cứu

- Thành thạo các thao tác trên khung nhìn

- Lưu ý các nguyên tắc sửa đổi dữ liệu thông qua khung nhìn

Nội dung 5, tuần 5: Các ràng buộc trên thuộc tính và các bộ

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Ràng buộc khóa chính, khóa ngoài

- Ràng buộc trên thuộc tính và các

bộ

- Sửa đổi các ràng buộc

đến Tại GĐ2

Các ví dụ minh họa tương ứng

Thảo luận Từ

- Thực hiện các ràng buộc, sử dụng công cụ đồ họa của Hệ quản trị cơ sở dữ liệu

Trang 27

SQLServer 2000

- Thực hiện công việc trên bằng ngôn ngữ SQL

cứu

Hiểu được tầm quan trọng của việc thiết kế các ràng buộc; ý nghĩa của việc thắt chặt các ràng buộc cũng như nới lỏng các ràng buộc

Nội dung 6, tuần 6: Các ràng buộc mức lược đồ và trigger

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Các khẳng định (assertion)

- Ý nghĩa của trigger

- Các loại trigger và cách định nghĩa một trigger

đến Tại GĐ2

Các bài tập minh họa tương ứng

Thảo luận Từ

Thực hành tạo các loại trigger khác nhau

cứu

- So sánh các ràng buộc

- Hiểu được ý nghĩa và nguyên tắc định nghĩa thực thi của trigger

Trang 28

Nội dung 7, tuần 7: Thi giữa kỳ (60’)

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

6 nội dung đã học ở trên

Ôn tập 6 nội dung đã học ở trên

cứu

Nội dung 8, tuần 8: Các thủ tục được lưu trữ (stored procedure)

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Tạo các hàm và các thủ tục PSM

- Một số câu lệnh

và cấu trúc trong PSM

- Cách thức định nghĩa và sử dụng thủ tục lưu trữ

đến Tại GĐ2

Thảo luận Từ

đến Tại GĐ2

Trang 29

Thực hành, thí

- Thực hành viết các thủ tục lưu trữ

có tham số hoặc không có tham số,

sử dụng công cụ đồ họa của Hệ quản trị

cơ sở dữ liệu SQLServer 2000

cứu

- Hiểu được ý nghĩa và các ưu điểm của thủ tục lưu trữ

- Thực hiện gọi thực thi thủ tục lưu trữ thay vì viết câu lệnh truy vấn SQL trực tiếp trong

mã nguồn chương trình

Nội dung 9, tuần 9: Quản lý giao tác trong SQL

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Khái niệm giao tác (transaction)

- Các loại giao tác

- Các mức cô lập

đến Tại GĐ2

Thảo luận Từ

Bài tập thực hành tương ứng với các nội dung trên

Trang 30

cứu

- Đọc thêm về transaction log

- Tìm hiểu khái niệm checkpoint

Nội dung 10, tuần 10: An toàn và cấp quyền trong SQL

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Quyền và cách tạp quyền

- Tiến trình kiểm tra đặc quyền

- Cấp quyền và hủy

bỏ quyền

đến Tại GĐ2

Thảo luận Từ

- Thực hành tạo và phân quyền bằng công cụ đò họa của

Hệ quản trị cơ sở

dữ liệu SQLServer

2000

cứu

Thành thạo việc phân quyền cho người dùng khai thác cơ sở dữ liệu

Nội dung 11, tuần 11: Ôn tập thi cuối kỳ

dạy học

chuẩn bị

Ghi chú

Trang 31

Lý thuyết Từ

đến Tại GĐ2

Toàn bộ các nội dung đã học ở trên

cứu

8 Chính sách đối với môn học và các yêu cầu khác của giảng viên

Yêu cầu và cách thức đánh giá, sự hiện diện trên lớp, mức độ tích cực tham gia các hoạt động trên lớp, các qui định về thời hạn, chất lượng các bài tập, bài kiểm tra…

 Chuẩn bị tốt các phần được giao tự học

 Có mặt trên lớp ít nhất là 21/30 giờ học

 Bắt buộc tham dự bài kiểm tra giữa kỳ (điều kiện tham gia thi cuối kỳ)

9 Phương pháp, hình thức kiểm tra - đánh giá kết quả học tập môn học

9.1 Kiểm tra đánh giá định kỳ

 Trình bày tốt bản chất vấn đề yêu cầu, có mở rộng: 100% số điểm của bài tập

 Trình bày đúng bản chất vấn đề yêu cầu: 80-90%

 Trình bày được vấn đề ở mức trung bình: 50-70%

 Trình bày chưa đúng bản chất, nội dung: 0-40%

Trang 32

2 Bài tập về ứng dụng:

 Làm tốt cả diễn giải và đáp số theo đáp án: 100%

 Viết đúng diễn giải, sai đáp số: 80-90%

 Chỉ biết công thức, thay số đúng: 50%

9.4 Lịch thi, kiểm tra (kể cả thi lại)

STT Nội dung thi, kiểm tra Lịch thi Lịch kiểm tra Ghi chú

1 Nội dung 1 đến 7 Kiểm tra giữa

kỳ (60 phút đầu của giờ học tuần thứ 8)

2 Toàn bộ 10 nội dung Thi cuối kỳ Theo lịch

chung của Trường

Trang 33

NHẬP MÔN HỆ CƠ SỞ DỮ LIỆU

 Chức danh, học hàm, học vị: TS

 Thời gian, địa điểm làm việc: Từ 8g đến 16h30g, P305, nhà E3, Khoa công nghệ thông tin, Đại học công nghệ, ĐHQGHN, 144 Đường Xuân Thuỷ,

Cầu Giấy, Hà Nội

 Địa chỉ liên hệ: P305, nhà E3, Khoa công nghệ thông tin, trường Đại học công nghệ, ĐHQGHN, 144 Xuân Thuỷ, Cầu Giấy, Hà Nội

 Điện thoại: 7547813 Email: ntue@vnu.edu.vn

 Các hướng nghiên cứu chính: Cơ sở dữ liệu, Khai phá dữ liệu

 PGS TS Trịnh Nhật Tiến, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

 TS Nguyễn Hà Nam, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

 ThS Dư Phương Hạnh, Khoa CNTT, E3, ĐHCN, ĐHQGHN, 144, Xuân Thuỷ, Cầu Giấy, Hà Nội ĐT: 7547813

 Tên môn học: Nhập môn hệ cơ sở dữ liệu

3 Mục tiêu của môn học

 Về kiến thức: Cung cấp cho sinh viên các kiến thức

 Các khái niệm cơ bản về hệ cơ sở dữ liệu như: cơ sở dữ liệu, hệ quản trị

Trang 34

cơ sở dữ liệu, mô hình cơ sở dữ liệu

 Mô hình liên kết thực thể

 Mô hình quan hệ

 Phương pháp thiết kế cơ sở dữ liệu

 Về kỹ năng: Sinh viên có khả năng thiết kế các cơ sở dữ liệu phục vụ cho việc quản lý

 Giới thiệu các khái niệm cơ bản về hệ cơ sở dữ liêu như: cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, mô hình cơ sở dữ liệu

 Mô hình liên kết thực thể: Giới thiệu các khái niệm cơ bản của mô hình liên kết thực thể như kiểu thực thể, kiểu liên kết Cách xây dựng một lược đồ liên kết thực thể

 Mô hình quan hệ : Giới thiệu các khái niệm cơ bản của mô hình quan hệ như: miền giá trị, thuộc tính, lược đồ quan hệ, quan hệ, khoá, lược đồ cơ sở dữ liệu,

cơ sở dữ liệu Các loại ràng buộc trên cơ sở dữ liệu, các phép toán đại số quan

hệ Cách chuyển đổi một lược đồ liên kết thực thể thành một lược đồ cơ sở dữ liệu quan hệ

 Khái niệm về phụ thuộc hàm và chuẩn hoá cơ sở dữ liệu quan hệ, lý thuyết xây dựng cơ sở dữ liệu quan hệ

5 Nội dung chi tiết

Chương 4 Các khái niệm cơ bản về hệ cơ sở dữ liệu

4.1 Cơ sở dữ liệu

4.1.1 Định nghĩa cơ sở dữ liệu

4.1.2 Sự phát triển của cơ sở dữ liệu

4.2 Hệ quản trị cơ sở dữ liệu

4.2.1 Định nghĩa hệ quản trii cơ sở dữ liệu

4.2.2 Các chức năng của một hệ quản trị cơ sở dữ liệu

4.3 Mô hình cơ sở dữ liệu

Chương 5 Mô hình liên kết thực thể

5.1 Các phần tử của mô hình liên kết thực thể

5.1.1 Kiểu thực thể

5.1.2 Kiểu liên kết

5.2 Lược đồ liên kết thực thể

5.3 Thiết kế mô hình liên kết thực thể

Chương 6 Mô hình dữ liệu quan hệ

6.1 Các cơ sở của mô hình quan hệ

6.1.1 Thuộc tính, miền giá trị

6.1.2 Lược đồ quan hệ và quan hệ

Trang 35

6.2 Các ràng buộc trên mô hình quan hệ

6.3.2 Chuyển đổi các kiểu liên kết thành quan hệ

6.3.3 Tổ hợp các quan hệ

6.3.4 Chuyển đổi các kiểu thực thể yếu thành quan hệ

6.4 Đại số quan hệ

6.4.1 Ví dụ về lược đồ cơ sở dữ liệu quan hệ

6.4.2 Đại số các phép toán quan hệ

6.4.3 Các phép toán quan hệ trên các túi (bag)

6.4.4 Mở rộng các phép toán của đại số quan hệ

Chương 7 Phụ thuộc hàm và thiết kế lược đồ cơ sở dữ liệu quan hệ

7.4.1 Phụ thuộc thuộc tính và dư thừa hệ quả của nó

7.4.2 Định nghĩa phụ thuộc đa trị

7.4.3 Dạng chuẩn 4

Trang 36

7.4.4 Tách thành dạng chuẩn 4

Chương 8 Ngôn ngữ cơ sở dữ liệu SQL

8.1 Giới thiệu ngôn ngữ SQL

8.2 Định nghĩa một lược đồ quan hệ trong SQL

8.4.1 Truy vấn đơn giản trong SQL

8.4.2 Truy vấn trên nhiều quan hệ

8.4.3 Các truy vấn con

Chương 9 Khái niệm về cơ sở dữ liệu phân tán

9.1 Sự ra đời của cơ sở dữ liệu phân tán

9.1.1 Điều kiện ra đời của cơ sở dữ liệu phân tán 9.1.2 Các ưu điểm của cơ sở dữ liệu phân tán 9.2 Xử lý phân tán và cơ sở dữ liệu phân tán

9.2.1 Xử lý phân tán

9.2.2 Cơ sở dữ liệu phân tán

9.3 Hệ quản trị cơ sở dữ liệu phân tán

9.3.1 Chức năng

9.3.2 Các thành phần

9.4 Các đặc trưng trong suốt của cơ sở dữ liệu phân tán 9.4.1 Trong suốt phân tán

9.4.2 Trong suốt giao dịch

9.4.3 Trong suốt thao tác và tối ưu câu hỏi

9.5 Thiết kế cơ sở dữ liệu phân tán

9.5.1 Thiết kế phân đoạn dữ liệu

9.5.2 Thiết kế định vị dữ liệu

9.5.3 Thiết kế nhân bản dữ liệu

6 Học liệu

6.1 Học liệu bắt buộc

[1] Nguyễn Tuệ : Giáo trình nhập môn hệ cơ sở dữ liệu

Trang 37

[2] Peter Rob, Carlos Coronel Database system: Design, implementation and management

[3] Ramez Elmarsi, Shamkant B Navathe Fundamentals of Database Systems, Addison -Wesley, 2000

[4] Hector Garcia-Molina, Jeffrey D.Ullman, Jennifer Widom Database System : The Complete book Prentice Hall, 2002

Lý thuyết

Bài tập

Thảo luận

ND 1: Giới thiệu các khái

niệm cơ bản về hệ cơ sở dữ

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Định nghĩa cơ sở

dữ liệu và sự phát triển của cơ sở dữ liệu

Trang 38

- Định nghĩa hệ quản trị cơ sở dữ liệu

- Mô hình cơ sở

dữ liệu Bài tập

về hệ cơ sở dữ liệu

Nội dung 2, tuần 2+3+4: Thiết kế mô hình liên kết thực thể

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Các phần tử của

mô hình liên kết thực thể: kiểu thực thể và kiểu liên kết

- Lược đồ liên kết thực thể

- Thiết kế mô hình liên kết thực thể

- Mô hình liên kết thực thể mở rộng

đến Tại GĐ2

- Thiết kế mô hình liên kết thực thể cho hai bài toán quản lý, với tập hợp các yêu cầu

đã cho trước

- Thiết kế mô hình liên kết thực thể

mở rộng Thảo luận Từ

đến

Trang 39

Tại GĐ2 Thực hành, thí

cứu

Nắm vững các nguyên tắc thiết

kế mô hình liên kết thực thể

Nội dung 3, tuần 5+6+7: Mô hình dữ liệu quan hệ

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Các cơ sở của

mô hình quan hệ

- Các ràng buộc trên mô hình quan

hệ

- Chuyển đổi lược

đồ liên kết thực thể thành lược đồ quan hệ

- Đại số quan hệ

đến Tại GĐ2

Làm bài tập để nắm vững:

- Các nguyên tắc chuyển đổi lược

đồ liên kết thực thể sang lược đồ quan hệ, đảm bảo các ràng buộc trên

mô hình quan hệ

- Nắm vững các phép toán đại số quan hệ

Làm các bài tập ví

dụ trên lớp

Thảo luận Từ

Trang 40

cứu viện, ở nhà được giao về nhà

Nội dung 4, tuần 8: Kiểm tra giữa kỳ, thời gian 60 phút

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

Các nội dung đã học trong 6 tuần trước đó

cứu

Nội dung 5, tuần 9+10+11: Phụ thuộc hàm và thiết kế lược đồ cơ sở dữ liệu quan hệ

dạy học

chuẩn bị

Ghi chú

Lý thuyết Từ

đến Tại GĐ2

- Phụ thuộc hàm:

các khái niệm phụ thuộc hàm, khoá của quan hệ, siêu khoá

- Các quy tắc về phụ thuộc hàm:

tách, hợp; các phụ thuộc hàm tầm thường

- Tính bao đóng của các thuộc tính

- Tập đóng các phụ thuộc hàm

Đây là nội dung khó, sinh viên cần đọc tài liệu trước khi học lý thuyết

Định dạng
Số trang	358
Dung lượng	1,55 MB