Mục lục:

Lời mở đầu 1

A. Cơ sở lí luận 2

I. Khái quát CSDL2

1.Khái niệm CSDL2

2. Hệ quản trị CSDL3

3. Kiến trúc một HQTCSDL4

II. Một số vấn đề khi thiết kế CSDL5

1. Dư thừa DL5

2. Không nhất quán5

3. Bất thường khi thêm bộ 5

4. Bất thường khi xóa bộ 5

B. Nội dung 6

I. Lược đồ quan hệ6

1. Định nghĩa7

2. Phép tách các lược đồ quan hệ8

3.Chuẩn hóa lược đồ quan hệ8

II. Phụ thuộc hàm8

1. Khái niệm và vai trò của phụ thuộc hàm trong xây dựng CSDL8

1.1. Khái niệm phụ thuộc hàm8

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

b. Một số tính chất của phụ thuộc hàm10

c. Thuật toán Satifies10

1.2. Vai trò của phụ thuộc hàm trong xây dựng CSDL11

2. Các vấn đề liên quan phụ thuộc hàm trong xây dựng CSDL12

2.1 Hệ tiên đề Amstrong.. 12

2.2 Bao đóng13

2.3. Phép tách bảo toàn tập phụ thuộc hàm... 13

3. Các dạng chuẩn và mục đích của nó trong lược đồ quan hệ……14

III . Phụ thuộc đa trị 16

1.Khái niệm và vai trò của phụ thuộc đa trị trong xây dựng CSDL16

1.1. Khái niệm của phụ thuộc đa trị16

1.2. Vai trò của phụ thuộc đa trị trong xây dựng CSDL17

2. Các vấn đề liên quan phụ thuộc đa trị18

2.1. Hệ tiên đề đối với phụ thuộc hàm và phụ thuộc đa trị 18

2.2. Các luật suy diễn bổ sung cho phụ thuộc đa trị18

2.3. Bao đóng của tập phụ thuộc hàm và phụ thuộc đa trị18

2.4. Phép tách không mất thông tin20

2.5. Dạng chuẩn bốn20

C. Kết luận 22