1. Trang chủ
  2. » Luận Văn - Báo Cáo

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

94 0 0
Tài liệu đã được kiểm tra trùng lặp

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Nội dung

Trang 1

Nhóm 21

Đà Lạt 04 – 2022

Trang 2

DANH 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 3

BẢ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 5

6 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 6

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

 DonDatHang(SoDon, NgayThang, SoLuong, MaKH)

Trang 7

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-

8 TenTLNvarchar(20)

10 TenHHNvarchar(20)11 MoTaNvarchar(30)

Trang 8

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

Trang 9

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

Trang 10

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

Trang 11

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

Trang 12

II.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 13

Chi 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 14

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)

F3=(MSTPTenTP;TenTP MSTP)

Đạt chuẩn BCNF

 ChiNhanh (MaCN, TenCN, MSTP)F4=(MaCNTenCN,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 16

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ạ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 20

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

Trang 21

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

Trang 22

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

Trang 23

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

Trang 24

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

Trang 25

RB18: 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 26

RB12 -++

+ -+(SoTra

RB14 -++

RB15 + -+

+ -+(MaTu

-++(MaBus)

Trang 27

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:

Trang 28

I.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 29

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ự

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 30

STT 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 31

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)STTTên thuộc

Trang 32

5 MaATMchar(4)6 TinhTrangnvarchar(15)7 NoiDatnvarchar(20)

9 TenTKnvarchar(20)10 SoCMNDchar(10)11 HoTennvarchar(50)12 DiaChinvarchar(20)11 MaThechar(10)

Trang 33

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 ≠

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

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 =

Trang 36

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 =

Trang 37

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

Trang 38

3 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 39

II.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 40

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

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 =

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 44

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

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

5 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 47

3 Đá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.

Ngày đăng: 27/06/2024, 15:56

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w