Giao trinh PTTKHT chuong 4 tủ tài liệu bách khoa

Chương MƠ HÌNH TỔ CHỨC CỦA HTTT 4.1 Khái niệm Mơ hình tổ chức hệ thống thơng tin thiết lập từ hai mơ hình liên quan đến mơ hình tổ chức liệu mơ hình tổ chức xử lý Mơ hình tổ chức liệu hình thành chuyển đổi tập thực thể mối quan hệ mơ hình quan niệm liệu Ỏ mức tổ chức thông tin mô tả theo giải pháp sở liệu thực chất quan hệ logic chúng, nên mức tổ chức gọi mức logic Còn mơ hình tổ chức xử lý trả lời câu hỏi: Ai?, Khi nào?, Ở đâu?, Như nào? 4.2 Mơ hình liệu quan hệ Mơ hình liệu quan hệ Codd đề xuất năm 1970, hoàn thiện sử dụng rộng rãi hệ quản trị sở liệu thương mại Mơ hình liệu quan hệ có nhiều ưu điểm như: đơn giản, chặt chẻ, tính độc lập liệu chương trình cao, cung cấp cho ngôn ngữ truy cập liệu mức cao, dễ sử dụng Mơ hình quan hệ cho phép phân biệt rõ ràng ngữ nghĩa cấu trúc liệu Điều quan trọng cả, mơ hình quan hệ hình thức hố mơ hình đại số quan hệ, nghiên cứu phát triển với nhiều kết lý thuyết ứng dụng thực tiễn, đặc biệt ứng dụng vào việc thiết kế CSDL Đã có nhiều hệ quản trị CSDL xây dựng dựa mô hình đưa vào sử dụng rộng rãi như: DB2, Ingres, Sybase, Foxpro, Oracle, Informix, Microsoft SQL Server, Ở khơng trình bày chi tiết lý thuyết sở liệu quan hệ mà nhắc lại kiến thức liên quan để sử dụng cho trình thiết kế liệu hệ thống 4.2.1 Các định nghĩa a Quan hệ: 68 Cho D1, D2, , Dn n miền giá trị thuộc tính A1, A2, , An Một quan hệ r miền D1, D2, , Dn tập tích đê-cat D1 x D2 x x Dn Nghĩa là, quan hệ r bao gồm n-bộ  D1 x D2 x x Dn, di Di Người ta mô tả quan hệ bảng hai chiều giá trị, tập hợp quan hệ thời điểm b Lược đồ quan hệ: Một lược đồ quan hệ (relation scheme) hợp thành hai yếu tố: - Một cấu trúc, gồm tên quan hệ danh sách thuộc tính (mỗi thuộc tính gán với miền) thường cho dạng R(A1, A2, , An) - Một tập hợp ràng buộc, tức điều kiện mà quan hệ lược đồ phải thoả mãn Một thể quan hệ r (relation instance) lược đồ quan hệ R tập thoả tất ràng buộc thuộc lược đồ quan hệ R (gọi tắt thể hiện) Nếu cho t thuộc thể r lược đồ quan hệ R, X  U={A1, A2, , An}, ta ký hiệu: t[X] t chứa giá trị thuộc tính X Cho lược đồ quan hệ R, X  U, X gọi khoá (key) lược đồ quan hệ R thoả mãn hai điều kiện sau: (1) Với thể r, với hai t1, t2  r cho: t1[X] = t2[X] suy t1[U]= t2[U] (hay t1=t2) (2) Không tồn tập X’ X (X’ tập thực X) thoả điều kiện Một tập X thoả điều kiện (1) gọi siêu khoá (super key) lược đồ quan hệ R c Phụ thuộc hàm Định nghĩa: Cho tập U tập thuộc tính lược đồ quan hệ R, X Y tập U Ta nói R thoả phụ thuộc hàm X  Y (đọc là: X xác 69 định Y, Y phụ thuộc hàm vào X) nếu: với r thể R, với t1, t2  r ta có: t1[X] = t2[X] kéo theo t1[Y]= t2[Y] Ví dụ: Trong quan hệ Nhân viên, ta có: Mã NV  (Họ tên, quê quán, ngày sinh) Ý tưởng phụ thuộc hàm: phần tử lớp đối tượng xác định thông qua đại diện số lớp đối tượng khác Ví dụ: Cơng nhân (1,1) (0,n) thuộc MaCN Hten Xí nghiệp MaXN TenXN Với quy tắc quản lý: "mỗi cơng nhân ln thuộc xí nghiệp Biết cơng nhân biết xí nghiệp" Ta có phụ thuộc hàm: MaCN  Hten MaXN  TenXN Cơng nhân  Xí nghiệp Ví dụ 2: Xét mối quan hệ chiều HTTT quản lý thời khóa biểu PHỊNG HỌC MƠN HỌC Dạy học GIÁO VIÊN LỚP HỌC Ta có phụ thuộc hàm: (LỚP HỌC, MÔN HỌC) GIÁO VIÊN, (LỚP HỌC, MƠN HỌC)  PHỊNG HỌC Nếu hai tập thực thể có quan hệ ISA với nhau, giả sử (E isa E2) ta ln ln có E1E2 4.2 Mơ hình tổ chức liệu 4.2.1 Khái niệm Mơ hình tổ chức liệu hệ thống thông tin gọi mơ hình liệu logic Hiện nay, liệu biểu diễn nhiều mơ hình khác nhau: 70 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 Tuy nhiên, phần lớn hệ quản trị sở liệu thương mại sử dụng liệu theo mơ hình quan hệ, nên mơ hình tổ chức liệu thiết kế quan hệ mà đầu vào chúng mơ hình thực thể - mối quan hệ hệ thống Đây bước trung gian chuyển đổi mơ hình quan niệm liệu (gần với người sử dụng) mơ hình vật lý liệu (mơ hình máy tính), chuẩn bị cho việc cài đặt hệ thống 4.2.2 Quy tắc chuyển đổi Cho đến có nhiều hệ thống thông tin, đặc biệt CSDL quan hệ, thiết kế xuất phát từ mơ hình ER Theo cách này, người ta xem trình thiết kế CSDL phải trải qua ba giai đoạn Đầu tiên giai đoạn thiết kế mơ hình khái niệm, tiếp đến giai đoạn thiết kế mơ hình logic, cuối giai đoạn thiết kế CSDL vật lý Việc chuyển đổi mơ hình ER thành mơ hình quan hệ thuộc giai đoạn thiết kế mơ hình logic từ mơ hình khái niệm Để làm sở cho việc chuyển đổi từ mơ hình quan hệ sang mơ hình ER bàn đến chương sau, phương pháp chuyển đổi truyền thống từ mơ hình ER sang mơ hình quan hệ đề cập đến phần Phương pháp thường sử dụng để thiết kế CSDL quan hệ giai đoạn thiết kế logic với mơ hình khái niệm ban đầu mơ hình ER Khi chuyển đổi từ mơ hình quan niệm liệu sang mơ hình tổ chức liệu theo quy tắc a Chuyển tập thực tập thực thể thành quan hệ Quy tắc 1: Mỗi tập thực thể mơ hình quan niệm liệu chuyển thành quan hệ: có tên tên tên tập thực thể; có thuộc tính khóa thuộc tính khóa tập thực thể có thêm thuộc tính khóa ngoại có Ví dụ: Tập thực thể Nhân viên với thuộc tính chuyển thành quan hệ sau: Nhân viên - Mã NV - Họ NV - Tên NV - Ngày sinh 71 Nhân viên (Mã NV , Họ NV, Tên NV, Ngày sinh) - Quy tắc 2: Tập thực thể tham gia vào mối quan hệ hai ngơi khơng có thuộc tính riêng, có cặp số (1,1) - (1,n) (mối quan hệ - nhiều) quan hệ sinh tập thực thể nhánh (1,1) nhận thuộc tính khóa tập thực thể nhánh (1,n) làm khóa ngoại Ví dụ: Trong hệ thống thông tin “Quản lý công chức”, hai tập thực thể Nhân viên Đơn vị có mối quan hệ Thuộc với cặp số (1,1) - (1,n) mô tả Nhân viên - Mã NV - Họ NV - Tên NV - Ngày sinh (1,1) Thuộc (1,n) Đơn vị - Mã đơn vị - Tên đơn vị chuyển thành quan hệ: Nhân viên (Mã NV , Họ NV,Tên NV, Ngày sinh, Mã đơn vị) Đơn vị (Mã đơn vị, Tên đơn vị) Chú ý, thuộc tính khóa quan hệ, gạch liền nét, thuộc tính khóa ngoại gạch không liền nét Quy tắc3: Chuyển tập thực thể mối quan hệ ISA thành quan hệ Tập thực thể mối quan hệ ISA mơ hình thực thể mối quan hệ chuyển thành quan hệ: có tên tên tập thực thể con; có thuộc tính thuộc tính tập thực thể con; có khóa khóa tập thực thể cha Ví dụ 1: Một trường đại học cần quản lý cán công chức theo đối tượng: công chức biên chế, cán hợp đồng dài hạn cán hợp đồng ngắn hạn Mỗi cán nhân viên quản lý thông tin: Mã nv, Họ tên, quê quán 72  Nếu cơng chức biên chế quản lý thêm: Hệ số lương, phụ cấp, trình độ chun mơn (trung cấp, cao đẳng đại học, thạc sĩ, tiến sĩ) Nếu tiến sĩ quản lý thêm: chuyên ngành đào tạo, ngày bảo vệ, nơi cấp  Nếu cán hợp đồng dài hạn quản lý thêm: Số hợp đồng, Hệ số lương  Nếu cán hợp đồng ngắn hạn quản lý: Số hợp đồng, lương thỏa thuận Tùy theo đối tượng, cơng ty có cách tính tiền lương khác Ví dụ 1: Với sơ đồ chuyển thành quan hệ: Bộ đội n - Ngày NN - Ngày XN (1,1) BĐ-CB ISA Nhân viên (1,1) - Mã NV - Họ NV - Tên NV - Ngày sinh ISA n Đảng viên - Ngày VĐ - Ngày CT BĐ-BC (1,n) (1,n) Cấp bậc Binh chủng - Mã CB - Tên CB - Mã BC - Tên BC chuyển thành: Binh chủng (Mã BC, Tên BC) Cấp bậc (Mã CB, Tên CB) Đảng viên (Mã NV,Ngày VĐ, Ngày CT) Bộ đội (Mã NV,Ngày NN, Ngày XN, Mã CB , Mã BC,) Nhân viên (Mã NV,Họ NV, Tên NV, Ngày sinh) Trong trường hợp tập thực thể hai tập thực thể cha khác phải chuyển thành hai quan hệ Trường hợp xảy quan hệ ISA quan hệ ISA quan hệ sinh từ tập thực thể "cháu" nhận thuộc tính khóa tập thực thể "Ơng" làm thuộc tính khóa 73 Cán Mã NV Họ tên Quê quán 1 ISA Số HĐồng HSL ISA ISA n HĐ dài hạn n n HĐ ngắn hạn Biên chế HSL Phụ cấp Trình độ Số HĐồng Lương ISA Tiến sĩ n Chuyên ngành Ngày bảo vệ Nơi cấp Nhân viên (Mã NV, Họ tên, Quê quán) Biên chế (Mã NV, HSL, Phụ cấp) HĐ dài hạn (Mã NV, Số HĐồng, HSL ) HĐ ngắn hạn (Mã NV, Số HĐồng, Lương) Tiến sĩ (Mã NV, Chuyên ngành, Ngày bảo vệ, Nơi cấp bằng) b Chuyển đổi mối quan hệ Qui tắc 4: a Mối quan hệ hai ngơi khơng có thuộc tính riêng, có cặp số (1,1) (1,n) khơng chuyển thành quan hệ Ví dụ: Nhân viênMã (1,1) NV Họ NV Tên NV Ngày sinh Thuộc (1,n) Đơn vịMã đơn vị Tên đơn vị 74 Chuyển thành: Nhân viên (Mã NV , Họ NV,Tên NV, Ngày sinh, Mã đơn vị) Đơn vị (Mã đơn vị, Tên đơn vị) Mô tả dạng bảng: n b Mối quan hệ hai ngơi có thuộc tính riêng, có cặp số (1,1) (1,n) chuyển thành quan hệ có tên tên mối quan hệ, có thuộc tính thuộc tính mối quan hệ có khố khố thực thể tham gia vào mối quan hệ khóa mối quan hệ (nếu có) Ví dụ: Nhân viên (1,1) - Mã NV - Họ NV - Tên NV - Ngày sinh Đơn vị (1,n) Thuộc Năm - Mã đơn vị - Tên đơn vị Được chuyển thành Nhân viên (Mã NV , Họ NV,Tên NV, Ngày sinh) Đơn vị (Mã đơn vị, Tên đơn vị) Thuộc (Mã NV, Mã đơn vị, Năm) Mô tả dạng bảng: 1 n n 75 Qui tắc Chuyển đổi mối quan hệ hai ngơi 1-1 Đối với mối quan hệ hai ngơi có cặp số (1,1) (1,1) mơ hình ER, ta xác định quan hệ S S’ tương ứng với tập thực thể E E’ tham gia vào mối quan hệ R Khi đó, tuỳ thuộc vào tham gia E E’ mối quan hệ R toàn hay cục (chỉ số cực tiểu số cung nối tương ứng sơ đồ ER hay 0) mà ta có chọn lựa cách thực khác cho việc chuyển đổi Xét cách chuyển đổi mối quan hệ 1-1 sau: Trường hợp (khi E E’ tham gia toàn vào mối quan hệ) Ta gộp quan hệ tương ứng S S’ thành quan hệ T bao gồm đầy đủ thuộc tính S S’ tất thuộc tính đơn trị mối quan hệ R Chọn khố T khố S S’ Ví dụ: Trưởng khoaHTen Địa (1,1) Lãnh đạo (1,1) Số năm KhoaMãK hoa Tênkhoa SĐT Được chuyển thành Lãnh đạo (Mãkhoa, HTen, Địa chỉ, Tênkhoa, SĐT, Số năm) Trường hợp 2: (chỉ có tập thực thể tham gia toàn vào mối quan hệ) Thực việc gộp quan hệ trường hợp phải chọn khố T khố quan hệ tương ứng với tập thực thể tham gia toàn vào mối quan hệ R Ngược lại, E E’ tham gia cục vào mối quan hệ R (chỉ số cực tiểu số cung nối tương ứng 0), ta khơng thể thực việc chuyển đổi mối quan hệ 1-1 theo cách này, khoá quan hệ khơng chấp nhận giá trị null Ngồi ra, ta giả thiết cách thực không sử dụng trường hợp, chất việc gộp hai tập thực thể thành làm ý nghĩa vai trò tập thực thể mơ hình ER Trường hợp 3: (khi E E’ tham gia cục vào mối quan hệ) 76 Khi ta tạo thêm quan hệ T nhằm biểu diễn mối quan hệ R Các thuộc tính T bao gồm tất thuộc tính đơn trị mối quan hệ R, khốngồi T tham chiếu đến khố S S’ Ngồi chọn khố cho T khố ngồi Ví dụ: NamMãna m HTên nam Địa (0,1) Kết hôn Ngày (0,1) NữMãnữ HTên nữ SĐT Được chuyển thành Nam (Mãnam, HTên nam, Địa chỉ) Nữ (Mãnữ, HTên nữ, SĐT) Kết hôn (Mãnam, Mãnữ, Ngày) Trường hợp (Thành lập khoá ngoại cho quan hệ) Chọn hai quan hệ (nên ưu tiên chọn quan hệ có tập thực thể tương ứng tham gia toàn vào mối quan hệ R, hay số cực tiểu cung nối tương ứng 1), giả sử ta chọn S, từ bổ sung vào S tất thuộc tính đơn trị mối quan hệ R Đồng thời bổ sung vào S khố ngồi S tham chiếu đến khố S’ Lưu ý E E’ tham gia tồn vào mối quan hệ R, khố ngồi F S đồng thời khoá s Một hạn chế cách chuyển đổi là: giá trị thuộc tính R F số S phải nhận giá trị null trường hợp E E’ khơng tham gia tồn vào mối quan hệ R Qui tắc 6: Mối quan hệ hai có cặp số (1,n) (1,n) hay mối quan hệ nhiều hai (không phân biệt số) chuyển thành quan hệ: có tên tên mối quan hệ; có khóa khóa tất tập thực thể tham gia 77 ĐƠNVỊ (lặp) TÊNHÀNG MẪHÀNG ĐƠNGIÁ (lặp) MẪHÀNG SỐLƯỢNG SỐLƯỢNG (lặp) ĐƠNVỊ SỐPHIẾUXUẤT MẪHÀNG ĐƠNGIÁ MẪHÀNG SỐLƯỢNG TÊNHÀNG SỐLƯỢNG ĐƠNVỊ MẪHÀNG ĐƠNGIÁ TÊNHÀNG ĐƠNVỊ ĐƠNGIÁ Ví dụ 3: Chuẩn hố chứng từ nhập toán “Quản lý kho hàng” Công ty Hải Hà PHIẾU NHẬP KHO Ngày Kho Nguyên liệu Số phiếu: 015 Họ tên người giao: Tô thị Đẹp Địa chỉ: 16 Phan Đình Phùng Đơn vị: Công ty Nông sản thực phẩm Tỉnh TT Huế Theo Hợp đồng số: 1234/KT Stt Tên hàng Đường RE Bột mì Pháp Sữa Hà lan Ngày 12/10/2004 Mã hàng Đơn vị Đơn giá Số lượng Thànhtiền Kg Kg Lit 5000 2500 8000 12000 5000 1500 60000000 12500000 12000000 C09 B14 B16 Tổng cộng: Người giao 84500000 Người kiểm tra Thủ kho Thủ trưởng 98 0NF 1NF 2NF 3NF SỐPHIẾUNHẬP SỐPHIẾUNHẬP SỐPHIẾUNHẬP SỐPHIẾUNHẬP MÃSỐ_NCC MÃSỐ_NCC MÃSỐ_NCC MÃSỐ_NCC TÊN_NCC TÊN_NCC TÊN_NCC NGÀY ĐỊACHỈ_NCC ĐỊACHỈ_NCC ĐỊACHỈ_NCC NGÀY NGÀY NGÀY TÊNHÀNG (lặp) MÃSỐ_NCC TÊN_NCC MẪHÀNG (lặp) SỐPHIẾUNHẬP SỐPHIẾUNHẬP ĐƠNVỊTÍNH (lặp) TÊNHÀNG MẪHÀNG ĐƠNGIÁ (lặp) MẪHÀNG SỐLƯỢNG SỐLƯỢNG (lặp) ĐƠNVỊTÍNH ĐỊACHỈ_NCC SỐPHIẾUNHẬP MẪHÀNG ĐƠNGIÁ TÊNHÀNG SỐLƯỢNG MẪHÀNG SỐLƯỢNG ĐƠNVỊTÍNH TÊNHÀNG ĐƠNGIÁ MẪHÀNG ĐƠNVỊTÍNH ĐƠNGIÁ Ví dụ 3: Phân tích thiết kế hệ thống thơng tin "Quản lý thư viện trường ĐHKH Huế" Nghiên cứu trạng Thư viện trường ĐHKH Huế quản lý khoảng 800.000 đầu sách tạp chí, phục vụ cho học sinh, sinh viên trường Sinh viên mượn sách đọc chổ nhà Để phục vụ độc giả nhanh, gọn xác, thư viện cần tin học hóa cơng việc quản lý danh mục sách quản lý độc giả Việc phân cấp quản lý thư viện theo phận sau: Giám đốc thư viện: điều hành chung tồn cơng tác thư viện Thủ thư: có trách nhiệm cập nhật thêm sách báo quản lý độc giả Hủy bỏ sách đến thời điểm lý khỏi danh mục, xếp sách phòng chứa sách theo khu vực, kệ sách cho dễ dàng tìm 99 kiếm có độc giả mượn Ngồi định kỳ thủ thư phải lập báo cáo thống kê tình hình mượn sách, thống kê độc giả, từ xác định sách, chủ đề sách nhiều độc giả sử dụng, để có kế hoạch bổ sung sách cách hợp lý Bộ phận phục vụ độc giả: có trách nhiệm cấp thẻ độc giả, lập phiếu mượn sách, trả sách, kiểm tra tư cách độc giả, in phiếu đòi sách cho độc giả trể hạn, hủy bỏ độc giả hạn đăng ký Các nhiệm vụ hệ thống: Thư viện trường ĐHKH Huế gồm nhiệm vụ chính:  Quản lý sách: bao gồm nhập sách, hủy sách khỏi danh mục  Quản lý độc giả: cấp hủy thẻ độc giả  Quản lý việc mượn trả sách: tra cứu, cho mượn sách, nhận lại sách trả, đòi sách trể hạn, kiểm tra tư cách độc giả  Báo cáo thông kê: thống kê sách, thống kê độc giả tình hình mượn sách a Chuẩn hoá liệu từ Thẻ quản lý sách: THẺ QUẢN LÝ SÁCH Mã số sách: Nhan đề: Tập: Số trang: Số lượng: Năm xuất bản: Mã ngôn ngữ: Ngôn ngữ: Mã NXB: Nhà xuất bản: Mã phân loại: Phân loại: Mã tác giả: Tác giả: Mã vị trí: Khu vực: Kệ: Ngăn: 0NF Mã số sách 1NF Mã số sách 2NF Mã số sách 3NF Mã số sách Nhan đề Nhan đề Nhan đề Nhan đề Số trang Số trang Số trang Số trang Số lượng Số lượng Số lượng Số lượng 100 Năm xuất Năm xuất Năm xuất Năm xuất Mã ngôn ngữ Mã ngôn ngữ Mã ngôn ngữ Mã ngôn ngữ Ngôn ngữ Ngôn ngữ Mã phân loại Mã phân loại Mã phân loại Mã phân loại Mã phân loại Mã phân loại Phân loại Phân loại Mã nhóm sách Mã nhóm sách Mã nhóm sách Mã nhóm sách Mã tác giả Mã tác giả Nhóm sách Nhóm sách Mã NXB Mã NXB Mã tác giả Mã tác giả Mã vị trí Mã vị trí Tác giả Tác giả Lần XB Lần XB Địa tác giả Địa tác giả Ngày nhập Ngày nhập SĐT tác giả SĐT tác giả Số lần mượn Số lần mượn Mã NXB Mã NXB NXB NXB Mã ngôn ngữ Mã ngôn ngữ Năm XB Năm XB Ngôn ngữ Ngôn ngữ Địa NXB Địa NXB SĐT NXB SĐT NXB Mã phân loại Mã phân loại Mã vị trí Mã vị trí Phân loại Phân loại Khu vực Khu vực Kệ Kệ Mã nhóm sách Mã nhóm sách Ngăn Ngăn Mã phân loại Mã phân loại Lần XB Lần XB Nhóm sách Nhóm sách Ngày nhập Ngày nhập Số lần mượn Số lần mượn Mã tác giả Mã tác giả Tác giả Tác giả Địa tác giả Địa tác giả SĐT tác giả SĐT tác giả Mã NXB Mã NXB NXB NXB Năm XB Năm XB Địa NXB Địa NXB SĐT NXB SĐT NXB 101 Mã vị trí Mã vị trí Khu vực Khu vực Kệ Kệ Ngăn Ngăn c Chuẩn hoá liệu từ Thẻ độc giả: THẺ ĐỘC GIẢ Số thẻ: Họ tên: Khoa: Lớp: Địa Ngày .tháng năm d Chuẩn hoá liệu từ Phiếu mượn sách PHIẾU MƯỢN SÁCH Số thẻ: Số phiếu mượn Họ tên: Đơn vị: Địa chỉ: [ ] Mượn nhà [ ] Đọc chổ Stt Mã số sách Tên sách Tác giả Mã loại Huế, Ngày .tháng năm 200 0NF 1NF 2NF 3NF 102 Mã phiếu mượn Mã phiếu mượn Mã số độc giả Mã số độc giả Mã số độc giả Ngày mượn Ngày mượn Tên độc giả Tên độc giả Hình thức mượn Hình thức mượn Khoa Khoa Mã số độc giả Mã số độc giả Lớp Lớp Tên độc giả Tên độc giả Địa Địa Khoa Khoa SĐT SĐT Lớp Lớp Mã số sách (lặp) Địa Địa Tên sách (lặp) SĐT SĐT Mã phiếu mượn Mã phiếu mượn Mã số sách Mã số sách Tên sách Tên sách Tác giả Tác giả Mã loạisách Mã phân loại Mã phân loại Phân loại Tác giả (lặp) Mã loạisách (lặp) Mã phân loại(lặp) Phân loại (lặp) Hình thức mượn Ngày mượn Phân loại 4.4 Ràng buộc toàn vẹn Ràng buộc toàn vẹn sở liệu quy luật bất biến mà tất quan hệ sở liệu phải tuân theo Ràng buộc toàn vẹn thường mô tả tân từ Một sở liệu có nhiều ràng buộc tồn vẹn khác nhau, ràng buộc toàn vẹn liên quan đến số quan hệ sở liệu Tập ràng buộc toàn vẹn người thiết kế sở liệu đặt thiết kế hệ thống hệ quản trị sở liệu quy định Tuỳ theo tính chất, ràng buộc tồn vẹn phân thành nhiều loại khác a Ràng buộc toàn vẹn thuộc tính Ràng buộc nội tại: ràng buộc đòi hỏi giá trị của quan hệ thuộc tính bị ràng buộc phải xác định (NOT NULL) Ví dụ, thuộc tính 103 HỌTÊN quan hệ NHÂNVIÊN phải xác định tất quan hệ Khoá trường hợp loại ràng buộc Ràng buộc miền giá trị thuộc tính: ràng buộc yêu cầu giá trị thuộc tính quan hệ phải thuộc miền cho phép Ví dụ: - Thuộc tính ĐIỂMTBÌNH quan hệ SINHVIÊN có ràng buộc tồn vẹn là: ≤ ĐIỂMTBÌNH ≤ 10 - Thuộc tính TĐỘNGNGỮ quan hệ NHÂNVIÊN có ràng buộc: giá trị có thuộc tính phải danh sách (A, B, C, cử nhân, thạc sĩ, tiến sĩ) Ràng buộc giá trị mặc định: loại ràng buộc định giá trị cụ thể cho thuộc tính Ví dụ, thuộc tính GIỚITÍNH có giá trị mặc định T; NGÀYHỐĐƠN có giá trị mặc định ngày b Ràng buộc toàn vẹn quan hệ Ràng buộc thể tân từ công thức đề cập đến giá trị nhiều thuộc tính Ví dụ: Trong bảng KHÁCHHÀNG Cty Điện báo điện thoại có thuộc tính SỐĐT quy ước sau: số điện thoại bắt đầu số ba số 090 khách hàng sử dụng điện thoại Mobiphone, số điện thoại bắt đầu số 091 khách hàng sử dụng điện thoại Vinaphone Trong bảng NHÂNSỰ Đại học Huế, thuộc tính MANV quy ước có ký tự: hai ký tự đầu để mã trường trực thuộc, hai ký tự để mã đơn vị, hai ký tự cuối để số thứ tự nhân viên đơn vị Ví dụ, KH0201 c Ràng buộc khoá Giả sử K khoá lược đồ quan hệ R sở liệu D khố R tạo ràng buộc tập quan hệ lược đồ quan hệ R theo nghĩa sau: Với quan hệ r lược đồ quan hệ R, u, v hai r ln ln có u[K]  v[K] 104 Ví dụ: Lược đồ quan hệ DIEM(MSSV, MSMH, DIEMTHI, LANTHI) K= {MSSV, MSMH, LANTHI} khố lược đồ ta có ràng buộc khoá là:  t1, t2  DIEM  t1[K]  t2[K] d Ràng buộc toàn vẹn nhiều quan hệ Ràng buộc khố ngoại Ràng buộc tồn vẹn tham chiếu 4.5 Mơ hình tổ chức xử lý 4.5.1 Mục đích: Mơ hình tổ chức xử lý nhằm xác định rõ công việc làm, làm đâu, làm nào, làm theo phương thức nào? Ở mức người phân tích đặt cơng việc mơ hình quan niệm xử lý vào nơi làm việc cụ thể môi trường thực 4.5.2 Các khái niệm a Nơi làm việc: hệ thống thông tin quản lý chia thành nhiều phận, phận gọi nơi làm việc Nơi làm việc bao gồm: vị trí, người, trang thiết bị nơi làm việc b Phương thức xử lý: cách thức, phương tiẹn thực cơng việc Mỗi cơng việc thực ba phương thức xử lý:  Xử lý thủ công: công việc người trực tiếp thao tác đối tượng làm việc Xử lý thường thực trường hợp định khơng có giải thuật khơng đầy đủ thơng tin, độ khó cao chưa có phương tiện kỹ thuật tự động xử lý Ví dụ, ghi số điện hàng tháng hộ gia đình  Xử lý tự động (xử lý theo lô): kiểu xử lý máy, người cung cấp thông tin đầu vào để máy tự động thực công việc Đây loại xử lý có giải thuật liệu đầy đủ Ví dụ, làm báo cáo tồn kho, làm hóa đơn xuất hàng, 105  Xử lý tương tác người -máy: kiểu xử lý máy q trình xử lý phải có giai đoạn cung cấp thông tin người sử dụng c Biến cố mức tổ chức: biến cố hệ thống đặt nơi phát sinh nơi nhận biết Ở mức tổ chức, biến cố phải quan tâm:  Thời gian phản ứng: thời gian tối đa chờ đợi từ biến cố xuất công việc kích hoạt  Tần suất: tần số xuất biến cố đơn vị thời gian  Chu kỳ: khoảng thời gian mà biến cố xuất trở lại 4.4.2 Bảng công việc Ở mức tổ chức công việc phải xác định rõ: nơi làm việc, phương thức làm việc, tần suất chu kỳ Các đặt trưng thể hiên bảng công việc sau đây: Bảng công việc STT Tên công việc Nơi thực Phương thức Tần suất Chu kỳ Ví dụ: Bảng cơng việc tốn "QL tuyển sinh" Bảng cơng việc STT Tên công việc 10 Nơi thực Phương thức Tần suất Chu kỳ Thông báo TS Ban Giám hiệu Thủ công 1lần/năm năm Nhận hồ sơ dự thi Phòng Đào tạo Thủ cơng 1lần/năm năm Đánh SBD Phòng Đào tạo Tự động 1lần/năm năm Lập danh sách TS Phòng Đào tạo Tự động 1lần/năm năm In Giấy báo thi Phòng Đào tạo Tự động 1lần/năm năm Gửi Giấy báo thi Phòng Đào tạo Thủ cơng 1lần/năm năm Thi tuyển sinh Phòng Đào tạo Thủ cơng 1lần/năm năm Làm phách Phòng Đào tạo Tự động 1lần/năm năm Chấm thi Giáo viên Thủ công 1lần/năm năm Nhập điểm Phòng Đào tạo Thủ cơng 1lần/năm năm 106 11 12 13 14 15 16 Ráp phách Phòng Đào tạo Tự động 1lần/năm năm Thống kê điểm Phòng Đào tạo Tự động 1lần/năm năm Lập DS xét tuyển Phòng Đào tạo Tự động 1lần/năm năm Xét tuyển Ban Giám hiệu Thủ công 1lần/năm năm In giấy báo kquả Phòng Đào tạo Tự động 1lần/năm năm TB kquả Phòng Đào tạo Thủ cơng 1lần/năm năm 4.4.4 Mơ hình tổ chức xử lý Mơ hình liên hồn biến cố công việc hệ thống Các biến cố công việc đăt vị trị làm việc cụ thể: Vị trí Vị trí Vị trí Vị trí Vị trí Biến cố Biến cố CÔNG VIỆC NO YES CÔNG VIỆC NO YES Biến cố Biến cố Biến cố Biến cố CÔNG VIỆC NO Biến cố YES Biến cố 107 Những biến cố không xuất phát từ nơi làm việc khơng có danh sach vị trí, ta đặt hai đường phân cách 108 Ví dụ: Mơ hình tổ chức xử lý tốn "QL Tuyển sinh" Xã hội BGH P.Đào tạo Khoa Giáo viên Có tiêu TS Đầu năm Trong thời hạn nộp HS Thông báo TS YES Thông báo phát Nhận HS dự thi NO Hồ sơ bị từ chối YES DS thí sinh Hết hạn nộp HS Đánh SBD YES Phòng thi DS TSinh có SBD Lập DSTS-PT YES Lịch thi DS TSinh Phòng thi In Giấy BT YES Giấy BT in 109 Xã hội BGH P.Đào tạo Khoa Giáo viên Gửi Giấy BT YES Giấy BT nhận NO Bài thi TS Giấy BT không nhận Thi tuyển sinh NO YES DS TS vắng thi Bản hdẫn đánh phách sinh Đánh phách BT NO Bài thi bị loại YES Bài thi đánh phách Lịch chấm thi Chấm thi YES NO Bài thi chấm xong Ráp phách BT NO YES Kết thi Số phách vắng thi Chấm thi xong Thống kê điểm NO DS TS bị loại Bài thi bị loại YES (2) 110 (2) Kết thi ThKê Lập DS đề ng hị xé DS TS bị loại DS TS đề nghị tuyển Chỉ tiêu TS Xét tuyển NO YES DS TS trúng tuyển DS TS bị trượt In Giấy báo KQ YES Giấy báo kết thi Gửi Giấy báo KQ NO YES 111 112 ... Chuẩn hố liệu từ PHIẾU GIAO HÀNG 0NF Số phiếu 1NF Số phiếu 2NF Số phiếu 3NF Số phiếu Nơi giao hàng Nơi giao hàng Nơi giao hàng Nơi giao hàng Ngày giao hàng Ngày giao hàng Ngày giao hàng Ngày giao. .. null 4. 2.3 Mô hình tổ chức liệu Mơ hình tổ chức liệu, gọi mơ hình sở liệu tồn quan hệ tốn chuyển đổi từ mơ hình quan niệm liệu theo quy tắc chuyển đổi Ví dụ 1: Chuyển mơ hình quan niệm liệu sang... giá Slượng C(10) N(5,0) N (4, 0) Thành tiền N(10,0) 92 Hãy thiết kế sở liệu (mơ hình tổ chức liệu) từ tài liệu để quản lý hoạt động kinh doanh công ty Chú ý liệu phải chuẩn hoá dạng chuẩn