Professional Documents
Culture Documents
RBTV
RBTV
Nội dung
I. I. Giới thiệu
II.II. 3 yếu tố của RBTV
III.III. Giải 1 số bài tập
I. Giới thiệu
• RÀNG BUỘC TOÀN VẸN
• Xuất phát từ các quy tắc quản lý được áp đặt lên các
đối tượng trong thế giới thực
I. Giới thiệu
• MỤC ĐÍCH
• VD: Người giám sát phải là nhân viên trong công ty.
• Dự án phải được điều phối bởi một phòng trong công ty.
BỐI CẢNH
• Vd1:
• Vd2:
• Vd1: NHANVIEN
• Là bảng 2 chiều, xác định các thao tác ảnh hưởng (+) và thao tác
không ảnh hưởng (-) lên các quan hệ nằm trong bối cảnh
QUAN HỆ 1 + + - (*)
……..
QUAN HỆ 2 - - + (A)
II. 3 yếu tố rbtv
• RBTV có bối cảnh trên một quan hệ:
• Ký hiệu +(A) : Có thể gây ra vi phạm RBTV khi thao tác trên
thuộc tính A
• Ràng buộc: phái của nhân viên chỉ có thể là ‘Nam’ hoặc
‘Nữ’
• Ràng buộc: phái của nhân viên chỉ có thể là ‘Nam’ hoặc
‘Nữ’
NHANVIEN + - +(PHAI)
III. Bài tập
• Ràng buộc toàn vẹn liên thuộc tính
• DOAN(MADA,NGBD,NGKT,MSSV)
• Ràng buộc: ngày kết thúc đồ án phải sau ngày bắt đầu
• DOAN(MADA,NGBD,NGKT,MSSV)
• Ràng buộc: ngày kết thúc đồ án phải sau ngày bắt đầu
DOAN + - +(NGBD,NGKT)
III. Bài tập
• Ràng buộc toàn vẹn liên bộ
+(HESO,
NHANVIEN + -
MUCLUONG)
III. Bài tập
• Ràng buộc toàn vẹn tham chiếu
• Ràng buộc: Mỗi trưởng phòng phải là một nhân viên của công ty.
p.TRPH = n.MANV
• Ràng buộc: Mỗi trưởng phòng phải là một nhân viên của công ty.
NHANVIEN - + - (*)
PHONGBAN + - + (TRGPH)
III. Bài tập
• Ràng buộc toàn vẹn liên thuộc tính liên quan hệ
• Ràng buộc: Ngày giao hàng không được trước ngày đặt hàng.
• Ràng buộc: Ngày giao hàng không được trước ngày đặt hàng.
DATHANG - - + (NGDH)
GIAOHANG + - + (NGGH)
III. Bài tập
• Ràng buộc toàn vẹn liên bộ liên quan hệ
• Ràng buộc: Mỗi phòng ban phải có ít nhất một địa điểm phòng.
• Ràng buộc: Mỗi phòng ban phải có ít nhất một địa điểm phòng.
PHONGBAN + - - (*)
DIADIEM - + + (MAPH)
III. Bài tập
• Ràng buộc toàn vẹn có thuộc tính tổng hợp
• Ràng buộc: Tổng trị giá của 1 phiếu xuất phải bằng tổng trị giá các chi tiết
xuất.
• Ràng buộc: Tổng trị giá của 1 hóa đơn phải bằng tổng trị giá các chi tiết.
HOADON - - + (TONGTRIGIA)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG
TAIKHOAN
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG -
TAIKHOAN
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG - -
TAIKHOAN
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG - - + (NgaySinh)
TAIKHOAN
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG - - + (NgaySinh)
TAIKHOAN +
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG - - + (NgaySinh)
TAIKHOAN + -
• KHACHHANG(MaKH, HoTen, NgaySinh, DiaChi, SoDT, CMND)
• Ràng buộc: KHÁCH HÀNG CHỈ ĐƯỢC MỞ TÀI KHOẢN (SOTK) KHI KHÁCH HÀNG CÓ
TUỔI TỪ 14 TRỞ LÊN
KHACHHANG - - + (NgaySinh)
TAIKHOAN + - - (*)
Cám ơn các bạn đã theo dõi
note
note
TITLE
TITLE
Niệm
1. Loại thực thể (Entity Type)
HOCVIEN LOPHOC
MONHOC
TITLE
Fonts & colors
#f9e9d9 #5b72b7
Use our editable graphic resources...
You can easily resize these resources, keeping the quality. To change the color, just
ungroup the resource and click on the object you want to change. Then, click on the
paint bucket and select the color you want. Don’t forget to group the resource again
when you’re done.
...and our set of editable icons
You can resize these icons, keeping the quality.
You can change the stroke and fill color; just select the icon and click on the paint-
bucket/pen.
Business Icons
Avatar Icons
Creative Process Icons
Educational Process Icons
Help & Support Icons
Medical Icons
Nature Icons
Performing Arts Icons
SEO & Marketing Icons
Teamwork Icons