Nhóm 21
Đà Lạt 04 – 2022
Trang 2DANH SÁCH NHÓM:ST
1Nguyễn Bảo Lâm2014464CTK44BTrưởngnhóm2Lâm Ngọc Yến2015618CTK44BThư ký3Lý Thị Minh Tâm 2014487CTK44BThành viên4Nguyễn Lê Vy2014509CTK44BThành viên5Võ Hoài Nam2015608CTK44BThành viên
Mục Lục
Danh sách nhóm, Mục lục 2
Bảng phân công công việc 3
NỘI DUNG BÁO CÁOBài 1 4
Trang 3BẢNG PHÂN CÔNG CÔNG VIỆC
được giaoNgày bắtđầu Ngày kếtthúcMức độhoànthành
1 Nguyễn Bảo Lâm Bài tập 1,
10 02/04/2022 22/04/20222 Lâm Ngọc Yến Bài tập 5,
8 02/04/2022 22/04/20223 Lý Thị Minh Tâm Bài tập 2,
9 02/04/2022 22/04/20224 Nguyễn Lê Vy Bài tập 3,
6 02/04/2022 22/04/20225 Võ Hoài Nam Bài tập 4,
7 02/04/2022 22/04/20226 Cả nhóm 10 Bài tập 02/04/202
2 24/04/20227 Mức độ đánh giá hoàn thành công việc của nhóm
Trang 4- 15/04/22: Thu thập ý kiến, hỗ trợ các bạn giải đáp những thắcmắc, tìm hiểu các kiến thức thông qua tài liệu, các bạn trong lớp và internet.
- 22/04/22: Tổng hợp bài tập, cả nhóm cùng hoàn thiện bài tập nhóm theo đúng yêu cầu, giải thích các phương pháp giải bài tập.
- 23/04/22: họp đánh giá công việc của các thành viên, của nhóm, hoàn thiện báo cáo bài tập hoạt động nhóm, duyệt qua ý kiến các thành viên nhóm.
- 24/04/22: Duyệt báo cáo lần cuối, in bản báo cáo tổng hợp.
CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 1)
I MÔ HÌNH THỰC THỂ - KẾT HỢP I.1 Lược đồ thực thể - kết hợp
I.1.Mô tả chi tiết các thực thể
STTThuộc tínhMô tảKiểu dữliệuKhóa
Trang 56 Email Địa chỉ email Chuỗi ký tự
STTThuộc tínhMô tảKiểu dữliệuKhóa
STTThuộc tínhMô tảKiểu dữliệuKhóa
STTThuộc tínhMô tảKiểu dữliệuKhóa
V.MÔ HÌNH QUAN HỆ
V.1.Danh sách các lược đồ quan hệ
V.2.Sơ đồ quan hệ (Diagram | Relationship)
Trang 6V.3.Đánh giá dạng chuẩn và chuẩn hóa (phân rã lược đồ nếu cần thiết)
KhachHang(MaKH, Ten, DiaChi, Login, MatKhau, Email) : F = {MaKH -> Ten; MaKH -> DiaChi; MaKH -> Login; MaKH -> MatKhau; MaKH -> Email} => Đạt dạng chuẩn BCNF do mọi phụ thuộc hàm vế trái đều là siêu khóa.
TheLoai(MaTL, TenTL) : F = {MaTL -> TenTL} => Đạt BCNF, vì mọi phụ
thuộc hàm vế trái đều là siêu khóa.
HangHoa(MaHH, TenHH, MoTa, DonGia, TonKho, MaTL, SoDon): F =
{MaHH -> TenHH; MaHH -> MoTa; MaHH -> DonGia; MaHH-> TonKho; MaHH -> SoDon} => Đạt dạng chuẩn BCNF do mọi phụ thuộc hàm vế trái đều là siêu khóa.
DonDatHang(SoDon, NgayThang, SoLuong, MaKH) : F = {SoDon ->
NgayThang; SoDon -> SoLuong} => Đạt dạng chuẩn BCNF do mọi phụ thuộc hàm vế trái đều là siêu khóa.
V.4.Lược đồ cơ sở dữ liệu cài đặt- Sơ đồ quan hệ
- Lần lượt phát biểu tân từ của từng lược đồ quan hệ (như các bài Lab)
KhachHang(MaKH, Ten, DiaChi, Login, MatKhau, Email)
Tân từ: Mỗi Khách hang có một mã để phân biệt (MaKH), tên khách hang (Ten), địa chỉ của khách hàng (DiaChi), tên tài khoản dùng để
login(Login), mật khẩu để login(MatKhau), địa chỉ email của khách hàng (Email).
DonDatHang(SoDon, NgayThang, SoLuong, MaKH)
Trang 7Tân từ: Mỗi đơn đặt hàng có số hóa đơn (SoDon) để phân biệt, ngày thángđặt hàng (NgayThang), số lượng đặt hàng (SoLuong) được đặt bởi khách hàng.
- Kiểu dữ liệu của các thuộc tính (sử dụng hệ quản trị CSDL SQL-
8 TenTLNvarchar(20)
10 TenHHNvarchar(20)11 MoTaNvarchar(30)
Trang 8RB2 Insert Delete Update
RB5: Mỗi thể loại có một mã thể loại
Phát biểu hình thức: t,s theloai: t ≠ s => t.MaTL ≠ s.MaTL∀ ∈Bảng tầm ảnh hưởng:
RB6: Mỗi đơn đặt hàng có một số đơn duy nhất
Phát biểu hình thức: t,s dondathang: t ≠ s => t.SoDon ≠ s.SoDon∀ ∈Bnagr tầm ảnh hưởng:
RB7: Mỗi hàng hóa có một mã hàng hóa duy nhất
Trang 9Phát biểu hình thức: t,s hanghoa: t ≠ s => t.MaHH ≠ s.MaHH∀ ∈Bảng tầm ảnh hưởng:
RBTV khóa ngoại
RB8: Mỗi hàng hóa đều có một số hóa đơn
Phát biểu hình thức: t hanghoa, ! s donhang: t.SoDon=s.SoDon∀ ∈ ∃ ∈Bảng tầm ảnh hưởng:
RB9: Mỗi đơn đặt hàng phải thuộc về một mã khách hàng
Phát biểu hình thức: t donhang, ! s khachhang: t.MaKH=s.MaKH∀ ∈ ∃ ∈Bảng tầm ảnh hưởng:
RBTV liên bộ - liên quan hệ
RB10: Mỗi thể loại phải có ít nhất một loại hàng hóa
Phát biểu hình thức: t theloai, s hanghoa: t.MaTL=s.MaTL∀ ∈ ∃ ∈Bảng tầm ảnh hưởng:
RB11: Mỗi đơn hàng có ít nhất một loại hàng hóa
Trang 10Phát biểu hình thức: t donhang, s hanghoa: t.SoDon=s.SoDon∀ ∈ ∃ ∈Bảng tầm ảnh hưởng:
RBTV liên thuộc tính – liên quan hệ
RB13: Số hàng được đặt không được lớn hơn số hàng tồn kho
Phát biểu hình thức: t donhang, ! s hanghoa: t.SoDon=s.SoDon ^∀ ∈ ∃ ∈t.SoLuong <= s.TonKho
Trang 11CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 2)
I Lược đồ Thực thể- kết hợp
Trang 12II.Mô Tả chi tiết thực thể:
Người lái
STTThuộc tínhMô tảKiểu dữ liệuKhóa1MaNLMã số người láiChuỗi ký tựX2TenNLTên người láiChuỗi ký tự3SĐTSố điện thoại người
lái Chuỗi ký tự
Xe Bus
STTThuộc tínhMô tảKiểu dữ liệuKhóa1MSXBMã số xe busChuỗi ký tựX2SoXeSố xe BusChuỗi ký tự3SoChoNgoiSố chỗ ngồiChuỗi ký tự
Trang 13Chi Nhánh
STTThuộc tínhMô tảKiểu dữ liệuKhóa
1MaCNMã số chi nhánhChuỗi ký tựX2TenCNTên chi nhánhChuỗi ký tự
1 Danh sách các lược đồ quan hệ: NguoiLai (MaNL, TenNL, SDT) Tram (SoTram, TenTram, ViTri) ThanhPho (MSTP, TenTP) ChiNhanh (MaCN, TenCN, MSTP)
Tuyen (MaTuyen, TenTuyen, TramKH, TramKT, MaCN) Bus (MaBus, SoXe, SoChoNgoi, MaTuyen)
DonKhach (MaTuyen, SoTram) DiQua (MSTP, MaTuyen)
PhanCong (MaBus, MaNL, NgayPhanCong)
Trang 142 Sơ đồ quan hệ (Diagram | Relationship)
3 Đánh giá dạng chuẩn và chuẩn hóa (phân rã lược đồnếu cần thiết)
NguoiLai (MaNL, TenNL, SDT)
F3=(MSTP TenTP;TenTP MSTP)
Đạt chuẩn BCNF
ChiNhanh (MaCN, TenCN, MSTP)F4=(MaCN TenCN,MSTP;
TenCN MaCN)Đạt chuẩn BCNF
Trang 15 Tuyen (MaTuyen, TenTuyen, TramKH, TramKT, MaCN)
F5=(MaTuyen TenTuyen, TramKH, TramKT, MaCN;
TenTuyen MaTuyen)Đạt chuẩn BCNF
Bus (MaBus, SoXe, SoChoNgoi, MaTuyen)
F6=(MaBus SoXe, SoChoNgoi, MaTuyen;
SoXe MaBus)Đạt chuẩn BCNF
DonKhach (MaTuyen, SoTram)
F7=(MaBus SoXe, SoChoNgoi, MaTuyen;
SoXe MaBus)Đạt chuẩn BCNF DiQua (MSTP, MaTuyen)
PhanCong (MaBus, MaNL, NgayPhanCong)F9=(MaBus,MaNL NgayPhanCong)
Đạt chuẩn BCNF
Trang 161.NguoiLai (MaNL, TenNL, SDT): Mỗi người lái có mã số người lái để phân biệt, có tên người lái, số điện thoại2.Tram (SoTram, TenTram, ViTri):Mỗi trạm có số trạm để phân biệt, có tên của trạm ,vị trí
3.ThanhPho (MSTP,TenTP):Mỗi thành phố có mã số thành phố để phân biệt,có tên thành phố
4.ChiNhanh (MaCN, TenCN, MSTP){:Mỗi chi nhánh có mã số chi nhánh riêng để phân biệt, tên chi nhánh , Mỗi chi nhánh nằm ở một thành phố
5.Tuyen (MaTuyen, TenTuyen, TramKH, TramKT, MaCN){:Mỗi tuyến có mã số tuyến để phân biệt, có tên tuyến , trạm khởi hành, trạm kết thúc và ứng với một chi nhánh
6.Bus (MaBus, SoXe, SoChoNgoi, MaTuyen){: Mỗi xe Bus cómã số Bus, có số xe, số chỗ ngồi và ứng với một tuyến7.DonKhach (MaTuyen, SoTram){: Mỗi lần đón khách ứng với một mã tuyến và trạm.
8.DiQua (MSTP, MaTuyen){:Mỗi tuyến đi qua ứng với một hay nhiều thành phố,
9.PhanCong (MaBus, MaNL, NgayPhanCong){:Mỗi lần phân công ứng với một xe bus , và một người lái, có ngày phân công
Trang 17-Kiểu dữ liệu của các thuộc tính (sử dụng hệ quản trị
Trang 20RB7: Mỗi Tuyến có một mã số tuyến duy nhất
Trang 21RB10: Mỗi Tuyến có có liên quan đến một chi nhánh
Trang 22RB12: Mỗi đợt đón khách có liên quan đến một trạm
Trang 23RB14: Mỗi Trạm khởi hành trong tuyến có liên quan đến một trạm
Trang 24RB16: Mỗi Tuyến đi qua có liên quan đến một tuyến
Trang 25RB18: Mỗi đợt phân công có liên quan đến một người lái
Tram DonKha
ch Tuyen DiQua ThanhPho ChiNhanh Bus PhanCong NguoiLaiT X S T X S T X S T X S T X S T X S T X S T X S T X SRB1
RB4 + -+
(SoTr
Trang 26RB12 -++
+ -+(SoTra
RB14 -++
RB15 + -+
+ -+(MaTu
-++(MaBus)
Trang 27CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 3)
I.1 Lượt đồ tập thực thể kết hợp:
Trang 28I.2 Mô tả chi tiết tập thực thể:
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaNH Mã số ngân hàng Chuỗi ký tự X2 TenNH Tên ngân hàng String
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaCN Mã số chi nhánh Chuỗi ký tự X2 MaNH Mã số ngân hàng Chuỗi ký tự3 TenCH Tên chí nhánh Chuỗi ký tự
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaATM Mã số máy ATM Chuỗi ký tự X2 MaCN Mã số chi nhánh Chuỗi ký tự3 TinhTrang Tình trạng hoạt
động Chuỗi ký tự4 NoiDat Vị trí đặt máy Chuỗi ký tự
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 SoCMND số CMND của khách
hàng Chuỗi ký tự X
Trang 292 HoTen Họ tên khách hàng Chuỗi ký tự3 MaTK Mã số tài khoản Chuỗi ký tự4 DiaChi Địa chỉ của khách
hàng Chuỗi ký tự
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaTK Mã số tài khoản Chuỗi ký tự X2 SoCMND số CMND của khách
hàng Chuỗi ký tự3 TenTK Tên tài khoản Chuỗi ký tự4 MaNH Mã số ngân hàng Chuỗi ký tự
STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaThe Mã thẻ ATM Chuỗi ký tự X2 MaTK Mã số tài khoản Chuỗi ký tự3 THSD Thời hạn sử dụng Ngày tháng4 TongTien Tổng số tiền trong
giao dịch trongngày
Số nguyên
Trang 30STT Thuộc tính Mô tả Kiểu dữ liệu Khóa1 MaGD Mã số giao dịch Chuỗi ký tự X2 MaThe Mã thẻ ATM Chuỗi ký tự3 Ngay GD Ngày giao dịch Ngày tháng4 SoTien Số tiền trong lần
giao dịch Số nguyên
II.1 Danh sách các lượt đồ quan hệ
1 NganHang(MaNH, TenNH)2 ChiNhanh(MaCN, MaNH, TenCH)
3 MayATM(MaATM, MaCN, TinhTrang, NoiDat)4 KhachHang(SoCMND, MaTK, HoTen, DiaChi)5 TaiKhoan(MaTK, SoCMND, TenTK, MaNH)6 TheATM(MaThe, MaTK, THSD, TongTien)7 GiaoDich(MaGD, MaThe, NgayGD, SoTien)
II.2 Sơ đồ quan hệ (Diagram | Relationship)
II.3 Đánh giá dạng chuẩn và chuẩn hóa(Phân rã lượt đồ nếu cần thiết)
1 NganHang(MaNH, TenNH)F1= (MaNH → TenNH; TenNH → MaNH)Đạt chuẩn BCNF
2 ChiNhanh(MaCN, MaNH, TenCN)F2= (MaCN →TenCN, MaNH; MaNH→ MaCN)Đạt chuẩn BCNF
3 MayATM(MaATM, MaCN, TinhTrang, NoiDat)
Trang 31F3= (MaATM → MaCN, TinhTrang, NoiDat; MaCN→ MaATM)4 KhachHang(SoCMND, MaTK, HoTen, DiaChi)
F4= (SoCMND → HoTen, DiaChi, MaNH; MaTK→ SoCMND)5 TaiKhoan(MaTK, SoCMND, TenTK, MaNH)
F5=(MaTK → SoCMND, TenTK, MaNH; MaNH→ MaTK)6 TheATM(MaThe, MaTK, THSD, TongTien)F6=(MaThe→ MaTK, THSD, TongTien; MaTK→MaThe)7 GiaoDich(MaGD, MaThe, NgayGD, SoTien)
F7= (MaGD→ MaThe, NgayGD, SoTien; MaThe → MaGD)
II.4 Lượt đồ cơ sở dữ liệu cài đặt
Lần lượt phát biểu tân từ của từng lượt đồ quan hệ:
1 NganHang(MaNH, TenNH): Mỗi ngân hàng có mã số ngân hàng và tên ngân hàng
2 ChiNhanh(MaCN, MaNH, TenCN): Mỗi ngân hàng có nhiều chi nhánh Mỗi chi nhánh có mã chi nhánh để phân biệt và tên chi nhánh
3 MayATM(MaATM, MaCN, TinhTrang, NoiDat): Mỗi chi nhánh quản lý các máy ATM Mỗi máy ATM sẽ có mã số ATM từ đó biết được thông tin như mã chi nhánhquản lý, tình trạng hoạt động và nơi đặt máy ATM
4 TaiKhoan(MaTK, SoCMND, TenTK, MaNH): Mỗi ngân hàng có nhiều tài khoản Một tài khoản thuộc về một khách hàng Mỗi tài khoản có tên tài khoản.5 KhachHang(SoCMND, MaTK, HoTen, DiaChi): Một tài khoản thuộc về một khách hàng Khách hàng có số CMND, họ tên , địa chỉ của khách hàng.6 TheATM(MaThe, MaTK, THSD, TongTien): Một thẻ ATM thuộc về một tài khoản Thẻ ATM có mã thẻ, thời hạn sử dụng, tổng tiền giao dịch trong một ngày.
7 GiaoDich(MaGD, MaThe, NgayGD, SoTien): Mỗi lần gia dịch đều có mã giao dịch Từ mã giao dịch có thể suy được mã thẻ ATM, ngày giao dịch số tiền giao dịch trong lần giao dịch và tổng giao số tiền giao dịch trong ngày.
- Kiểu dữ liệu của các thuộc tính (sử dụng hệ quản trị CSDL SQL- Server)STTTên thuộc
Trang 325 MaATMchar(4)6 TinhTrangnvarchar(15)7 NoiDatnvarchar(20)
9 TenTKnvarchar(20)10 SoCMNDchar(10)11 HoTennvarchar(50)12 DiaChinvarchar(20)11 MaThechar(10)
Trang 33RB3 Insert Delete Update
RB4: Mỗi ngân hàng có một mã ngân hàng duy nhất:
Phát biểu hình thức: ∀n1, n2 ∈ NganHang: n1 ≠ n2 => n1.MaNH ≠
Bảng tầm ảnh hưởng:
RB5: Mỗi chi nhánh có một mã chi nhánh duy nhất:
Phát biểu hình thức: : ∀c1, c2 ∈ ChiNhanh: c1 ≠ c2 => c1.MaCN ≠
Trang 34 Phát biểu hình thức: : ∀t1, t2 ∈ TheATM: t1 ≠ t2 => t1.TheATM ≠
Bảng tầm ảnh hưởng:
RB8: Mỗi tài khoản có một mã tài khoản duy nhất:
Phát biểu hình thức: : ∀k1, k2 ∈ TaiKhoan: k1 ≠ k2 => k1.MaTK ≠
RB10: Mỗi lần giao dịch có mã số giao dịch duy nhất:
Phát biểu hình thức: : ∀g1, g2 ∈ GiaoDich: g1 ≠ g2 => g1.MaGD ≠
Bảng tầm ảnh hưởng:
Trang 35RB11: Mỗi chi nhánh chỉ thuộc về một ngân hàng:
Phát biểu hình ảnh:∀c ∈ ChiNhanh, ∃ n ∈ NganHang : c.MaNH =
RB12: Mỗi máy ATM chỉ thuộc về một chi nhánh:
Phát biểu hình ảnh:∀m ∈ MayATM, ∃ c ∈ ChiNhanh : m.MaCN =
RB13: Mỗi tài khoản chỉ thuộc về một ngân hàng:
Phát biểu hình ảnh:∀ k ∈ TaiKhoan, ∃ n ∈ NganHang : k.MaNH =
Trang 36RB14: Mỗi tài khoản chỉ thuộc về một khách hàng:
Phát biểu hình ảnh:∀ k ∈ TaiKhoan, ∃ h ∈ KhachHang : k.SoCMND =
RB15: Một thẻ ATM chỉ thuộc về một tài khoản:
Phát biểu hình ảnh:∀ t ∈ TheATM, ∃ k ∈ TaiKhoan : t.MaTK =
RB16: Mỗi lần giao dịch chỉ thuộc về thẻ ATM:
Phát biểu hình ảnh:∀ g ∈ GiaoDich, ∃ t ∈ TheATM : g.MaThe =
Trang 37CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 4)
Trang 383 SoChoNgoiSố chỗ ngồiChuỗi ký tự4 MaCNMã chi nhánhChuỗi ký tự
Thành phố
STTThuộc tínhMô tảKiểu dữ liệuKhóa
1 MaTPMã số thành phốChuỗi ký tựX2 TenTPTên thành phốChuỗi ký tự
II.MÔ HÌNH QUAN HỆ
II.1.Danh sách các lược đồ quan hệ
1 Thành phố (MaTP, TenTP):2 Chi Nhánh (MaCN, TenCN, MaTP)
3 Xe chở khách(MaXe, HieuXe, SoChoNgoi, MaCN)
4.Tài xế (MaTX, TenTX, SoDT, MaCN, MaXe, GioQĐ, SoNgay, SoGio)
II.2.Sơ đồ quan hệ (Diagram | Relationship)
Trang 39II.3.Đánh giá dạng chuẩn và chuẩn hóa (phân rã lược đồ nếu cần thiết)
1 ThanhPho(MaTP, TenTP)F1=(MaTP → TenTP) Đạt chuẩn BCNF
2 ChiNhanh(MaCN, TenCN, MaTP):F2= (MaCN→ TenCN)
II.4.Lược đồ cơ sở dữ liệu cài đặt
Lần lượt phát biểu tân từ của từng lược đồ quan hệ :
Trang 401 ThanhPho(MaTP, TenTP): Thông tin về thành phố gồm có mã số thành phố và tên thành phố
2 ChiNhanh(MaCN, TenCN, MaTP): Một thành phố chỉ có một chi nhánh Chi nhánh gồm có mã số chi nhánh và tên chi nhánh
3 XeChoKhach(MaXe, HieuXe, SoChoNgoi, MaCN): Một chi nhánh quản lý nhiều xe Xe chở khách gồm có mã số xe, hiệu xe, số chỗ ngồi.
4.TaiXe(MaTX, TenTX, SoDT, MaCN, MaXe, GioQĐ, SoNgay, SoGio): Một chi nhánh có nhiều tài xễ Một xe được phân công cho một tài xế lái vào ngày thánhnăm, giờ quy định và số ngày, số giờ lái Tài xế gồm mã số tài xế, tên tài xế và số điện thoại di động.
- Kiểu dữ liệu của các thuộc tính (sử dụng hệ quản trị CSDL SQL- Server)
Trang 41 Phát biển hình thức: ∀ t ∈ TaiXe : t.SoGio >= 0
RB5: Mỗi chi nhánh có một mã chi nhánh duy nhất:
Phát biểu hình thức: ∀c1, c2 ∈ ChiNhanh: c1 ≠ c2 => c1.MaCN ≠
Bảng tầm ảnh hưởng:
Trang 42RB7: Mỗi tài xế có một mã tài xế duy nhất:
Phát biểu hình thức: ∀ t1, t2 ∈ TaiXe: t1 ≠ t2 => t1.MaTX ≠ t2.MaTX
RB9: Mỗi xe thuộc về một chi nhánh:
Phát biểu hình ảnh:∀ c ∈ ChiNhanh, ∃ x ∈ XeChoKhach : c.MaCN =
Trang 43 Phát biểu hình ảnh:∀ c ∈ ChiNhanh, ∃ t ∈ TaiXe : c.MaCN = t.MaCN
Bảng tầm ảnh hưởng:
RB11: Một xe tài xế được phân công cho một tài xế:
Phát biểu hình ảnh:∀ x ∈ XeChoKhach, ∃ t ∈ TaiXe: x.MaXe = t.MaXe
Bảng tầm ảnh hưởng:
Trang 44CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 5)
TThuộc tínhMô tảKiểu dữ liệuKhóa
STTThuộc tínhMô tảKiểu dữ
liệuKhóa
Trang 452 DienTichSD Diện tích sử
dụng Kiểu số thực3 SoChoLamViec Số chỗ làm việc Kiểu số nguyên
STTThuộc tínhMô tảKiểu dữ
1 SoHD Số hợp đồng Chuỗi ký tự X2 NgayHL Ngày hiệu
lực Datetime 3 NgayTTDau Ngày thanh
toán đầu Datetime
hạn Datetime
TThuộc tínhMô tảKiểu dữ liệuKhóa
3 LyDoTT Lý do thanh toán Chuỗi ký tự
Trang 465 TongTienTT toánTổng tiền thanh Kiểu sốnguyênII MÔ HÌNH QUAN HỆ
1 Danh sách các lược đồ quan hệ
1 CAOOC (MSCO, TenCO, DiaChi, MoTa, TongDT) F1 = (MSCO TenCO, DiaChi, MoTa, TongDT)
Trang 473 Đánh giá dạng chuẩn và chuẩn hóa (phân rã lược đồ nếu cần thiết)
1 CAOOC (MSCO, TenCO, DiaChi, MoTa, TongDT)
2 PHONG (MaPhong, DienTichSD, SoChoLamViec, GiaThue, SoTang,MSCO)3 KHACHHANG (MaKH, TenKH, DiaChi, SDT)
4 HOPDONG (SoHD, NgayHL, NgayTTDau, NgayHH, MaKH )5 CTHOPDONG (SoHD, MaPhong, GiaThue)
6 HOADON (SoHoaDon, NgayTT, LyDoTT, TongTienTT, SoHD)
4 Lược đồ cơ sở dữ liệu cài đặt
-Lần lượt phát biểu tân từ của từng lược đồ quan hệ :
1 CAOOC (MSCO, TenCO, DiaChi, MoTa, TongDT) : Mỗi cao ốc được quản lý bởi một mã số cao ốc, có tên cao ốc, một địa chỉ, mô tả đặc điểm và tổng diện tích sử dụng Mỗi cao ốc có nhiều tầng, mỗi tầng có nhiều phòng.
2 PHONG (MaPhong, DienTichSD, SoChoLamViec, GiaThue,SoTang, MSCO) : Mỗi phòng có các thông tin gồm: mã phòng để phân biệt, diện tích sử dụng, số chỗ làm việc, số tầng và giá thuê không kể chi phí điện.
3 KHACHHANG (MaKH, TenKH, DiaChi, SDT) : Mỗi khách hàng đều có mã khách hàng để phân biệt, tên khách hàng, địa chỉ và số điện thoại liên lạc Khách hàng muốn thuê phòng phải đến để tham khảo phòng, làm hợp đồng với bộ phận quản lý và có thể thuê cùng lúc nhiều phòng.