Báo Cáo Bài Tập Hoạt Động Nhóm Cơ Sở Dữ Liệu.pdf

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  KhachHangMaKH, Ten, DiaChi, Login, MatKhau, Email Tân từ: Mỗi Khách h

Đà Lạt 04 – 2022

DANH SÁCH NHÓM:

ST

1 Nguyễn Bảo Lâm 2014464 CTK44B Trưởng

nhóm

2 Lâm Ngọc Yến 2015618 CTK44B Thư ký

3 Lý Thị Minh Tâm 2014487 CTK44B Thành viên

4 Nguyễn Lê Vy 2014509 CTK44B Thành viên

5 Võ Hoài Nam 2015608 CTK44B Thà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ÁO Bài 1 4

Bài 2 11

Bài 3 25

Bài 4 34

Bài 5 41

Bài 6 52

Bài 7 62

Bài 8 66

Bài 9 72

Bài 10 78

Tài liệu tham khảo 86

BẢNG PHÂN CÔNG CÔNG VIỆC

được giao Ngày bắt đầu Ngày kết thúc Mức độ hoàn

- 15/04/22: Thu thập ý kiến, hỗ trợ các bạn giải đáp những thắc mắ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)

STT Thuộc tính Mô tả Kiểu dữ liệu Khó a

6 Email Địa chỉ email Chuỗi ký tự

III.

DonHang

STT Thuộc tính Mô tả Kiểu dữ liệu Khó a

HangHoa

STT Thuộc tính Mô tả Kiểu dữ liệu Khó a

IV.

TheLoai

STT Thuộc tính Mô tả Kiểu dữ liệu Khó 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)

V.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)

 TheLoai(MaTL, TenTL)

Tân từ: Mỗi thể loại có mã số thể loại (MaTL) để phân biệt và tên thể loại (TenTL)

 HangHoa(MaHH, TenHH, MoTa, DonGia, TonKho, MaTL, SoDon)

Tân từ: Mỗi hàng hóa có mã hàng hóa (MaHH) là duy nhất, tên hàng hóa (TenHH), mô tả của hàng hóa (MoTa), đơn giá chưa thuế của hàng hóa (DonGia), tình trạng tồn kho (TonKho), mã thể loại của hàng hóa đó (MaTL), số đơn hàng của hàng hóa đó (SoDon)

 DonDatHang(SoDon, NgayThang, SoLuong, MaKH)

Tâ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-

RB2 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

Phá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

Phá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

CẤ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

II Mô Tả chi tiết thực thể:

Người lái STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaNL Mã số người lái Chuỗi ký tự X

2 TenNL Tên người lái Chuỗi ký tự

3 SĐT Số điện thoại người

lái Chuỗi ký tự

Xe Bus STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MSXB Mã số xe bus Chuỗi ký tự X

2 SoXe Số xe Bus Chuỗi ký tự

3 SoChoNgoi Số chỗ ngồi Chuỗi ký tự

1 MSTP Mã số thành phố Chuỗi ký tự X

2 TenTP Tên thành phố Chuỗi ký tự

Chi Nhánh STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaCN Mã số chi nhánh Chuỗi ký tự X

2 TenCN Tên chi nhánh Chuỗi ký tự

Tuyến STT Thuộc tính Mô tả Kiểu dữ

liệu Khó a

1 MaTuyen Mã số tuyến Chuỗi ký tự X

2 TenTuyen Tên tuyến Chuỗ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)

2 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)

 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;

1.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ại 2.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ến 7.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

