Slide 1 * Chương 7 Kiểu ánh xạ TS Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG HCM Khoa Công Nghệ Phần Mềm * TS Vu Thanh Nguyen TS Vu Thanh Nguyen * * Nội dung Ánh xạ Các hàm và thao tác trên ánh xạ Đặc tả sử dụng ánh xạ * TS Vu Thanh Nguyen TS Vu Thanh Nguyen * Kiểu ánh xạ Ví dụ { “TH301” ↦ “Đặc tả hình thức”, “TH402” ↦ “Công cụ và Môi trường phát triển phần mềm”, “TH403” ↦ “Xây dựng phần mềm hướng đối tượng”, } * TS Vu Thanh Nguyen TS Vu Thanh Nguyen * Kiểu ánh xạ Nhắc lại Tích Des[.]
Trang 1Chương 7 Kiểu ánh xạ
TS Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM
Khoa Công Nghệ Phần Mềm
Trang 2Nội dung
Ánh xạ
Các hàm và thao tác trên ánh xạ
Đặc tả sử dụng ánh xạ
Trang 6m m
m m
Trang 11Toán tử cập nhật †
Kết quả của m † n là tập hợp tất cả các bộ trong n
và các bộ trong m không có tiền ảnh/khóa trong
dom ( n )
Ví dụ:
{ 2 ↦ 4, 1 ↦ 3} † {3 ↦ 5, 1 ↦ 2} = {1 ↦2, 2 ↦ 4, 3 ↦ 5}
{ 3 ↦ 5, 1 ↦ 2} † {2 ↦ 4, 1 ↦ 3} = {1 ↦3, 2 ↦ 4, 3 ↦ 5}
Trang 13Toán tử chọn các bộ theo tập khóa ⊲
Trang 14Toán tử chọn các bộ theo tập khóa ⊲
Trang 15Toán tử xóa bộ dựa vào tập khóa ⊲
_⊲_ : A-set × A → B → A → B
s ⊲ m ≝
{ a ↦ m(a) | a ∈ ( dom m – s ) }
Ý nghĩa: Xóa bỏ các bộ trong ánh xạ có giá trị
khóa cho trước
_
_ _
_
Trang 16Toán tử xóa bộ dựa vào tập khóa ⊲
Trang 19Đặc tả với kiểu ánh xạ
Đăng-ký = Sinh-Viên → Lớp-set
Danh-sách-lớp= Lớp → Sinh-Viên-set
m m