BỘ GIÁO DỤC VÀ ĐÀO TẠO DAI HOC HUE
TRUONG DAI HOC KHOA HOC
TRAN NGOC TAI
THIET KE CO SO DU LIEU THỜI GIAN CHO QUAN LY DAO TAO
TAI TRUONG THPT
CHUYEN NGANH: KHOA HOC MAY TINH MA SO: 60.48.01.01
LUAN VAN THAC SI KHOA HOC DINH HUONG NGHIEN CUU
NGUOI HUONG DAN KHOA HOC
PGS.TS HOANG QUANG
Thừa Thiên Huế, 2018
Trang 2LỜI CAM ĐOAN
Tơi cam đoan đây là cơng trình nghiên cứu của riêng tơi dưới sự hướng dẫn khoa học của PGS.TS Hồng Quang
Các số liệu, kết quả nêu trong luận văn là trung thực và chưa từng được cơng bố trong bắt kỳ cơng trình nào khác
Học viên
Trang 3
Luận văn được hồn thành bởi sự hướng dân của PGS.TS Hồng Quang Tác giả xin tỏ lịng trì ân đến Thây, người đã nhiệt tình hướng dẫn và truyền đạt những kinh nghiệm quí báu trong nghiên cứu khoa học Người luơn dành những
tình cảm tốt đẹp cho tác giả trong suốt thời gian làm luận văn
Tác giả xin chân thành cảm ơn Quy Thầy, Cơ giáo giảng dạy lớp Khoa học máy tính khĩa 2016 - 2018 và các thầy cơ trong khoa Cơng nghệ thơng tin trường
Đại học khoa học Huế đã tận tình day dé, truyén đạt kiến thức và kinh nghiệm cho
tác giả trong hai năm học vừa qua
Xin to long biét on Phong dao tao sau Dai hoc truong Dai hoc khoa hoc Hué và Phịng đào tạo trường Đại học Phú Yên đã luơn giúp dé, tao điểu kiện để tác
giả hồn thành khĩa học
Xin to lịng biết ơn các đơng nghiệp ở cơ quan, gia đình và những người thân
đã luơn động viên, giúp đồ, tạo điểu kiện để tác giả hồn thành luận văn này
Nhân đây tác giả cũng xin dành những tình cảm tốt đẹp nhất và lời cảm ơn đến các bạn trong lớp Khoa học máy tính khỏa 2016 - 2018 về những quan tâm giúp đồ của họ dành cho tác giả
Trang 4MỤC LỤC ID 0\)28/10/9190.(0:790 c1 i )/.9):8 00/919 (00.10450015 ii DANH MỤC CÁC CHỮ VIẾT TẮTT <<©+++++++x+t+xst+xst+xetsxsssssee iii I9)80)/006)7 00577 A gH.).H,HA 1 CHƯƠNG1 TỎNG QUAN VẺ CƠ SỞ DỮ LIỆU THỜI GIAN 3 1.1 GIỚI THIỆU CƠ SỞ DỮ LIỆU THỜI GIAN . 2-2222222222222222222222xe2 3
1.121 1Cácđloại thời giaTuxessseesesrrnnerrnrnneririindtrhicostiaritirsesreiiistoeroirentiaodserestoanf 4 1.12 Kết hợp yếu tố thời gian trong cơ sở dữ liệu quan hệ - 4
12 MƠ HÌNH THIẾT KÉ CƠ SỞ DỮ LIỆU CO YEU TO THOI GIAN 6 1.2.1 Mơ hình CSDL mức khái niệm cĩ yếu tố thời gian 7 1.2.2 Mơ hình CSDL mức logic cĩ yếu tổ thời gian . 2 22z-2 § 1.243 Mơ hình CSDL mức vật lý cĩ yếu tố thời gian -sc2¿ 10 1.3 MƠ HÌNH CƠ SỞ DỮ LIỆU TIMEER 2222 22S2221222112212212212222 e6 11 1.4 CHUYEN DOI MO HINH TIMEER SANG MO HINH QUAN HE 14 1.5 TIỂU KẾT CHƯƠNG l -©222222222122212212212212212211221.22 e6 20 CHUONG 2 THIET KE CO SO DỮ LIỆU THỜI GIAN CHO QUAN LY
ĐÀO TẠO TẠI TRƯỜNG TRUNG HỌC PHƠ THƠNG 21
2.1 TONG QUAN QUY TRINH THUC HIEN QUAN LY DAO TAO TAI
Trang 52.3.1 Hỗ trợ yếu tố thời gian cho các đối tượng 22-22zcs2zerscee 27
2.3.2 Thiết kế mơ hình TimeER cho hệ thống .-2- 22 2z22zz222cz2 29 2.4 THIẾT KẾ MƠ HÌNH CƠ SỞ DỮ LIỆU Ở MỨC LOGIC . - 30 2.5 THIẾT KÉ CẬP NHẬT THUỘC TÍNH THỜI GIAN . -:52-52s¿ 31 2.6 TIỂU KÉT CHƯƠNG 2 52-2222222212111221211211211211221222 ae 33 CHUONG3 XAY DUNG CHUONG TRINH CHO QUAN LY DAO TAO
TAI TRUONG TRUNG HOC PHO THONG Wu secssssssssssssssscssssssssecssscssssccsscessees 34
3.1 PHÁT BIÊU BÀI TỐN -22222222221222122112212211222222ee 34 3.2 PHÂN TÍCH BÀI TỐN -22222122212221221122122222222ee 35
Trang 6Bang 1.1
thoi gian
DANH MUC CAC BANG
Trang Xét một vài bộ trong bảng NhanVien với thuộc tinh lương thay đổi theo
Bảng 1.2 Tập các thuộc tính nhãn thời gian hỗ trợ cho các tập thực thể và mối
h0 44435455 15
Bảng 1.3 Tập các thuộc tính nhãn thời gian hỗ trợ cho các thuộc tính 17
Bảng 2.1 Mơ tả chỉ tiết các tập thực thể - 22222 22122211221221221222222 e6 24 Bảng 2.2 Mơ tả mối quan hệ 222 2221221122122112211211127112111201121121221222 e6 26 Bảng 2.3 Ví dụ về yếu tố thời gian hỗ trợ cho tập thực thề GIAOVIEN 28
Bảng 2.4 Ví dụ về yếu tố thời gian hỗ trợ cho tập thực thê NAMHOC 28
Bảng 2.5 Ví dụ về yếu tố thời gian hỗ trợ cho tập thực thề TUAN -.- 29
Bảng 2.6 Ví dụ về yếu tố thời gian hỗ trợ cho mối quan hệ HOC - 29
Trang 7DANH MỤC CÁC HÌNH VẼ
Trang
Hình 1.1 Quy trình thiết kế CSDL cĩ yếu tố thời gian . 5 -¿ 6
Hình 1.2 Một ví dụ về mơ hình TimeEiR 22 2 2E 251255121151211515123211x 5E xe 11
Hình 1.3 Chuyển đổi các tập thực thể khơng tham gia vào mối quan hệ 16 Hình 2.1 Mơ hình ER của hệ thống -22©22222122E1221122112211271221211222 e0 27 Hình 2.2 Mơ hình TimeER của hệ thống 2252 22212212212221122122112222 e6 30 Hình 2.3 Mơ hình CSDL quan hệ của hệ thống 22 2222222EE222122212222222222, 31 Hình 3.1 Biểu đồ UseCase của hệ thống 2- 222222 221222122212222212222 e6 36 Hình 3.2 Giao diện chính của chương trình ĩc c2 Series 37 Hình 3.3 Giao diện chức năng quản lý giáo VIÊN St St Snnnrsierrrrerrsres 38 Hình 3.4 Giao diện chức năng phân dạy mơn học - ¿5c cccscxscsvrsrsvxsres 39 Hình 3.5 Giao diện chức năng quản lý năm học c5: 2S ‡sxsvxsvxsrrsrrrxsres 39 Hình 3.6 Giao diện chức năng quản lý lớp ĩc 2S c St EsrErrrrxsrrerrrrersrer 40 Hình 3.7 Giao diện chức năng quản lý tuần - 2-2222 2222221222122121122,2 e6 41 Hình 3.8 Giao diện chức năng phân gid nam hoc eee eeeceeeeeeeeeeteeteeeneenes 42 Hình 3.9 Giao diện chức năng sinh chương trình tự động -: c s55: 43
Hình 3.10 Giao diện chức năng cập nhật thực hiện tUẦN à 2c 2n nen re 43
Hình 3.11 Giao điện chức năng thống kê tiến độ 22222 2212221222122122.e6 44 Hình 3.12 Giao điện chức năng thống kê số lượng 2-22+222222122212212222ee 45 Hình 3.13 Giao điện chức năng thống kê giờ .-2©22222222122212221221122222 e6 46
Hình 3.14 Giao điện thống kê lịch sử phân dạy 22 2¿222t22E2221221222122222e 47
Trang 8BT CNTT CSDL DM ER EER GV LS LT THPT TimeER TT TTE TTS VT VTE VTS VTS DANH MUC CAC CHU VIET TAT : BiTemporal : Cơng nghệ thơng tin : Cơ sở dữ liệu : Danh mục : Entity Relationship : Extended Entity Relationship : Giáo viên : Le Span : Lifespan and Transaction time : Trung học phổ thơng : Time Extended EER : Transaction Time : Transaction Time End : Transaction Time Start : Valid Time
: Valid Time End : Valid Time Start
: Valid Time Start
Trang 9LỜI MỞ ĐẦU
Một trong những vấn đề quan tâm nhất hiện nay là làm sao đề thơng tin lưu trữ thể hiện đầy đủ ý nghĩa về mặt “lịch sử” nghĩa là thơng tin phải “đúng” trong quá
khứ đến hiện tại Dé làm được điều này người thiết kế phải đưa các yếu tố thời gian
vào khi xây dựng hệ thống.Yếu tố thời gian thường được quan tâm trong các hệ CSDL là “thời gian hợp lệ” (Valid Time), “thoi gian giao tac” (Transaction Time) CSDL cĩ yếu tố thời gian là mở rộng của CSDL truyền thống bằng cách cho phép lưu trữ và truy nhập các thơng tin về thời gian
Sử dụng cơ sở đữ liệu cĩ yếu tổ thời gian vào các mặt quản lý trong giáo dục là nhu cầu thực tế hiện nay Nĩ giúp cho việc quản lý được dễ dàng, nhanh và hiệu quả hơn
Trường THPT Nguyễn Thị Minh Khai - Tây Hịa - Phú Yên được thành lập
vào tháng 8 năm 1998 là đơn vị trường học trực thuộc Sở Giáo dục và Đào tạo tỉnh
Phú Yên Đây là ngơi trường mà tơi đang cơng tác
Trường cĩ chức năng và nhiệm vụ giáo dục và dao tao bac THPT, bồi dưỡng học sinh giỏi, phụ đạo học sinh yếu và dạy hướng nghiệp cho học sinh
Trường THPT Nguyễn Thị Minh Khai - Tây Hịa - Phú Yên được biên chế
thành các tổ chuyên mơn như: tổ Tốn, tơ Tin, tổ Lý, tổ Hĩa, tơ Sinh, tổ TD - QP, tổ Ngữ văn, tổ Sử - GDCD, tơ Địa, tơ Tiếng Anh và tổ Văn phịng
Trong quá trình quản lý hằng ngày, Ban Giám hiệu cũng như giáo viên cần các thơng tin của các lĩnh vực như:
- Quản lý các lớp học - Quản lý các mơn học
- Quản lý việc phân cơng giảng dạy
Trang 10Cơng tác giảng dạy của giáo viên là một trong những yếu tố quan trọng để
phục vụ các cơng tác khác như đánh giá chất lượng dạy và học, xét thị đua, khen
thưởng, nâng lương Vì thế địi hỏi các thơng tin lưu trữ về thời gian giảng dạy của từng giáo viên phải thê hiện đầy đủ ý nghĩa về mặt “lịch sử”, nghĩa là thơng tin phải “đúng” trong quá khứ đến hiện tai Vì vậy, việc đây mạnh ứng dụng cơng nghệ thơng tin càng trở nên cấp bách nhằm mục đích tin học hĩa cơng tác quản lý, điều
hành của đơn vị
Xuất phát từ thực tế trên, tơi đã chọn hướng nghiên cứu về “Thiết kế cơ sở dữ liệu thời gian cho quản lý đào tạo tại trường trung học phổ thơng"
+* Mục tiêu của luận văn
- Nghiên cứu khái niệm về CSDL thời gian và từ đĩ áp dụng cụ thể mơ hình TimeER để đáp ứng mục đích của đề tài
- Tìm hiểu quy trình thiết kế cơ sở dữ liệu thời gian bằng mơ hình TimeER - Biểu diễn các thành phần của mơ hình TimeER bằng mơ hình ER
- Ứng dụng kết quả nghiên cứu trong việc xây dựng cơ sở đữ liệu thời gian trong việc quản lý cơng tác đào tạo tại trường THPT
s* Cấu trúc của luận văn
Luận văn gồm cĩ phần mở đầu, ba chương nội dung, kết luận, tài liệu tham khảo và phụ lục
Chương 1: Tổng quan về cơ sở dữ liệu thời gian
Chương 2: Thiết kế cơ sở dữ liệu thời gian cho quản lý đảo tạo tại trường THPT
Trang 11Quan hệ theo hai loại thời gian: gồm cả bốn thuộc tính thời gian sau: VTs, VTe, TTs, TTe Khĩa chính của quan hệ là sự kết hợp giữa khĩa phi thời gian và
các thuộc tính VTs, VTe, TTs
Trang 121.2 MO HÌNH THIẾT KẾ CƠ SỞ DỮ LIỆU CĨ YÊU TĨ THỜI GIAN
Đề hỗ trợ cho việc quản lý tốt đữ liệu cĩ yếu tố thời gian thi ta phải mở rộng các cấu trúc CSDL trong các mơ hình CSDL cĩ yếu tố thời gian Cơng việc phức tạp nhất khi thiết kế CSDL cĩ yếu tố thời gian đĩ là việc đưa thời gian vào mơ hình CSDL vì sự phức tạp của đữ liệu cĩ yếu tố thời gian Tương tự với các bước thiết kế CSDL thơng thường, việc thiết kế CSDL cĩ yếu tố thời gian cũng được tiến hành theo từng mức như vậy (Hình 1.1) Sau đây là phần giới thiệu sơ lược về các mơ hình CSDL cĩ yếu tố thời gian ở từng mức thiết kế
Các yêu cầu thực tễ về CSDL
Thiết kế CSDL cĩ yếu tổ thời
gian ở mức khái niệm Mơ hình ở mức khái niệm Ỳ Thiết kế CSDL cĩ yếu tổ thời gian ở mức logic Mơ hình ở mức logic v Thiết kế CSDL cĩ yếu tổ thời gian ở mức vật lý Mơ hình ở mức vật lý v
Lap trinh va cai dat CSDL
Trang 131.2.1 Mơ hình CSDL mức khái niệm cĩ yếu tố thời gian
Lược đồ CSDL ở mức khái niệm của một hệ thống thơng tin là một mơ hình
thơng tin cơ bản trong suốt quá trình thiết kế Lược đồ đĩ là những địi hỏi, những yêu cầu của người sử dụng đối với phạm vi của ứng đụng, và nĩ được chuyên thành các cấu trúc thơng tin tĩm tắt Khi phát triển các yêu cầu này trong thiết kế ở mức khái niệm, yếu tổ thời gian đã được đưa vào Điều này làm tăng tính phức tạp của
mơ hình khái niệm, làm cho nĩ khĩ hiểu và khĩ sử dụng Để làm giảm bớt các trở
ngại này, chúng ta phải chọn ra một hình thức đơn giản nào đĩ nhưng phải cải thiện
được độ tin cậy của quá trình phân tích Mơ hình này phải đem lại ba thuận lợi:
- Người phát triển ứng dụng cho rằng nĩ phải đễ sử dụng hơn khi các loại thời gian được đưa vào trong các bản ghi thơng tin của mơ hình ứng dung
- Phải đảm bảo cho khoảng cách giữa mơ hình ở mức khái niệm và mơ hình
quan hệ của nĩ hẹp hơn, một yếu tố mà được các nhà lập trình đánh giá cao
- Lược đồ biêu diễn trong mơ hình cĩ thể được chuyền đổi thành các cấu trúc đơn giản hơn mà khơng làm mất thơng tin chuyển đổi
Mơ hình ở mức khái niệm là mơ hình thực thể-mối quan hệ, mơ hình này gồm ba cấu trúc chính: thực thể, mối quan hệ, thuộc tính Mỗi cấu trúc cĩ thể là phi
thời gian hay cĩ yếu tổ thời gian Trong trường hợp các cấu trúc là phi thời gian, thì
những trạng thái hiện thời là được quan tâm, ngược lại, chúng ta quan tâm đến việc
lưu trữ các trạng thái quá khứ, hiện tại và tương lai Trong mơ hình này, người ta dùng thẻ thời gian để biểu diễn các loại thời gian trong CSDL
Mỗi tập thực thể cĩ một định danh chính (hay khĩa chính) Nếu một tập thực thể là cĩ yếu tố thời gian, thì với mỗi thực thể đã hay đang tổn tại, lúc nĩ ra đời
hay lúc kết thúc đều cĩ thể nhận biết được (đây chính là thời gian hợp lệ), hay lúc
ghi lại chúng (trong CSDL) và lúc xĩa bỏ chúng cũng cĩ thé biết được (đây chính là thời gian giao tác) Các thơng tin này đều là ngầm ấn và khơng phải là bộ phận
Trang 141.2.3 Mơ hình CSDL mức vật lý cĩ yếu tố thời gian
Lược đỗ ở mức vật lý mơ tả các cấu trúc dữ liệu thực tế được cài đặt Lược
đồ này được suy ra chủ yếu từ lược đồ ở mức logic Khi được so sánh với lược đồ ở
mức logic, lược đỗ ở mức vật lý cĩ các tính chất hỗ trợ cho cài đặt như sau
Mơ hình ở mức logic biểu diễn mỗi tập thực thể hay tập mối quan hệ như
một bảng đơn với mỗi dịng biểu diễn một trạng thái của một thực thể hay một mối
quan hệ Ở mức vật lý, các trạng thái và các dịng cĩ thê được sắp xếp, chia ra và
sao lại để thu được một khơng gian tốt hơn, cải thiện được việc cài đặt
Một bảng theo hai loại thời gian ở mức vật lý bao gồm các trạng thái hợp lệ hiện
thời (TTe = œ A VTe = 09), cac trang thai qua khứ hợp lệ (Te = œ A Ve< œ) và các trạng thái khơng hợp lệ (TTe < œ) Với loại thời gian này, người thiết kế cĩ thể đưa ra nhiều mẫu sắp xếp khác nhau, mỗi mẫu cĩ những thế lợi và những trở ngại riêng: thử nhất xếp tất cả các trạng thái trong cùng một bảng, thứ hai là xếp tất cả các
trạng thái trong cùng một bảng + một bản sao các trạng thái hợp lệ hiện thời trong một
bảng khác, thứ ba là xếp các trạng thái hợp lệ hiện thời trong một bảng + tất cả các trạng thái khác trong bảng khác,thứ tư là xếp các trang thái hợp lệ trong một bảng + các trạng thái khơng hợp lệ trong bảng khác Các bảng với chỉ một loại thời gian cĩ thé
được tổ chức theo cách tương tự
Trong khi đĩ, một bảng ở mức logic bao gồm tất cả các cột thuộc tính của
thực thể và mối quan hệ mới - nhiều (như các khĩa ngồi), các thuộc tính này là cĩ
yếu tố thời gian hay phi thời gian Việc lưu trữ các dịng trong một bảng đơn hay sắp xếp các cột thành các bảng đồng nhất theo thời gian cĩ lẻ giảm được nhiều đư
thừa Ba mẫu sắp xếp đặc biệt: tất cả các cột được xếp trong một bảng đơn, các cột
phi thời gian tạo thành một bảng và bảng thứ hai dành cho các cột cĩ yếu tố thời gian, các cột phi thời gian tạo thành một bảng và mỗi cột cĩ yếu tố thời gian tạo thành một bảng riêng
Khi thiết kế CSDL ở mức vật lý, việc lập chỉ mục sẽ cải thiện thời gian truy
cập cho các phép tốn một cách nhanh hơn Một vài phép tốn theo thời gian cĩ thé
Trang 156© MaNV: khĩa chính (mã nhân viên) o HoTen: tén nhan viên
o NgaySinh: ngay sinh cua nhân viên
o_ Luong: lương của nhân viên, hỗ trợ yếu tổ thời gian BT
- PHONGBAN (Tập các phịng ban) cĩ hỗ trợ thời gian là TT, gồm các
thuộc tính:
o MaPB: khoa chính (mã phịng ban) © TenPB: tên phịng ban
© VITn: vị trí phịng ban, thuộc tính đa trị cĩ hỗ trợ yếu tế thời gian VT
©_ LọNhuan: lợi nhuận của phịng ban, hỗ trợ yếu tố thời gian BT
- NGUOIQL (Tập các người quản lý): tập thực thếbiêu điễn lớp con của lớp cha là tập các nhân viên NHANVIEN, gồm các thuộc tính:
© ChucVu: chức vụ quản ly
- DUAN (Tập các dự án): khơng hỗ trợ thời gian, gồm các thuộc tính:
© MaDA: khĩa chính (mã dự an)
©_ NganSach: ngân quỹ của dự án, đây là thuộc tính phức hợp đơn trị
cĩ hỗ trợ yếu tố thời gian BT, gồm 2 thuộc tính đơn trị, đơn: ChiPhi
(Chi ra), ThuNhap (Thu vào)
- NGUOIPHUTHUOC (Tập các người phụ thuộc của nhân viên): khơng
hỗ trợ thời gian và là tập thực thê yếu của NHANVTIEN
o HoTen: tên người phụ thuộc
o QuanHe: mối quan hệ phụ thuộc với nhân viên NHANVTEN
Ngồi ra trong mơ hình TimeER này cịn cĩ các mối quan hệ sau:
- Thuoc: thể hiện ngữ nghĩa “nhân viên NHANVIEN thuộc phịng ban
PHONGBAN’”, gồm các thuộc tính:
Trang 16với tậpthực thé E, ký hiệu la R(EZ), c6 tap thudc tinh la JD(E) vu fAy, Ao, .,
A,}.Khoa chính của quan hệ R(E) la ID(E)
b) Chuyén déi tap thue thé yéu: Xét E là tập thực thể yếu của mối quan
hé dinh danh S co tap thuc thể chủ là E’ Gia str E 06 khéa b6 phận là X c {A,, 4;, , An} Khi đĩ, ta tạo ra một quan hệ chinh R(E) cĩ tập thuộc tính là FK
UfA,, Ay, ., An}, với ƑK là khĩa ngồi tham chiếu đến quan hệ RŒ') Khi đĩ,
khĩa chính của R(E) la FKUX
Trên hình vẽ ta sử dụng ký hiệu “f.k” theo sau tên các thuộc tính đĩng vai trị khĩa ngồi
Một lưu ý chung rằng, trong trường hợp tập thực thể E cĩ hỗ trợ yếu tố thời gian (thời gian sống/giao tác), thì ta bố sung thêm một quan hệ mới được
gọi là quan hệ thời gian của tập thực thé E, ký hiéu la TR/(E), c6 tap thudc tinh la FK’u T, voi FK’ la khoa ngoai tham chiéu dén quan hé R/(E), va T la tap các
thuộc tính nhãn thời gian tương ứng với ký hiệu * của tập thực thể E cho 6 Bảng 1.2 Bảng 1.2 Tập các thuộc tính nhãn thời gian hỗ trợ cho các tập thực thé và mơi quan hệ (a) *=TS T= | LSs | Lse (b) *=T1T T= | TTs |TTe
(E) *=LT T= |TTs|TTe |LSs |LSe
Gọi 7'C7 là các thuộc tính cĩ gạch dưới trong bảng trên, khi đĩ khĩa chính của
quan hệ TR(E) là “K7
Trang 17: a ” (se) (O.N) a1) Employee 4 Dependent * R(Employee) EID |E_Name an TR(Dependent) D Name|E_ID f.k | Sex D _Name í.k |E_IDf.k.| T
Hình 1.3 Chuyên đổi các tập thực thê khơng tham gia vào mối quan hệ
Bước 2: Chuyển đổi các tập thực thể tham gia vào mối quan hệ lớp cha/lớp con
Với mỗi mối quan hệ lớp cha/lớp con, trong đĩ lớp cha E cĩ các lớp con là
S;, Sz, ., S,, ta tao ra quan hé chinh R(E) tương ứng với tập thực thể # để biểu
diễn lớp cha # Ngồi ra, giả sử mỗi lớp con Š; cĩ tập thuộc tính đơn trị phi thời
gian riêng là X,, thì ta tạo thêm n quan hệ được gọi là các quan hệ con, ký hiệu là
SR(S,), cĩ tập thuộc tính là FK2X; (với 7 = 1 n) và khĩa chính là FK, 6 day FK la khĩa ngồi tham chiếu đến quan hệ R/Z)
Nếu Ƒ hoặc Š;, Š;, , Š„ cĩ hỗ trợ yếu tố thời gian thì bé sung thém cac quan
hệ thời gian tương ứng với các tập thực thể này như Bước I
Bước 3: Chuyển đổi các thuộc tính đơn trị cĩ yếu tố thời gian của một
tập thực thể
Với mỗi thuộc tính 4 của EF 1a thuộc tính đơn trị cĩ yếu tổ thời gian, nếu các yếu tố thời gian hỗ trợ cho thuộc tính 4 được ký hiệu bởi dau *, thi ta tạo thêm một quan hệ được gọi là quan hệ thời gian biểu diễn thuộc tính 41 của E, ký hiệu là TRuŒ), cĩ tập thuộc tinh la FKUAU T, voi FK là khĩa ngồi tham chiếu đến quan
Trang 18Lưu ý rằng, việc chuyên đổi các mối quan hệ cĩ yếu tổ thời gian khác (khơng
thuộc tính hay cĩ thuộc tính), như mối quan hệ phản xạ, mối quan hệ đa nguyên cũng được thực hiện tương tự như Bước 6 hoặc Bước 7
1.5 TIỂU KẾT CHƯƠNG 1
Do tính thực tiễn của việc đưa yếu tổ thời gian vào CSDL, trong chương này phần đầu chúng tơi giới thiệu tổng quan về CSDL thời gian, trình bay các khái niệm chung trong CSDL thời gian, mơ hình theo thời gian ở các mức khái niệm, logic va vật lý cũng được trình bày sơ lược
Phần này cũng giới thiệu một trong số các mơ hình ER cĩ hỗ trợ yếu tổ thời gian là mơ hình TimeER Tương tự như mơ hình ER, mơ hình TimeER cũng cĩ ba
cấu trúc chính là tập thực thể, mối quan hệ và thuộc tính Tuy nhién, do TimeER la
mơ hình ER cĩ hỗ trợ yếu tố thời gian nên ba cấu trúc này đều cĩ thê hỗ trợ yếu tố thời gian Mơ hình CSDL cĩ yếu tố thời gian TimeER được trình bày chỉ tiết nhằm
làm cơ sở cho việc tơ chức lưu trữ dữ liệu, minh họa của luận văn
Trong chương tiếp theo của luận văn sẽ giới thiệu về thiết kế CSDL thời gian cho quản lý cơng tác đào tạo tại trường THPT
Trang 19- Tập thực thể Mơn học (MONHOC) Mỗi mơn học cĩ một mã mơn học
(MAMH) duy nhất, mỗi MAMH xác định tên mơn học (TENMH), số tiết
(SOTIET) Ứng với mỗi lớp thì mỗi mơn học chỉ được phân cho một giáo viên
- Tập thực thê Tổ chuyên mơn (TO) Mỗi tơ cĩ một mã tổ (MATO) duy nhất,
mỗi MATO xác định thơng tin như tên tơ (TENTO)
- Tập thực thể Khối (KHOD) Mỗi khối cĩ một mã khối (MAKHOI) duy nhất,
cĩ mối quan hệ cho lớp và thuộc mơn học
- Tập thực thê Lớp (LOP) Mỗi lớp cĩ một mã lớp (MALOP) duy nhất, mỗi lớp cĩ một tên lớp (TENLOP), sĩ số lớp (SISO), mỗi lớp học nhiều mơn học
- Tập thực thể Tuần (TUAN) Mỗi tuần được xác định thơng tin như tuần thứ (TUANTHU), từ ngày (TUNGAY), đến n gày (DENNGAY)
- Tập thực thể Năm học (NAMHOC) Mỗi năm học cĩ một mã năm học (MANH) duy nhất, mỗi năm học cĩ tên măm học (TENNH), ngày bắt đầu (NGAYBD)
- Tap thuc thể Chức vụ (CHUCVU) Mỗi Chức vụ cĩ mã Chức vụ (MaCV) duy nhất, mỗi Chức vụ cĩ một tên chức vụ (TENCV) Can bộ, giáo viên cĩ thể cĩ nhiều chức vụ, kiêm nhiệm trong cùng một khoảng thời gian Dựa vào số tiết chuẩn,
chức vụ và kiêm nhiệm của từng giáo viên để tính ra số tiết mà giáo viên đĩ cần
thực hiện trong năm học
Các tập thực thể được mơ tả chỉ tiết trong Bảng 2.1 sau:
Trang 202.6 TIEU KET CHUONG 2
Trong chương này, từ mơ tả bài tốn trong thế giới thực về việc quan ly dao
tạo tại trường THPT, chúng tơi đã thiết kế CSDL thời gian ở các mơ hình mức khái
niệm, chuyển đổi mơ hình TimeER từ mức khái niệm sang mơ hình quan hệ (mức logic), đồng thời xây dựng được biểu đỗ ngữ cảnh dựa trên việc mơ tả hoạt động
quản lý cơng tác giảng dạy của giáo viên tại trường THPT