-Kiểu dữ liệu của các thuộc tính (sử dụng hệ quản trị

RB7: Mỗi Tuyến có một mã số tuyến duy nhất

RB10: Mỗi Tuyến có có liên quan đến một chi nhánh

RB12: Mỗi đợt đón khách có liên quan đến một trạm

RB14: Mỗi Trạm khởi hành trong tuyến có liên quan đến một trạm

RB16: Mỗi Tuyến đi qua có liên quan đến một tuyến

RB18: Mỗi đợt phân công có liên quan đến một người lái

+ - +(SoXe)

(SoChoN goi)

RB4 + - +

(SoTr

+ - + (MaTuye n)

(MaTu yen)

- + + (Ma en)

RB14 - + +

(SoTr

am)

+ - + (Tra mKH )

RB15 + - +

(Tram

KT)

- + + (SoT

(Ma en)

+ - + (MaTu yen)

(MSTP )

- + + (MSTP)

(MaN L)

- + +(MaNL)

(MaBu s)

- + + (MaBus)

CẤ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:

I.2 Mô tả chi tiết tập thực thể:

NganHang

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaNH Mã số ngân hàng Chuỗi ký tự X

2 TenNH Tên ngân hàng String

ChiNhanh

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaCN Mã số chi nhánh Chuỗi ký tự X

2 MaNH Mã số ngân hàng Chuỗi ký tự

3 TenCH Tên chí nhánh Chuỗi ký tự

MayATM

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaATM Mã số máy ATM Chuỗi ký tự X

2 MaCN Mã số chi nhánh Chuỗi ký tự

2 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ự

TaiKhoan

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaTK Mã số tài khoản Chuỗi ký tự X

2 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ự

TheATM

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaThe Mã thẻ ATM Chuỗi ký tự X

2 MaTK Mã số tài khoản Chuỗi ký tự

3 THSD Thời hạn sử dụng Ngày tháng

4 TongTien Tổng số tiền trong

giao dịch trongngày

Số nguyên

STT Thuộc tính Mô tả Kiểu dữ liệu Khóa

1 MaGD Mã số giao dịch Chuỗi ký tự X

2 MaThe Mã thẻ ATM Chuỗi ký tự

3 Ngay GD Ngày giao dịch Ngày tháng

4 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)

F3= (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)

STT Tên thuộc tính Kiểu dữ liệu

2 TenCN nvarchar(20)

4 TenNH nvarchar(20)

RB3 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 ≠

n2.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 ≠

 Phát biểu hình thức: : ∀t1, t2 ∈ TheATM: t1 ≠ t2 => t1.TheATM ≠

t2.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 ≠

g2.MaGD

 Bảng tầm ảnh hưởng:

RB11: 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 =

RB14: 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 =

CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 4)

1 MaCN Mã chi nhánh Chuỗi ký tự X

2 TenCN Tên chi nhánh Chuỗi ký tự

3 SoChoNgoi Số chỗ ngồi Chuỗi ký tự

4 MaCN Mã chi nhánh Chuỗi ký tự

Tài xế

STT Thuộc tính Mô tả Kiểu dữ liệu Khó

a

1 MaTX Mã số tài xế Chuỗi ký tự X

2 TenTX Tên loại mặt

hàng Chuỗi ký tự

3 SoDT Số điện thoại Số nguyên

4 MaXe Mã số xe Chuỗi ký tự

5 GioQĐ giờ quy định Ngày tháng

6 SoNgay Số ngày lái Số nguyên

7 SoGio Số giờ lái Số nguyên

8 MaCN Mã chi nhánh Chuỗi ký tự

Thành phố

STT Thuộc tính Mô tả Kiểu dữ liệu Khó

a

1 MaTP Mã số thành phố Chuỗi ký tự X

2 TenTP Tê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)

II.3 Đánh giá dạng chuẩn và chuẩn hóa (phân rã lược đồ nếu cần thiết)

3 XeChoKhach(MaXe, HieuXe, SoChoNgoi, MaCN)

F3= (MaXe→ HieuXe, SoChoNgoi, MaCN)

4.TaiXe(MaTX, TenTX, SoDT, MaCN, MaXe, GioQĐ, SoNgay, SoGio)F4: (MaTX→ TenTX, SoDT, MaCN, MaXe, GioQĐ, SoNgay, SoGio)

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ệ :

1 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à

 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 ≠

c2.MaCN

 Bảng tầm ảnh hưởng:

RB7: 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 =

 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:

CẤU TRÚC CỦA NỘI DUNG BÁO CÁO (BÀI 5)

T Thuộc tính Mô tả Kiểu dữ liệu Khó a

PHONG

STT Thuộc tính Mô tả Kiểu dữ

liệu Khó a

2 DienTichSD Diện tích sử

dụng Kiểu số thực

3 SoChoLamViec Số chỗ làm việc Kiểu số nguyên

KHACHHANG

STT Thuộc tính Mô tả Kiểu dữ

ó a

HOPDONG ST

1 SoHD Số hợp đồng Chuỗi ký tự X

2 NgayHL Ngày hiệu

lực Datetime

3 NgayTTDau Ngày thanh

toán đầu Datetime

hạn Datetime

HOADON

ST

T Thuộc tính Mô tả Kiểu dữ liệu Khó a

3 LyDoTT Lý do thanh toán Chuỗi ký tự