Ràng buộc trên nhiều quan hệ

Một phần của tài liệu Phân tích thiết kế và xây dựng ứng dụng hỗ trợ quản lý chất lượng đào tạo ở trường cấp III (Trang 89 - 122)

III. Ràng buộc toàn vẹn và bảng tầm ảnh hưởng

2.Ràng buộc trên nhiều quan hệ

a. Ràng buộc tồn tại (Ràng buộc khóa ngoại):

• RB1: Sophieu là khóa ngoại của bảng CT_PhieuGNTT, tham khảo từ bảng PhieuGNTT. ∀ t ∈ CT_PhieuGNTT , ∃ s ∈ PhieuGNTT t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB2 Thêm Xóa Sửa

CT_PhieuGNTT + - + Sophieu

PhieuGNTT - + + Sophieu

• RB2: MaLoaiLop là khóa ngoại của bảng Lop, tham khảo từ bảng LoaiLop.

∀ t

∈ Lop , ∃ s ∈ LoaiLop t. MaLoaiLop = s. MaLoaiLop

Bảng tầm ảnh hưởng :

RB2 Thêm Xóa Sửa

LoaiLop - + + MaLoaiLop

• RB3: MaKhoi là khóa ngoại của bảng Lop, tham khảo từ bảng Khoi.

∀ t ∈ Lop , ∃ s ∈ Khoi t. MaKhoi = s. MaKhoi

Bảng tầm ảnh hưởng :

RB3 Thêm Xóa Sửa

Lop + - + MaKhoi

Khoi - + + MaKhoi

• RB4: Sophieu là khóa ngoại của bảng CT_PhieuGNDR, tham khảo từ bảng PhieuGNDR. ∀ t ∈ CT_PhieuGNDR , ∃ s ∈ PhieuGNDR t. Sophieu = s. Sophieu

RB4 Thêm Xóa Sửa

CT_PhieuGNDR + - + Sophieu

PhieuGNDR - + + Sophieu

• RB5:Sophieu là khóa ngoại của bảng CT_PhieuGNKQHT, tham khảo từ bảng PhieuGNKQHT.

∀ t ∈ CT_PhieuGNKQHT , ∃ s ∈ PhieuGNKQHT t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB5 Thêm Xóa Sửa

CT_PhieuGNKQHT + - + Sophieu

PhieuGNKQHT - + + Sophieu

• RB6: MaLop là khóa ngoại của bảng CT_PhieuGNKQHT, tham khảo từ bảng Lop.

∀ t ∈ CT_PhieuGNKQHT , ∃ s ∈ Lop t. MaLop = s. MaLop

RB6 Thêm Xóa Sửa (adsbygoogle = window.adsbygoogle || []).push({});

CT_PhieuGNKQHT + - + MaLop

Lop - + + MaLop

• RB7: MaLop là khóa ngoại của bảng CT_PhieuGNTT, tham khảo từ bảng Lop.

∀ t ∈ CT_PhieuGNTT , ∃ s ∈ Lop t. MaLop = s. MaLop

Bảng tầm ảnh hưởng :

RB7 Thêm Xóa Sửa

CT_PhieuGNTT + - + MaLop

Lop - + + MaLop

• RB8: MaLop là khóa ngoại của bảng CT_PhieuGNDR, tham khảo từ bảng Lop.

∀ t ∈ CT_PhieuGNDR , ∃ s ∈ Lop t. MaLop = s. MaLop

RB8 Thêm Xóa Sửa

CT_PhieuGNDR + - + MaLop

Lop - + + MaLop

• RB9: MaLop là khóa ngoại của bảng DanhGia, tham khảo từ bảng CT_PhieuGNDR.

∀ t ∈ DanhGia , ∃ s ∈ CT_PhieuGNDR t. MaLop = s. MaLop

Bảng tầm ảnh hưởng :

RB9 Thêm Xóa Sửa

DanhGia + - + MaLop

CT_PhieuGNDR - + + MaLop

• RB10: MaTruong là khóa ngoại của bảng DanhGia, tham khảo từ bảng DH_CD_TC.

∀ t

Bảng tầm ảnh hưởng :

RB10 Thêm Xóa Sửa

DanhGia + - + MaTruong

DH_CD_TC - + + MaTruong

