(Tiểu luận) quản lý kinh doanh rạp chiếu phim báo cáo bài tập lớn môn cơ sở dữ liệu

TRƯỜNG ĐẠI HỌC MỞ HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO BÀI TẬP LỚN MÔN: CƠ SỞ DỮ LIỆU Giảng viên hướng dẫn: Nguyễn Thùy Linh Sinh viên thực hiện: Đào Thanh Bình - 22A1001D0033 Khúc Đình Quân - 221001D0268 Hoàng Việt Anh - 22A1001D0007 Nguyễn Hải Đăng - 22A1001D0049 Hà Nội – MỤC LỤC Phát biểu tốn Xây dựng mơ hình thực thể liên kết 2.1 Xác định thuộc tính tập thực thể 2.2 Xác định liên kết kiểu thực thể 2.3 Sơ đồ ER 5 Xây dựng mơ hình sở liệu quan hệ Xác định ràng buộc Chuẩn hóa sở liệu tốn: Xác định liệu thực mơ tả tốn Khai thác CSDL dạng biểu thức đại số quan hệ 11 13 16 19 PHÂN CÔNG VÀ KẾ HOẠCH THỰC HIỆN HỌ VÀ TÊN EMAIL CƠNG VIỆC Đào Thanh Bình 22A1001D0033@gmail.c GHI CHÚ Phần ,2 om Khúc Đình 22A1001D0268@gmail.c Phần 5, lập file word om Hoàng Việt Anh 22A1001D0007@gmail.c om Phần 6, Nguyễn Hải Phần 3, 22A1001D0049@gmail.c Đăng om Đề bài: “Quản lý kinh doanh rạp chiếu phim” Phát biểu toán - Rạp phim chia thành nhiều phòng chiếu khác Mỗi phịng chiếu cần thơng tin Mã số phịng, tên phòng, tổng số ghế Mỗi phòng chiếu phải có tối thiểu viên phụ trách nhiều nhiệm vụ khác vệ sinh, kiểm vé, chiếu phim, … Công ty quản lý hồ sơ nhân viên với thông tin lưu trữ: Mã nhân viên, Họ tên (chia họ đệm tên), Địa chỉ, SĐT, hệ số lương theo giờ, lương (được tính theo số làm hệ số lương theo giờ), giới tính, email, ngày sinh, ca trực Một nhân viên phải phụ trách nhiều phòng chiếu khác Mỗi phim chiếu rạp cần phải phải lưu trữ lại thông tin Tên phim, Mã phim, Thể loại, Nhà sản xuất, Giờ bắt đầu, thời lượng đánh giá phim Biết rằng, với đánh giá P phù hợp cho lứa tuổi, C13 cho người 13 tuổi trở lên, Lưu ý, phim chiếu nhiều xuất chiếu (khung giờ) khác Với vé, lưu lại thông tin của: Mã vẽ, mã NV phụ trách vé, loại vé, số thứ tự ghế, ngày thông tin khách hàng Khách hàng mua vé cần lưu lại thông tin: Họ tên, Mã số, SĐT ngày sinh Một ngày rạp phim có ca khác ngày Mỗi ca có Mã ca, thời gian bắt đầu, thời gian kết thúc Mỗi ca cần tối đa 12 nhân viên trực nhân viên làm ca/ngày Xây dựng mơ hình thực thể liên kết 2.1 Xác định thuộc tính tập thực thể Tập thực thể NHANVIEN bao gồm thuộc tính: MaNV, Hoten, Diachi, SDT, hsl, Luong, Gioitinh, email, DOB Trong đó: + MaNV thực thể khóa, lương thuộc tính suy dẫn + Ca trực thuộc tính đa trị + Hoten thuộc tính phức hợp + Luong thuộc tính suy dẫn Tập thực thể PHONGCHIEU bao gồm thuộc tính: MaPhong, TenPhong, Soghe Trong đó: + MaPhong thuộc tính khóa Tập thực thể PHIM gồm có thuộc tính: MaPhim, Tenphim, Theloai, NSX, GioBD, ThoiLuong, DanhGia Trong đó: + MaPhim thuộc tính khóa + GioBD thuộc tính đa trị Tập thực thể VE gồm thuộc tính: MaVe, STTghe, Ngay, Gia Trong + MaVe thuộc thể khóa Tập thực thể KHACHHANG gồm thuộc tính: MaKH, HoTen, SdT, DOB Trong đó: + MaKH thuộc tính khóa - Tập thực thể CA gồm thuộc tính: MaCa, TGBD, TGKT Trong đó: + MaCa thuộc tính khóa 2.2 Xác định liên kết kiểu thực thể Giữa tập thực thể NHANVIEN VE tồn mối quan hệ làm Đây mối quan hệ – n vì: + nhân viên lập nhiều vé + vé nhân viên lập Giữa tập thực thể NHANVIEN PHONGCHIEU tồn mối quan hệ phụ trách Đây mối quan hệ n – n vì: + nhân viên phụ trách nhiều phịng chiều + phòng chiếu nhiều nhân viên phụ trách Giữa tập thực thể NHANVIEN CA tồn mối quan hệ làm Đây mối quan hệ – n vì: + nhân viên làm ca + ca có nhiều nhân viên làm Giữa tập thực thể KHACHHANG VE tồn mối quan hệ có Đây mối quan hệ – n vì: + khách hàng có nhiều vé + vé khách hàng sở hữu Giữa tập thực thể PHIM VE tồn mối quan hệ thuộc Đây mối quan hệ – n vì: + phim thuộc nhiều vé + vé có phim Giữa tập thực thể PHONGCHIEU VE tồn mối quan hệ thuộc Đây mối quan hệ – n vì: + vé phòng chiếu + phòng chiếu chứa nhiều vé Giữa tập thực thể PHONGCHIEU PHIM tồn mối quan hệ chiếu Đây mối quan hệ n – n vì: + phịng chiếu chiếu nhiều phim + chiếu nhiều phòng chiếu 2.3 Sơ đồ ER Xây dựng mơ hình sở liệu quan hệ - Quy tắc 1: Chuyển kiểu thực thể mạnh: NHANVIEN (MaNV, HoDem,Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB) CA (MaCa, TGBD, TGKT) VE (MaVe, SSTghe, TGBD, NgayXem, Gia) KHACHHANG (MaKH, HoTen, DOB, SDT) PHONGCHIEU (MaPhong, TenPhong, SoGhe) PHIM (MaPhim, TenPhim, TheLoai, NSX, ThoiLuong, DanhGia) - Quy tắc 2: Chuyển đổi thuộc tính đa trị GIOBD_PHIM (MaPhim, GioBD, NgayChieu) - Quy tắc 3: Chuyển đổi thực thể yếu Khơng có - Quy tắc 4: Chuyển liên kết n – n PHUTRACH (MaNV, MaPhong) CHIEUTAI (MaPhong, MaPhim) - Quy tắc 5: Chuyển liên kết – n NHANVIEN (MaNV, HoDem, Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB, MaCa) VE (MaVe, SSTghe, TGBD, Gia, NgayLap, MaNV, MaPhim, MaPhong, MaKH) - Quy tắc 6: Chuyển liên kết – Khơng có - Quy tắc 7: Chuyển liên kết có quan hệ bậc >= Khơng có Lược đồ quan hệ: NHANVIEN (MaNV, HoDem, Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB, MaCa) CA (MaCa, TGBD, TGKT) VE (MaVe, SSTghe, TGBD, Gia, NgayLap, MaNV, MaPhim, MaPhong, MaKH) KHACHHANG (MaKH, HoTen, DOB, SDT) PHUTRACH (MaNV, MaPhong) PHONGCHIEU (MaPhong, TenPhong, SoGhe) CHIEUTAI (MaPhong, MaPhim) PHIM (MaPhim, TenPhim, TheLoai, NSX, ThoiLuong, DanhGia) GIOBD_PHIM (MaPhim, GioBD, NgayChieu) Xác định ràng buộc 4.1: Giới tính nhân viên “nam” “nữ” - Nội dung: Ɐn ϵ NHANVIEN (n.GioiTinh = {“nam”, “nữ”}) - Bối cảnh: quan hệ NHANVIEN - Bảng tầm ảnh hưởng: thêm xóa Sửa NHANVIEN + - + (GioiTinh) 4.2: Nhân viên làm việc phải đủ từ 18 tuổi đến 30 tuổi - Nội dung: Ɐn ϵ NHANVIEN (n.DOB >= 18 ^ n.DOB ở dạng chuẩn 2NF khóa có thuộc tính MaNV (khơng có 11 phụ thuộc hàm phận) -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> khơng dạng chuẩn BCNF thuộc tính khóa MaNV phụ thuộc vào thuộc tính khơng khóa MaCa - Chuẩn hóa dạng chuẩn BCNF: -Loại MaNV khỏi NHANVIEN bổ sung MaCa vào khóa NHANVIEN (MaCa, HoDem, Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB, SoGio) -Tạo quan hệ NHANVIEN_1(MaCa , MaNV) với MaCa khóa b.Quan hệ CA (MaCa, TGBD, TGKT) -> dạng chuẩn 1NF khơng có thuộc tính đa trị, phức hợp, suy dẫn ->ở dạng chuẩn 2NF khóa có thuộc tính MaCa (khơng có phụ thuộc hàm phận) -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> dạng chuẩn BCNF thuộc tính khóa MaCa khơng phụ thuộc vào thuộc tính khơng khóa c.Quan hệ VE (MaVe, SSTghe, TGBD, Gia, NgayLap, MaNV, MaPhim, MaPhong, MaKH) -> dạng chuẩn 1NF khơng có thuộc tính đa trị, phức hợp, suy dẫn ->ở dạng chuẩn 2NF khóa có thuộc tính MaVe (khơng có phụ thuộc hàm phận) -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa d.KHACHHANG (MaKH, HoTen, DOB, SDT) -> dạng chuẩn 1NF khơng có thuộc tính đa trị, phức hợp, suy dẫn ->ở dạng chuẩn 2NF khóa có thuộc tính MaKH (khơng có phụ thuộc hàm phận) 12 -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa d.Quan hệ PHUTRACH (MaNV, MaPhong) ->ở dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa e Quan hệ PHONGCHIEU (MaPhong, TenPhong, SoGhe) -> dạng chuẩn 1NF khơng có thuộc tính đa trị, phức hợp, suy dẫn ->ở dạng chuẩn 2NF khóa có thuộc tính MaPhong (khơng có phụ thuộc hàm phận) -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa f.Quan hệ CHIEUTAI (MaPhong, MaPhim) -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa g.Quan hệ PHIM (MaPhim, TenPhim, TheLoai, NSX, ThoiLuong, DanhGia) -> dạng chuẩn 1NF khơng có thuộc tính đa trị, phức hợp, suy dẫn -> dạng chuẩn 2NF khóa có thuộc tính MaPhim (khơng có phụ thuộc hàm phận) -> dạng chuẩn 3NF khơng có phụ thuộc hàm bắc cầu -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa h.Quan hệ GIOBD_PHIM (MaPhim, GioBD) -> dạng chuẩn BCNF khơng có thuộc tính khóa phụ thuộc hàm vào thuộc tính khơng khóa 5.2 Các quan hệ cuối toán sau áp dụng chuẩn hóa: 13 NHANVIEN (MaCa, HoDem, Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB) NHANVIEN_1(MaCa , MaNV, SoGio) CA (MaCa, TGBD, TGKT) VE (MaVe, SSTghe, TGBD, Gia, NgayLap, NgayXem, MaNV, MaPhim, MaPhong, MaKH) KHACHHANG (MaKH, HoTen, DOB, SDT) PHONGCHIEU (MaPhong, TenPhong, SoGhe) CHIEUTAI (MaPhong, MaPhim) PHIM (MaPhim, TenPhim, TheLoai, NSX, ThoiLuong, DanhGia) GIOBD_PHIM (MaPhim, GioBD, NgayXem) Xác định liệu thực mơ tả tốn NHANVIEN (MaCa, HoDem, Ten, DiaChi, SDT, HSLTheoGio, GioiTinh, email, DOB) 14 CA (MaCa, TGBD, TGKT) KHACHHANG (MaKH, HoTen, DOB, SDT) 15 PHONGCHIEU (MaPhong, TenPhong, SoGhe) PHIM (MaPhim, TenPhim, TheLoai, NSX, ThoiLuong) 16 GIOBD_PHIM (MaPhim, GioBD, NgayChieu) VE (MaVe, SSTghe, TGBD, Gia, NgayLap, NgayXem, MaNV, MaPhim, MaPhong, MaKH) Khai thác CSDL dạng biểu thức đại số quan hệ 7.1 Lấy thông tin vé bao gồm: Mã vé, Ngày lập πMaVe,NgayLap(VE) 17 7.2 Lấy thông tin vé có giá từ 70000 đến 100000 σ(Gia>=70000 and Gia