Báo cáo bài tập lớn cơ sở dữ liệu | Trường Đại học Bách khoa Hà Nội

lOMoARcPSD| 45315597
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
VIỆN TOÁN & ỨNG DỤNG TIN HỌC ----- □ & □ -----
BỘ MÔN: CƠ SỞ DỮ LIỆU
BÁO CÁO BÀI TẬP LỚN
Đề tài: Thiết kế cơ sở dữ liệu quản lý chung cư
Giảng viên: T.S Nguyễn Thị Thanh Huyền
Nhóm sinh viên thực hiện:
• Phạm Chí Công MSSV: 20206273
• Dương Văn Khoa MSSV: 20206244
• Phạm Văn Thái MSSV: 20206303 Hà Nội, năm 2022
Báo cáo bài tập lớn lOMoARcPSD| 45315597 Mục lục
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI.........................................................1
----- □ & □ -----...........................................................................................................1
Mục lục..........................................................................................................................2
Lời nói đầu.........................................................................................................................3
Phần I : Mô tả bài toán......................................................................................................4
Phần II : Chức....................................................................................................................5
Phần III : Mô hình thực thể liên kết....................................................................................6
Phần IV : Chuyển sang mô hình quan hệ............................................................................7 lOMoARcPSD| 45315597
Bảo cáo bài tập lớn Lời nói đầu
Trên thế giới hiện nay, tin học là một ngành phát triển không ngừng. Thời kỳ
công nghiệp đòi hỏi thông tin nhanh chóng chính xác. Có thể nói tin học đã chiếm
một vị trí quan trọng trong cuộc sống hàng ngày , trong các ngành khoa học kỹ thuật.
Trong thời buổi công nghệ số hiện nay, nhiều quy trình, công đoạn hay các hệ
thống quản trị đều được mã hóa và vận hành bởi các thiết bị, phần mềm nhằm
giúp doanh nghiệp đạt được hiệu suất làm việc tốt nhất. Trên cơ sở đó, các hệ
thống quản trị cơ sở dữ liệu ra đời và đóng vai trò quan trọng trong xử lý và kiểm soát nguồn thông tin.
Ngày nay, số lượng các toà chung cư mọc lên rất nhanh, nhiều,và mạnh mẽ ở Hà
Nội nói riêng cũng như một số tỉnh thành phố nói chung do nhu cầu của người
dân đổ về các thành phố lớn sinh sống, làm việc ngày càng tăng.Nhận thấy điều
đó nhóm chúng em quyết định thực hiền đề tài “Thiết kế cơ sở dữ liệu quản lý
chung cư” dựa trên các kiến thức đã học về bộ môn cơ sở dữ liệu của cô giao
Nguyễn Thị Thanh Huyền giảng dạy cũng như dựa trên những tìm hiểu kiến thức
thực tế của bọn em. Trong quá trình làm bài chúng em sẽ có thể mắc phải những
thiếu sót nên rất mong nhận được sự đóng góp ý kiến của cô để đề tài của chúng
em có thể hoàn thiện hơn.
Chúng em xin chân thành cảm ơn! lOMoARcPSD| 45315597 Đồ án môn học lOMoARcPSD| 45315597
Bảo cáo bài tập lớn
Phần I : Mô tả bài toán Quản lý một chung cư
-Thông tin về các căn hộ trong chung cư gồm có: Mã căn hộ, tên căn hộ, vị trí, diện tích -
Thông tin về nhân viên gồm: mã nhân viên, tên nhân viên, giới tính,
ngày sinh, địa chỉ, số điện thoại -
Nhân viên là những người lập hợp đồng. Hợp đồng gồm: mã hợp đồng,
tên hợp đồng, tổng tiền, ngày ký hợp đồng, ngày thanh toán, thông tin căn hộ
và thông tin của người mua -
Một nhân viên có thể lập nhiều hợp đồng nhưng một hợp đồngchỉ có
thể lập bởi 1 nhân viên. Một người có thể mua một căn hộ nhưng một căn hộ
chỉ có một người đứng tên -
Thông tin của cư dân cũng cần được lưu trữ và quản lý, thông tin cư dân
gồm có: Mã cư dân, họ tên, ngày sinh, giới tính, số điện thoại -
Một căn hộ có thể có nhiều người ở và một người chỉ có thể ở một căn hộ -
Nhân viên lập hóa đơn dịch vụ cho các căn hộ, hóa đơn gồm: Mã hóa
đơn, ngày lập, số điện, số nước, phí quản lý -
Mỗi nhà xe có 1 nhân viên quản lý. Nhà xe gồm: Mã nhà xe, diện tích và trạng thái của nhà xe -
Cư dân trong chung cư có thể gửi xe tại các nhà xe, cư dân có thể mua
vé xe theo ngày, tháng, quý hoặc năm
Phần II : Chức Năng lOMoARcPSD| 45315597 Đồ án môn học
Phần III : Mô hình thực thể liên kết
Phần IV : Chuyển sang mô hình quan hệ
Chuyển đổi sang mô hình quan hệ
- Nhân viên (MaNV, Ho,Ten, GT, NS, ĐC, SĐT)
- Cư dân(MaCD, Ho,Ten, NS,GT,SĐT, MaCH)
- Hợp Đồng(MaHD, TenHD, TongTien, NgayKy, NgayThanhToan, MaCH,MaNV, MaCD)
- Căn hộ (MaCH, TenCH, ViTri, DienTich, MaCD)
- Hóa đơn dịch vụ (MaHDDV, NgayLap, SoDien, SoNuoc,PhiQL, MaNV, MaCH)
- Nhà xe (MaNX, DienTich,TT, MaNV)
- Gửi xe (MaNX, MCD, LoaiVe, BSX, NgayGui)
Các ràng buộc dữ liệu - Ở quan hệ Nhân viên: + Khóa chính: MaNV
+ NOT NULL: HoTen, GT, NS, SĐT,CCCD lOMoARcPSD| 45315597
Bảo cáo bài tập lớn
+ CHECK: GT ϵ {‘Nam’,’Nữ’} - Ở quan hệ Cư dân: + Khóa chính: Mã cư dân -
+ Khóa ngoại: MaCH,MaNV,Mã chủ căn hộ
+ NOT NULL: HoTen, NS,GT,CCCD,SĐT
+ CHECK: GT ϵ {‘Nam’,’Nữ’} - Ở quan hệ Hợp đồng:
+ Khóa chính: Mã hợp đồng
+ Khóa ngoại: MaCH,MaNV, Mã chủ căn hộ
+ NOT NULL: Tên hợp đồng, Giá tiền, Ngày lập, Ngày thanh toán, +CHECK: Giá tiền > 0 - Ở quan hệ Căn hộ: + Khóa chính: MaCH
+ Khóa ngoại: Mã chủ căn hộ + NOT NULL: TenCH, ViTri, DienTich -
Ở quan hệ Hóa đơn điện – nước:
+ Khóa chính: Mã hóa đơn + Khóa ngoại: MaNV, MaCH
+ NOT NULL: Ngày lập, Số điện, Số nước, Thành tiền lOMoARcPSD| 45315597 Đồ án môn học
Thông tin về cơ sở dữ liệu -Mô hình RE
Đánh giá mức độ chuẩn hóa
- Các thuộc tính của bảng là thuộc tính nguyên tố
- Giá trị của các thuộc tính là đơn trị, không chứa nhóm lặp
- Không có một thuộc tính nào có giá trị có thể tính toán được từ một thuộc tính khác Đạt chuẩn 1NF
- Mọi thuộc tính không khóa phụ thuộc đầy đủ vào thuộc tính khóa Đạt chuẩn 2NF
- Mọi thuộc tính không khóa được suy ra trực tiếp từ thuộc tính khóa Đạt chuẩn 3NF
- Không có thuộc tính khóa nào phụ thuộc vào thuộc tính không khóa Đạt chuẩn BCNF