• RB11: Malt là khóa ngoại của bảng DH_CD_TC, tham khảo từ bảng LoaiTruong.

∀ t ∈ DH_CD_TC , ∃ s ∈ LoaiTruong t. Malt = s. Malt

Bảng tầm ảnh hưởng :

RB11 Thêm Xóa Sửa

DH_CD_TC + - + Malt (adsbygoogle = window.adsbygoogle || []).push({});

LoaiTruong - + + Malt

• RB12: MaLop là khóa ngoại của bảng HocSinh, tham khảo từ bảng Lop.

t. MaLop = s. MaLop

Bảng tầm ảnh hưởng :

RB12 Thêm Xóa Sửa

HocSinh + - + MaLop

Lop - + + MaLop

• RB13: MaHS là khóa ngoại của bảng CT_PhieuGNTTHS, tham khảo từ bảng HocSinh. ∀ t ∈ CT_PhieuGNTTHS , ∃ s ∈ HocSinh

t. MaHS = s. MaHS

Bảng tầm ảnh hưởng :

RB13 Thêm Xóa Sửa

CT_PhieuGNTTHS + - + MaHS

HocSinh - + + MaHS

• RB14: Sophieu là khóa ngoại của bảng CT_PhieuGNTTHS, tham khảo từ bảng PhieuGNTTHS.

∀ t ∈ CT_PhieuGNTTHS , ∃ s ∈ PhieuGNTTHS t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB14 Thêm Xóa Sửa

CT_PhieuGNTTHS + - + Sophieu

PhieuGNTTHS - + + Sophieu

• RB15: MaT là khóa ngoại của bảng BoMon, tham khảo từ bảng To.

∀ t ∈ BoMon , ∃ s ∈ To t. MaT = s. MaT

Bảng tầm ảnh hưởng :

RB15 Thêm Xóa Sửa

BoMon + - + MaT

• RB16: MaBM là khóa ngoại của bảng GiaoVien, tham khảo từ bảng BoMon.

∀ t

∈ GiaoVien , ∃ s ∈ BoMon t. MaBM = s. MaBM

Bảng tầm ảnh hưởng :

RB16 Thêm Xóa Sửa

GiaoVien + - + MaBM (adsbygoogle = window.adsbygoogle || []).push({});

BoMon - + + MaBM

• RB17: MaGV là khóa ngoại của bảng CT_PhieuGNTTGV, tham khảo từ bảng GiaoVien. ∀ t ∈ CT_PhieuGNTTGV , ∃ s ∈ GiaoVien t. MaGV = s. MaGV

Bảng tầm ảnh hưởng :

RB17 Thêm Xóa Sửa

CT_PhieuGNTTGV + - + MaGV

• RB18: Sophieu là khóa ngoại của bảng CT_PhieuGNTTGV, tham khảo từ bảng PhieuGNTTGV.

∀ t ∈ CT_PhieuGNTTGV, ∃ s ∈ PhieuGNTTGV t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB18 Thêm Xóa Sửa

CT_PhieuGNTTGV + - + Sophieu

PhieuGNTTGV - + + Sophieu

• RB19: MaLop là khóa ngoại của bảng CT_Bomon_Lop, tham khảo từ bảng Lop.

∀ t ∈ CT_Bomon_Lop, ∃ s ∈ Lop t. MaLop = s. MaLop

Bảng tầm ảnh hưởng :

CT_Bomon_Lop + - + MaLop

Lop - + + MaLop

• RB20: MaBM là khóa ngoại của bảng CT_Bomon_Lop, tham khảo từ bảng Bomon. ∀ t ∈ CT_Bomon_Lop, ∃ s ∈ Bomon t. MaBM = s. MaBM

Bảng tầm ảnh hưởng :

RB20 Thêm Xóa Sửa

CT_Bomon_Lop + - + MaBM

Bomon - + + MaBM

• RB21: Sophieu là khóa ngoại của bảng CT_PhieuGNCSVCPB, tham khảo từ bảng PhieuGNCSVC.

∀ t ∈ CT_PhieuGNCSVCPB, ∃ s ∈ PhieuGNCSVC

t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB21 Thêm Xóa Sửa

CT_PhieuGNCSVCPB + - + Sophieu

PhieuGNCSVC - + + Sophieu

