Bài giảng hệ cơ sở dữ liệu chương 5 1 ts lê thị tú kiên

CHƢƠNG 5 Thiết kế CSDL quan hệ mức khái niệm Tiến sĩ Lê Thị Tú Kiên Giới thiệu  Các bước thiết kế CSDL  Tập hợp các yêu cầu và phân tích  Thiết kế khái niệm  Thiết kế logic  Thiết kế vật lí 2 3 N[.]

CHƯƠNG 5 Thiết kế CSDL quan hệ mức khái niệm

Tiến sĩ: Lê Thị Tú Kiên

Giới thiệu

 Các bước thiết kế CSDL

 Tập hợp các yêu cầu và phân tích

 Thiết kế khái niệm

 Thiết kế logic

 Thiết kế vật lí

2

3

Nội dung

 Dư thừa và dị thường dữ liệu

 Phụ thuộc hàm

 Hệ tiên đề Armstrong

 Bao đóng của tập thuộc tính

 Phủ của một tập PTH

 Xác định khóa của lược đồ quan hệ

 Chuẩn hóa lược đồ quan hệ

 Các phép tách lược đồ quan hệ

 Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ

4

Dư thừa và dị thường dữ liệu

5

Dƣ thừa dữ liệu

 NHAN_VIEN_PHONG(MSNV,HO_TEN,NG_SINH,

GIOI_TINH,LUONG,MA_DV,TEN_PHONG,MA_TP)

6

Dị thường dữ liệu

 Dị thường khi thêm bộ

7

Dị thường dữ liệu

 Dị thường khi xóa bộ

8

Dị thường dữ liệu

 Dị thường khi sửa bộ

9

Cách giải quyết dị thường dữ liệu

NHAN_VIEN(MSNV,HO_TEN,NG_SINH,GIOI_TINH,LUONG,MA_DV)

PHONG(MA_DV,TEN_PHONG,MA_TP)

10

Cách giải quyết dị thường dữ liệu

11

Phụ thuộc hàm

12

Định nghĩa phụ thuộc hàm

 Y phụ thuộc hàm vào X trên R(U) nếu:

13

AB  C là PTH

Phụ thuộc hàm suy diễn

14

Bao đóng của tập phụ thuộc hàm

F+={(XY) | F ╞ (XY)}

Nếu F+=F, thì F được gọi là họ phụ thuộc hàm đầy đủ

Ví dụ: Cho F={ACB, DE}, vì F=F+ nên F là tập PTH đầy đủ

15

Hệ tiên đề Armstrong

16

Hệ tiên đề Armstrong

A1 Phản xạ (Reflexivity):

A2 Tăng trưởng (Augmentation)

A3 Bắc cầu (Transitivity)

17

Ví dụ

 Do CA nên theo tiên đề tăng trưởng ta có: BCAB (1)

 Do ABC nên cũng theo tiên đề tăng trưởng ta có: ABABC (2)

 Từ (1) và (2), áp dụng tiên đề bắc cầu ta được: BCABC Suy ra đpcm

18

A1 Phản xạ

Nếu Y  X thì F ╞ (X  Y )

A2 Tăng trưởng

Nếu F ╞ (X  Y ) thì  Z  U, F╞ (XZ  YZ)

A3 Bắc cầu

Nếu F ╞ (X  Y ) và

F ╞ (Y  Z ) thì F ╞ (X Z)

Hệ tiên đề Armstrong mở rộng

 A4 Quy tắc hợp (Union)

{XY, XZ}╞ (XYZ)

 A5 Quy tắc giả bắc cầu (Pseudotransivity)

{XY, WYZ}╞ (WXZ)

 A6 Quy tắc tách (Decomposition)

Nếu XY đúng và Z Y thì XZ đúng

19

Ví dụ

20