Trong chương này, ta đó nhắc lại một số khỏi niệm quan trọng trong mụ hỡnh dữ liệu quan hệ, tập trung vào cỏc khỏi niệm liờn quan đến phụ thuộc hàm, trỡnh bày một số loại phụ thuộc hàm suy rộng, xem xột tổng quan cỏc phương phỏp phỏt hiện cỏc phụ thuộc hàm, phụ thuộc hàm xấp xỉ, phụ thuộc hàm điều kiện trong cơ sở dữ liệu quan hệ.
Bài toỏn phỏt hiện phụ thuộc dữ liệu cú khụng gian tỡm kiếm là hàm mũ theo số thuộc tớnh trong cơ sở dữ liệu. Điều thuận lợi là phần lớn dữ liệu thỏa cỏc phụ thuộc hàm và cỏc phụ thuộc hàm xấp xỉ với một hoặc một vài thuộc tớnh ở vế trỏi. Một số thuật toỏn hiệu quả đó được đề xuất.
Với bài toỏn phỏt hiện cỏc phụ thuộc hàm, ý tưởng thực hiện là xuất phỏt từ cỏc phụ thuộc hàm cú ớt thuộc tớnh ở vế trỏi. Cỏc phụ thuộc hàm đó được phỏt hiện, sau đú, được sử dụng để tỉa bớt cỏc phụ thuộc hàm ứng viờn trong dàn thuộc tớnh nhằm thu hẹp khụng gian tỡm kiếm. Phương phỏp thụng dụng nhất là phương phỏp phõn hoạch và phương phỏp phủ õm.
Cỏc phương phỏp phỏt hiện phụ thuộc hàm cú thể được làm thớch nghi để sử dụng cho bài toỏn phỏt hiện cỏc phụ thuộc hàm suy rộng. Chẳng hạn, cú thể bổ sung thờm phần tớnh độ đo lỗi hoặc độ thỏa để phỏt hiện cỏc phụ thuộc
hàm xấp xỉ; ngoài ra, cú thể sử dụng phương phỏp lấy mẫu để phỏt hiện cỏc phụ thuộc hàm xấp xỉ.
Với bài toỏn phỏt hiện cỏc phụ thuộc hàm điều kiện, một số thuật toỏn
đó được đề xuất. Tuy nhiờn, bài toỏn tỡm một bảng S tối ưu cho một phụ thuộc hàm điều kiện là NP-C và việc tỡm một bảng S tốt khụng phải là cụng việc dễ
dàng. Do đú, việc đề xuất cỏc thuật toỏn đơn giản và hiệu quả hơn là rất cần thiết.
Chương 2.
PHỤ THUỘC HÀM XẤP XỈ VÀ PHỤ THUỘC HÀM ĐIỀU KIỆN
Phụ thuộc hàm (FD: Functional Dependency) là trường hợp riờng của tất cả cỏc loại phụ thuộc hàm suy rộng. Phụ thuộc hàm xấp xỉ (AFD: Approximate Functional Dependency) và phụ thuộc hàm điều kiện (CFD: Conditional Functional Dependency) là hai loại phụ thuộc hàm suy rộng (RFD: Relaxed Functional Dependency) quan trọng, được nhiều nhà khoa học quan tõm nghiờn cứu. Chương này trỡnh bày khỏi quỏt về FD, AFD và CFD cựng một số kết quả cú liờn quan.