• RB22: MaPB là khóa ngoại của bảng CT_PhieuGNCSVCPB, tham khảo từ bảng PhongBan.

∀ t ∈ CT_PhieuGNCSVCPB, ∃ s ∈ PhongBan t. MaPB = s. MaPB (adsbygoogle = window.adsbygoogle || []).push({});

Bảng tầm ảnh hưởng :

RB22 Thêm Xóa Sửa

CT_PhieuGNCSVCPB + - + MaPB

• RB23: Sophieu là khóa ngoại của bảng CT_PhieuGNCSVCKhoi, tham khảo từ bảng PhieuGNCSVC.

∀ t ∈ CT_PhieuGNCSVCKhoi, ∃ s ∈ PhieuGNCSVC

t. Sophieu = s. Sophieu

Bảng tầm ảnh hưởng :

RB23 Thêm Xóa Sửa

CT_PhieuGNCSVCPB + - + Sophieu

PhieuGNCSVC - + + Sophieu

• RB24: MaKhoi là khóa ngoại của bảng CT_PhieuGNCSVCKhoi, tham khảo từ bảng Khoi. ∀ t ∈ CT_PhieuGNCSVCKhoi, ∃ s ∈ Khoi t. MaKhoi = s. MaKhoi

Bảng tầm ảnh hưởng :

CT_PhieuGNCSVCKhoi + - + MaKhoi

Khoi - + + MaKhoi

• RB25: MaCSVC là khóa ngoại của bảng PhieuGNCSVC, tham khảo từ bảng CSVC.

∀ t ∈ PhieuGNCSVC, ∃ s ∈ CSVC t. MaCSVC = s. MaCSVC

Bảng tầm ảnh hưởng :

RB25 Thêm Xóa Sửa

PhieuGNCSVC + - + MaCSVC

CSVC - + + MaCSVC

b. Ràng buộc liên thuộc tính trên một quan hệ:

• RB1: Trong cùng một lớp, ∀ t ∈ CT_PhieuGNKQHT,

∑(t.Slxuatsac, t.Slgioi, t.Slkha, t.Sltb, t.Slyeu, t.kem) <= 50

Bảng tầm ảnh hưởng :

CT_PhieuGNKQHT - + + Slxuatsac, Slgioi, Slkha, Sltb, Slyeu, SlkemRB2: Trong cùng một lớp, ∀ t ∈ CT_PhieuBomon_Lop,

∑(t.Slxuatsac, t.Slgioi, t.Slkha, t.Sltb, t.Slyeu, t.kem) <= 50

Bảng tầm ảnh hưởng :

RB4 Thêm Xóa Sửa

CT_PhieuBomon_ Lop - + + Slxuatsac, Slgioi, Slkha, Sltb, Slyeu, Slkem

c. Ràng buộc liên thuộc tính, liên quan hệ: (adsbygoogle = window.adsbygoogle || []).push({});

• RB1: Trong cùng một lớp,

∀ t ∈ CT_PhieuGNTT, s ∈ CT_PhieuGNKQHT ∑( t.Slxuatsac, t.Slgioi, t.Slkha, t.Sltb) > =

∑( s.Slxuatsac, s.Slgioi, s.Slkha, s.Sltb, s.Slyeu, s.Slkem)

Bảng tầm ảnh hưởng :

RB1 Thêm Xóa Sửa

CT_PhieuGNTT - + + Slxuatsac, Slgioi, Slkha, Sltb CT_PhieuGNKQ HT + - + Slxuatsac, Slgioi, Slkha, Sltb, Slyeu, Slkem • RB2: Trong cùng một lớp, ∀ t ∈ CT_PhieuGNDR, s ∈ CT_PhieuGNKQHT ∑( t.Slhet12) < = ∑( s.Slxuatsac, s.Slgioi, s.Slkha, s.Sltb, s.Slyeu, s.Slkem)

Bảng tầm ảnh hưởng :

RB2 Thêm Xóa Sửa

Slgioi, Slkha, Sltb, Slyeu, Slkem CT_PhieuGNDR + - + Slhet12 • RB3: Trong cùng một lớp, ∀ t ∈ CT_PhieuGNDR, s ∈ DanhGia

