NHẬP MÔN CÔNG NGHỆ PHẦN MỀM Giảng viên: Đỗ Thị Thanh Tuyền

NHẬP MÔN CÔNG NGHỆ PHẦN MỀM Giảng viên: Đỗ Thị Thanh Tuyền Email: dothithanhtuyen@gmail.com Nội dung môn học n Tổng quan Cơng nghệ phần mềm n Xác định mơ hình hóa yêu cầu phần mềm n Thiết kế phần mềm: - Thiết kế DỮ LIỆU n Cài đặt phần mềm n Kiểm thử bảo trì n Đồ án mơn học Nhập mơn Cơng nghệ Phần mềm January 15 Thiết kế liệu n  Mục tiêu việc thiết kế liệu nhằm mô tả cách thức tổ chức lưu trữ liệu phần mềm bên máy tính n  Kết trình thiết kế liệu xây dựng sơ đồ Logic n  Khi thiết kế liệu, ta quan tâm đến ba vấn đề sau: Ø  Thiết kế liệu với tính đắn Ø  Thiết kế liệu với tính tiến hóa Ø  Thiết kế liệu với yêu cầu hiệu mặt truy suất lưu trữ Nhập môn Công nghệ Phần mềm January 15 Sơ đồ Logic n  Bao gồm bảng liệu mối quan hệ chúng n  Các ký hiệu: Tên Table Bảng liệu Liên kết Nhập môn Công nghệ Phần mềm January 15 Sơ đồ Logic (tt) n  Các ký hiệu (tt): A B ð  Một phần tử bảng A xác định phần tử bảng B ð  Ngược lại, phần tử bảng B tương ứng với nhiều phần tử bảng A ð  Bảng A chứa thuộc tính khóa bảng B (là khóa ngoại bảng A khóa bảng B) Nhập môn Công nghệ Phần mềm January 15 Sơ đồ Logic (tt) ð  Nếu quan hệ A B quan hệ 1-1 gộp hai table A B lại thành table chứa tất thuộc tính A B Quan hệ 1-n không làm việc ð  Nếu quan hệ A B quan hệ n-n: Tách quan hệ thành quan hệ 1-n cách thêm vào table trung gian chứa khóa A B Nhập mơn Cơng nghệ Phần mềm January 15 Ví dụ Quan hệ n-n MONHOC SINH VIÊN Chuyển thành: SINHVIEN Nhập môn Công nghệ Phần mềm DANGKY January 15 MONHOC Ví dụ Quan hệ n-n (tt) SINHVIEN DANGKY MONHOC MaSV MaSV MaMonHoc TenSV MaMonHoc TenMonHoc NgaySinh HocKy GioiTinh NamHoc QueQuan DiemTB Email Nhập môn Cơng nghệ Phần mềm January 15 Xác định Khố n  Tính chất Khố chính: ü  Tối thiểu; ü  Không trùng lắp (bao gồm NOT NULL); ü  Khơng thay đổi theo thời gian n  Thuộc tính trừu tượng: Là thuộc tính khơng xuất giới thực, có phần mềm Sử dụng thuộc tính trừu tượng để làm khố cho table Ví dụ: MaDaiLy, MaLoaiDaiLy… Nhập môn Công nghệ Phần mềm January 15 Xác định Khố (tt) n  Khi cần sử dụng thuộc tính trừu tượng? ü  Khi từ danh sách thuộc tính có table, khơng chọn thuộc tính (hoặc tổ hợp thuộc tính) thoả tính chất khóa ü  Khi khố tổ hợp có từ hai thuộc tính trở lên Trong trường hợp phải kiểm tra liệu trùng thuộc tính tham gia làm khố insert update liệu cho table Nhập môn Công nghệ Phần mềm 10 January 15 Các kiểu mã hóa Ø  Mã hóa liên tiếp: 1,2,3… Ø  Mã hóa theo lát: dùng lát cho nhóm đối tượng, lát thường dùng kiểu mã hóa liên tiếp Ø  Mã hóa phân đoạn: mã phân thành nhiều đoạn, đoạn mang ý nghĩa riêng Ø  Mã hóa phân cấp: mã hóa phân đoạn, đoạn trỏ đến tập hợp đối tượng đối tượng phân cấp theo thứ tự từ trái qua phải Ø  Mã hóa diễn nghĩa: gán tên ngắn gọn hiểu cho đối tượng Ví dụ: HAN (Hà Nội), HCM (Hồ Chí Minh)… Nhập mơn Cơng nghệ Phần mềm 13 January 15 Bảng THAMSO n  Chức năng: dùng để lưu giá trị qui định mà giá trị không liên quan đến đối tượng liệu khác n  Các giá trị dùng biểu thức tính tốn kiểm tra n  Trên table THAMSO có thao tác select update, khơng có insert delete sau hoàn tất việc thiết kế Nhập môn Công nghệ Phần mềm 14 January 15 Bảng THAMSO (tt) n  Cấu trúc bảng THAMSO: C1: THAMSO(TenThamSo,GiaTri) - Các tham số record table THAMSO - Qui đổi giá trị tham số có kiểu Boolean kiểu số: True ó 1; False ó - Đặt tên tham số theo qui định cách đặt tên thuộc tính C2: THAMSO(ThamSo1,ThamSo2,…,ThamSox) - Các tham số thuộc tính table THAMSO - Mỗi thuộc tính có kiểu liệu riêng, qui đổi giá trị tham số có kiểu Boolean kiểu số Nhập mơn Cơng nghệ Phần mềm 15 January 15 Lưu ý n  Tên Table: viết chữ IN HOA, khơng dấu, khơng có khoảng cách từ Ví dụ: NHANVIEN, KHACHHANG… n  Tên thuộc tính: viết hoa ký tự đầu từ, khơng dấu, khơng có khoảng cách từ Ví dụ: HoTen, NgaySinh, DiaChi… n  Đặt tên table, tên thuộc tính table súc tích, đọng qn tồn CSDL Ví dụ: HOSODAILY -> DAILY Nhập môn Công nghệ Phần mềm 16 January 15 Thuật toán thiết kế liệu n  Thiết kế liệu dựa vào sơ đồ luồng liệu yêu cầu phần mềm xét n  Các bước thực hiện: v  Bước 1: Xét yêu cầu phần mềm thứ I Ø  Thiết kế liệu với tính đắn Ø  Thiết kế liệu với tính tiến hóa v  Bước 2: Xét yêu cầu phần mềm thứ II … v  Bước n: Xét yêu cầu phần mềm thứ n (cuối cùng) Nhập môn Công nghệ Phần mềm 17 January 15 Thuật toán thiết kế liệu (tt) Ø  Thiết kế liệu với tính đắn: - Biểu mẫu liên quan: BMx - Sơ đồ luồng liệu: SĐx - Các thuộc tính mới: - Thiết kế liệu: bố trí thuộc tính vào bảng có, trường hợp khơng bố trí phải tạo bảng để chứa thuộc tính - Các thuộc tính trừu tượng: - Sơ đồ Logic Nhập mơn Cơng nghệ Phần mềm 18 January 15 Thuật tốn thiết kế liệu (tt) Ø  Thiết kế liệu với tính tiến hóa: - Qui định liên quan: QĐx - Sơ đồ luồng liệu việc thay đổi qui định: SĐy - Các thuộc tính mới: - Các tham số mới: - Thiết kế liệu: bố trí thuộc tính vào bảng có, trường hợp khơng bố trí phải tạo bảng để chứa thuộc tính - Các thuộc tính trừu tượng: - Sơ đồ Logic Nhập mơn Cơng nghệ Phần mềm 19 January 15 Thiết kế liệu với yêu cầu hiệu mặt truy suất lưu trữ - Hiệu mặt truy suất: + Thêm vào thuộc tính tính tốn + Lưu ý: giá trị phải tự động cập nhật có thay đổi liên quan - Hiệu mặt lưu trữ: + Tách bảng có giá trị cố định lặp lại nhiều lần thành bảng: bảng chứa thông tin tổng quát bảng chứa thông tin chi tiết + Thêm đối tượng sử dụng mã đối tượng thay cho việc lưu trữ thông tin chi tiết đối tượng Nhập môn Công nghệ Phần mềm 20 January 15 Các dạng chuẩn 1NF Nhập môn Công nghệ Phần mềm 2NF 21 3NF January 15 BCNF Dạng chuẩn (1 Normal Form) – 1NF Một quan hệ gọi dạng chuẩn toàn miền giá trị thuộc tính quan hệ chứa giá trị nguyên tố Nhập môn Công nghệ Phần mềm 22 January 15 Dạng chuẩn (2 Normal Form) – 2NF n Một quan hệ dạng chuẩn nếu: + Thoả 1NF; + Các thuộc tính khơng khố phụ thuộc đầy đủ vào tập thuộc tính tham gia làm khố n Ví dụ: R = (A,B,C,D) F = {A,B -> C, A,B -> D, B -> D,C} => R1(B,C,D) R2(A,B) Nhập môn Công nghệ Phần mềm 23 January 15 Dạng chuẩn (3 Normal Form) – 3NF n Một quan hệ dạng chuẩn nếu: + Thoả 2NF; + Các thuộc tính khơng khố phụ thuộc trực tiếp vào khố n Ví dụ: R = (A,B,C,D,G,H) F = {A,B -> C; A,B -> D; A,B -> G,H; G -> D,H} => R1(G,D,H) R2(A,B,C,G) Nhập môn Công nghệ Phần mềm 24 January 15 Dạng chuẩn Boyce Codd (Boyce Codd Normal Form) - BCNF n Một quan hệ dạng chuẩn Boyce Codd nếu: + Thoả NF; + Không có thuộc tính khố phụ thuộc vào thuộc tính khơng khố n Ví dụ: R = (A,B,C,D,G,H) F = {A,B -> C; A,B -> D; A,B -> G,H; H -> B} => R1(H,B) R2(A,H,C,D,G) Nhập môn Công nghệ Phần mềm 25 January 15 Chuẩn hoá liệu n Chuẩn hoá liệu việc đưa quan hệ ban đầu dạng chuẩn (1,2,3,Boyce Codd) Cách thực hiện: tách quan hệ ban đầu thành quan hệ nhỏ dựa vào phụ thuộc hàm n Mục đích chuẩn hố liệu nhằm loại bỏ việc dư thừa liệu n Tuy nhiên chuẩn hoá làm tăng thời gian truy vấn phải thực phép kết quan hệ (mới tách) n Dạng chuẩn sở liệu dạng chuẩn quan hệ có dạng chuẩn thấp CSDL Nhập mơn Cơng nghệ Phần mềm 26 January 15 Q&A Nhập môn Công nghệ Phần mềm 27 January 15 ... tác select update, khơng có insert delete sau hồn tất việc thiết kế Nhập mơn Cơng nghệ Phần mềm 14 January 15 Bảng THAMSO (tt) n  Cấu trúc bảng THAMSO: C1: THAMSO(TenThamSo,GiaTri) - Các tham... {A,B -> C; A,B -> D; A,B -> G,H; G -> D,H} => R1(G,D,H) R2(A,B,C,G) Nhập môn Công nghệ Phần mềm 24 January 15 Dạng chuẩn Boyce Codd (Boyce Codd Normal Form) - BCNF n Một quan hệ dạng chuẩn Boyce