Phân tích u cầu phần mềm Lecture 07: Mơ hình quan hệ thực thể (Entity Relationship Modelling) Mơ hình quan hệ - thực thể (Entity-Relationship Model) Thực thể (Entities) Quan hệ (Relationships) Thuộc tính (Attributes) Các ràng buộc thể Bản số (Cardinalities) Khóa định dạng (Identifiers) Tổng quát hóa (Generalization) Phân tích u cầu phần mềm Mơ hình quan hệ thực thể Lược đồ quan hệ - thực thể (Entity-Relationship Schema) Mô tả yêu cầu liệu cho hệ thống thông tin Dùng ký hiệu đồ họa cách trực tiếp, dễ hiểu Chuyển thành lược đồ quan hệ cho thiết kế sở liệu cách nhanh chóng Nhưng trừu tượng lược đồ quan hệ E.g hiển thị thực thể mà khơng biết đặc tính Các thực thể (Entities): Lớp đối tượng với đặc tính chung phạm vi tồn E.g Thành phố, Bộ môn, Nhân viên, Mua Bán Một thể thực thể đối tượng lớp biểu diễn thực thể E.g Cần Thơ, Đà Lạt ví dụ thể thực thể Thành phố Các quan hệ (Relationships): Các nối kết logic hai nhiều thực thể E.g Cư trú quan hệ tồn Thành phố Nhân viên Một thể quan hệ thể n-tuple thực thể E.g (Nam, Cần Thơ), thể quan hệ Cư trú Phân tích yêu cầu phần mềm Các ví dụ Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Phân tích yêu cầu phần mềm Ví dụ thể cho liên kết Exam Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Exam Phân tích yêu cầu phần mềm Ý nghĩa thực sơ đồ ER? Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Course Meets Room Course Room thực thể Thể chúng courses cụ thể (eg CT324) rooms (eg 202/C1) Meets quan hệ Các thể mơ tả buổi học cụ thể Mỗi buổi học có xác kết hợp course room Các thể Meets Các thể Course Các thể Rooms Phân tích yêu cầu phần mềm Quan hệ đệ quy (Recursive) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Một thực thể có quan hệ với nó… E.g… Thực thể Nhân viên (Empoyee) có quan hệ đồng nghiệp (colleague) với Nếu quan hệ khơng đối xứng… …Cần định nghĩa hai vai trò mà thực thể đóng quan hệ E.g … Thực thể Quốc vương (Sovereign) có quan hệ nối ngơi (Succession) với nó, cần định nghĩa hai vai trị tiền nhiệm (Predecessor) kế nhiệm (successor) khác cho quan hệ Phân tích yêu cầu phần mềm Quan hệ liên kết ba (Ternary) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Phân tích yêu cầu phần mềm Quan hệ AND/XOR “Mỗi đơn hàng (Order) chứa hàng (contains a part) yêu cầu dịch vụ (requests a service), hai” “Đối với đơn hàng (Order), phát sinh hóa đơn (invoice) có đợt chuyển hàng (shipment) thực hai bắt buộc” Phân tích yêu cầu phần mềm Thuộc tính Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Liên kết với thể thực thể (hoặc quan hệ) giá trị thuộc tập hợp (phạm vi thuộc tính - attribute) Phạm vi xác định giá trị nhận cho thuộc tính Phân tích yêu cầu phần mềm Thuộc tính hợp thành (Composite Attributes) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Nhóm thuộc tính thực thể quan hệ có ý nghĩa liên kết cách dùng gần 10 Phân tích yêu cầu phần mềm Lược đồ với thuộc tính Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 11 Phân tích yêu cầu phần mềm Bản số (Cardinalities) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Bản số ràng buộc tham gia vào quan hệ Là số tối đa số tối thiểu thể quan hệ mà thể thực thể tham gia vào E.g Bản số cặp số nguyên không âm (a,b) a ≤ b Nếu a=0 tham gia thực thể vào quan hệ tùy ý Nếu a=1 tham gia thực thể vào quan hệ bắt buộc Nếu b=1 thể thực thể liên kết với thể quan hệ Nếu b=“N” thể thực thể liên kết với số tùy ý thể quan hệ 12 Phân tích yêu cầu phần mềm Ví dụ số Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 “Mỗi course có buổi học tuần” Course (2,2) “Một ngày có số khơng giới hạn buổi học” Meets (0,N) (0,40) Room “Một phịng có đến 40 buổi học hàng tuần” Day 13 Phân tích yêu cầu phần mềm Dẫn chứng sơ đồ ER Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Một sơ đồ ER mô tả trạng có giới thực việc mơ hình hóa Course (2,2) Meets (0,40) Room Dẫn chứng khơng hợp lệ 14 Phân tích yêu cầu phần mềm Bản số thuộc tính Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Các thuộc tính có số Để mơ tả giá trị tối thiểu tối đa thuộc tính liên kết với thể thực thể liên kết Bản số mặc định (1,1) Các thuộc tính tùy chọn có số (0,1) Các số thuộc tính đa giá trị khó giải Việc mơ hình hóa thường tốt cách thêm vào thực thể liên kết với quan hệ 1- nhiều (hoặc nhiều-nhiều) 15 Phân tích yêu cầu phần mềm Khóa xác định (Identifiers) (“keys”) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Thế thể dùng xác định thực thể? Một khóa xác định tạo thành nhiều thuộc tính thực thể Nếu thuộc tính thực thể không đủ đáp ứng để xác định thể cách rõ ràng, thực thể khác chứa xác định Một quan hệ xác định khóa xác định tất thực thể có quan hệ E.g khóa xác định cho quan hệ (Person-) Owns(-Car) kết hợp khóa xác định Person Car khóa nội, thuộc tính khóa ngoại, nhiều thuộc tính khóa nội, nhiều thuộc tính 16 Phân tích yêu cầu phần mềm Các lưu ý Khóa xác định Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Khóa số: Một khóa xác định bao gồm nhiều thuộc tính, với điều kiện chúng có số (1,1) Một khóa ngoại (external identifier) chứa nhiều thực thể, với điều kiện chúng thành viên quan hệ mà thực thể tham gia xác định với số (1,1) Các chu trình Một khóa ngoại bao gồm thực thể mà luân phiên gọi khóa ngoại khác, chừng mà vịng lặp khơng sinh nữa; Đa khóa Mỗi thực thể phải có khóa xác định (khóa nội khóa ngoại) Một thực thể có nhiều khóa xác định Chú ý : có nhiều khóa xác định, thuộc tính thực thể chứa xác định tùy chọn (bản số tối thiểu 0) 17 Phân tích yêu cầu phần mềm Lược đồ với khóa Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 18 Phân tích yêu cầu phần mềm Hiểu rõ việc chọn khóa 19 Phân tích yêu cầu phần mềm Khái quát hóa (Generalizations) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Chỉ quan hệ “là-một” (“is-a”) thực thể Khái quát hóa: Mỗi thể thực thể thể thực thể cha Mỗi đặc tính thực thể cha (thuộc tính, khóa xác định, quan hệ khái quát hóa khác) đặc tính thực thể 20 Phân tích yêu cầu phần mềm Các dạng khái quát hóa Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 Khái qt hóa hồn tồn (Total generalizations): … Mỗi thể thực thể cha thể số Chỉ dạng mũi tên tơ đậm Khái quát hóa loại trừ (Exclusive generalizations): … Mỗi thể thực thể cha có thể số Chỉ dạng mũi tên rỗng 21 Phân tích yêu cầu phần mềm Mơ hình E-R Meta-Model (như sơ đồ E-R) Adapted from chapter of Atzeni et al, “Database Systems” McGraw Hill, 1999 22 ... diễn thực thể E.g Cần Thơ, Đà Lạt ví dụ thể thực thể Thành phố Các quan hệ (Relationships): Các nối kết logic hai nhiều thực thể E.g Cư trú quan hệ tồn Thành phố Nhân viên Một thể quan hệ thể. .. 1999 Chỉ quan hệ “là-một” (“is-a”) thực thể Khái quát hóa: Mỗi thể thực thể thể thực thể cha Mỗi đặc tính thực thể cha (thuộc tính, khóa xác định, quan hệ khái quát hóa khác) đặc tính thực thể 20... hình quan hệ thực thể Lược đồ quan hệ - thực thể (Entity- Relationship Schema) Mô tả yêu cầu liệu cho hệ thống thông tin Dùng ký hiệu đồ họa cách trực tiếp, dễ hiểu Chuyển thành lược đồ quan hệ