∑( s.Sl) < = ∑( s.Sltnxuatsac, s.Sltngioi, s.Sltnkha, s.Sltntb)

Bảng tầm ảnh hưởng :

RB3 Thêm Xóa Sửa

CT_PhieuGNDR + + + Sltnxuatsac, Sltngioi, Sltnkha, Sltntb DanhGia + - + Sl RB4: Trong cùng một lớp,

∀ t ∈ CT_PhieuGNKQHT, s ∈ CT_Bomon_Lop ∑( t.Slxuatsac, t.Slgioi, t.Slkha, t.Sltb, t.Slyeu, t.kem) >= ∑( s.Slxuatsac, s.Slgioi, s.Slkha, s.Sltb, s.Slyeu, s.Slkem)

Bảng tầm ảnh hưởng :

RB4 Thêm Xóa Sửa

CT_PhieuGNKQ HT - + + Slxuatsac, Slgioi, Slkha, Sltb, Slyeu, Slkem CT_Bomon_Lop + - + Slxuatsac, Slgioi, Slkha, Sltb, Slyeu, Slkem • RB5: Trong cùng một lớp, ∀ t ∈ CT_PhieuGNKQHT,

∑(t.Slxuatsac, t.Slgioi, t.Slkha, t.Sltb, t.Slyeu, t.kem) <= 50

RB4 Thêm Xóa Sửa

CT_PhieuGNKQHT - + + Slxuatsac,

Slgioi, Slkha, Sltb, Slyeu,

Chương 3:

GIAO DIỆN ỨNG DỤNG

M t s giao di n chính c a ng d ng : Form chính của chương trình

Một số Form của phần danh mục:

Danh mục học sinh :

Một số Form của phần Quản lý:

Phiếu ghi nhận tình hình đầu tư cơ sở vật chất khối

Một số Form của phần báo cáo

Form báo cáo kết quả học tập : (adsbygoogle = window.adsbygoogle || []).push({});

Form báo cáo kết quả đầu tư cơ sở vật chất khối:

Một số Form của phần tra cứu :

Một số Form của phần kết quả báo cáo

Chương 4:

KẾT LUẬN VAØ HƯỚNG PHÁT TRIỂN

I. Kết luận

1) Mặt thuận lợi:

i. Xây dựng được một chương trình ứng dụng hỗ trợ quản lý chất lượng đào tạo ở trường cấp III, giúp giáo viên quản lý hồ sơ được dễ dàng cũng như việc báo cáo kết quả tình hình học tập, tuyển sinh, thành tích hay kết quả đầu tư cơ sở vật chất được nhanh chóng hơn.

ii. Công nghệ: tìm hiểu các công nghệ .Net hỗ trợ mạnh cho quá trình triển khai ứng dụng. Ngoài ra, chúng em còn có điều kiện tìm hiểu hệ quản trị cơ sở liệu: SQL Server 2000.

2) Mặt khó khăn:

i. Do chưa nắm vững được các nghiêp vụ của trường học nên chúng em phải mất nhiều thời gian để tìm hiểu, đi đến trường học để tìm hiểu và xin các số liệu thống kê của trường.

ii. Do đề tài cần nhiều thời gian để hoàn thiện, nhưng thời gian làm đề tài của chúng em có hạn nên chúng em không thể đáp ứng được hết tất cả các yêu cầu của đề tài.

II. Hướng phát triển

1) Xây dựng chương trình ứng dụng đa chức năng hơn và hoàn chỉnh hơn để phục vụ tốt hơn cho việc quản lý chất lượng đào tạo ở trường học.

2) Trên nền tảng dữ liệu này, xây dựng thêm WebSite của trường học để cung cấp thông tin trực tuyếnï cho phụ huynh và học sinh.

3) Áp dụng chương trình hỗ trợ quản lý này cho nhiều trường phổ thôn, đồng thời xây dựng một chương trình nữa tổng hợp kết quả lấy từ chương trình hỗ trợ quản lý chất lượng của các trường để đánh giá chất lượng đào của từng trường theo một tiêu chuẩn nào đó do bộ giáo dục đào tạo đưa ra.

PHỤ LỤC

Một phần của tài liệu Phân tích thiết kế và xây dựng ứng dụng hỗ trợ quản lý chất lượng đào tạo ở trường cấp III (Trang 89 - 122)