Mục lục:

Lời mở đầu 1

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

I. Khái quát CSDL 2

1.Khái niệm CSDL . .2

2. Hệ quản trị CSDL .3

3. Kiến trúc một HQTCSDL .4

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

1. Dư thừa DL . . 5

2. Không nhất quán . 5

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ĩa . 7

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àm . .8

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

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

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

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

c. Thuật toán Satifies .10

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

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

2.1 Hệ tiên đề Amstrong 12

2.2 Bao đóng 13

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 CSDL 16

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 CSDL 17

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 tin . 20

2.5. Dạng chuẩn bốn .20

C. Kết luận 22

[FONT="]

Tài liệu tham khảo:

1. Nhập môn CSDL _ Lê Tiến Vương

2. Hệ CSDL _ Nguyễn Xuân Huy

3. Nguyên lí CSDL và cơ sở tri thức _ Trần Đức Quang

4. Nguyên lí CSDL _ Phạm Kim Anh

Lời nói đầu

Ngày nay, hơn lúc nào hết sự thành công của một cơ quan phụ thuộc vào khả năng thu thập kịp thời, đầy đủ và chính xác những dữ liệu cần thiết, xử lí, quản lí va sử dụng chúng một cách có hiệu quả để phân tích tình hình và đề ra những phương hướng hành động cho tương lai. Mà khi lượng thông tin ngày càng gia tăng nên khối lượng thu thập được cần được lưu trữ, nhưng do không gian lưu trữ có hạn. Nghịch lí này đã làm nảy sinh ra nhu cầu phải xây dựng cơ sở dữ liệu (CSDL) phù hợp. Để có thể quản lí tối ưu kho dữ liệu thì những người sử dụng phải có các công cụ làm đơn giản hoá nhiệm vụ quản lí dữ liệu(DL). Yêu cầu đặt ra cho những người thiết kế là nghiên cứu những tính chất cơ bản để xây dựng cấu trúc CSDL tối ưu nhất. Mà vấn đề phụ thuộc hàm, phụ thuộc đa trị là nguyên nhân cho các vấn đề nảy sinh không đáng có trong thiết kế CSDL nên nghiên cứu về phụ thuộc hàm và phụ thuộc đa trị trong xây dựng CSDL để xây dựng tập các sơ đồ quan hệ cho phép người dùng lưu trữ các thông tin một cách không dư thừa đồng thời cho phép tìm kiếm thông tin một cách dễ dàng.

Mục đích nghiên cứu của đề tài trước hết trang bị thêm kiến thức phục vụ cho thiết kế CSDL đồng thời kiến thức học hỏi được sẽ trở thành một công cụ để sinh viên và những lập trình viên sử dụng cho công việc thiết kế của mình có cái nhìn đúng đắn và mang lại hiệu quả tốt nhất trong xây dựng CSDL. Đối tượng nghiên cứu trong đề tài của em là phụ thuộc hàm, phụ thuộc đa trị và ứng dụng trong xây dựng CSDL. Và khi thiết kế một CSDL quan hệ phải nghiên cứu các tính chất cơ bản cũng như các thuật toán để có thể nhận được những tập sơ đồ phù hợp, tốt nhất cho công việc.

Đề tài được chia làm ba phần lớn:

Phần thứ nhất là cái nhìn tổng quan về CSDL quan hệ là phạm vi nghiên cứu của đề tài.

Phần thứ hai: trình bày nội dung chính của đề tài , trong phần này giúp cho người sử dụng hiểu rõ mục đích và tầm quan trọng của việc thiết kế CSDL và ứng dụng trong thực tế.

Phần cuối cùng là kết luận, qua đề tài để làm tối ưu quá trình xây dựng CSDL và trang bị cho người sử dụng thêm kiến thức cần thiết phục vụ cho ứng dụng ,và tìm hiểu để có những lựa chọn phù hợp nhất cho công việc của mình với mô hình quan hệ nào là tốt nhất.

Qua đề tài nghiên cứu mong rằng sẽ trang bị cho người đọc những kiến thức bổ ích giúp ích cho những ai muốn tìm hiểu về phụ thuộc hàm,phụ thuộc đa trị có thêm những kiến thức mới bổ sung cho quá trình tìm hiểu của mình.

file:///C:/DOCUME%7E1/Root/LOCALS%7E1/Temp/msohtml1/01/clip_image001.gi