TAILIEUCHUNG - Bài giảng Cơ sở dữ liệu: Chương 7 - TS. Nguyễn Quốc Tuấn

Bài giảng Cơ sở dữ liệu: Chương 7 Phụ thuộc hàm và Chuẩn hóa CSDL do TS. Nguyễn Quốc Tuấn biên soạn với các nội dung như: Phụ thuộc hàm, các dạng chuẩn, một số thuật toán chuẩn hóa,! | Phụ thuộc hàm và Chuẩn hóa CSDL Quốc Tuấn Bm. Mạng & HTTT Nội dung Phụ thuộc hàm. Các dạng chuẩn. Một số thuật toán chuẩn hóa. Phụ thuộc hàm (1) Phụ thuộc hàm(PTH) - Functional Dependencies Xét lược đồ quan hệ gồm n thuộc tính R(U), U={A1, A2, , An} PTH giữa hai tập thuộc tính X, Y ⊆ U Ký hiệu: X → Y. ∀r ∈ R, ∀ t1, t2 ∈ r nếu t1[X] = t2[X] thì t1[Y] = t2[Y]. X là vế trái và Y là vế phải của PTH. X → Y được gọi là PTH hiển nhiên nếu Y ⊆ X X → Y được gọi là PTH nguyên tố (Y PTH đầy đủ vào X nếu nếu ∀X' ⊂ X thì X' không → Y Phụ thuộc hàm (2) r ∈R thỏa mãn các PTH gọi là trạng thái hợp lệ của R Nhận xét: Các PTH xuất phát từ các ràng buộc trong thế giới thực. ∀r ∈ R, ∀t ∈ r, t [X] là duy nhất thì X là một khóa của R. Nếu K là một khóa của R thì K xác định hàm tất cả các tập thuộc tính của R. PTH dùng để đánh giá một thiết kế CSDL Bao đóng của tập PTH F là tập PTH trên R Bao đóng của F, ký hiệu F+, gồm F = {MaNV → TenNV, MaPB → {TenPB, TrPhong}, MaNV → MaPB}. ∀r ∈ R thỏa F và MaNV → {TenPB, TrPhong} cũng đúng với r thì MaNV → {TenPB, TrPhong} gọi là được suy diễn từ F. F Tất cả các PTH được suy diễn từ F. F gọi là đầy đủ nếu F = .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.