MÔ HÌnh quan hệ nguyên nhân ra đỜi của mô HÌnh quan hệ

4. 
   .
   

Phụ thuộc hàm được ứng dụng trong việc giải quyết các bài toán tìm khóa, tìm phủ tối thiểu và chuẩn hóa cơ sở dữ liệu.

1. 
   KHÁI NIÊM PHỤ THUỘC HÀM
   

• 
  Mỗi máy bay có một giờ khởi hành duy nhất.
  
• 
  Nếu biết phi công, biết ngày giờ khởi hành thì biết được máy bay do phi công ấy lái.
  
• 
  Nếu biết máy bay, biết ngày khởi hành thì biết phi công lái chuyến bay ấy.
  

• 
  MAYBAY xác định GIOKH
  
• 
  {PHICONG,NGAYKH,GIOKH} xác định MABAY
  
• 
  {MAYBAY,NGAYKH} xác định PHICONG
  

• 
  GIOKH phụ thuộc hàm vào MAYBAY
  
• 
  MABAY phụ thuộc hàm vào {PHICONG,NGAYKH,GIOKH}
  
• 
  PHICONG phụ thuộc hàm vào {MAYBAY,NGAYKH}
  

• 
  {MAYBAY} GIOKH
  
• 
  {PHICONG,NGAYKH,GIOKH} MABAY
  
• 
  {MAYBAY,NGAYKH} PHICONG
  

Một cách tổng quát:

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

X, Y là hai tập con của Q⁺={A₁,A₂,…,A_n}.

r là quan hệ trên Q.

t_1,t₂ là hai bộ bất kỳ của r.

(Ta nói X xác định Y hay Y phụ thuộc hàm vào X (X functional determines Y,Y functional dependent on X )

• 
  phụ thuộc hàm X   đúng với mọi quan hệ r
  
• 
  phụ thuộc hàm   Y chỉ đúng trên quan hệ r có cùng giá trị trên Y.
  

2. 
   Phụ thuộc hàm hiển nhiên (Trivial Dependencies)
   

Giả sử t₁.X = t₂.X do X  Y nên t₁.Y = t₂.Y theo định nghĩa suy ra X  Y

Trong trường hợp này X  Y được gọi là phụ thuộc hàm hiển nhiên.

Ví dụ phụ thuộc hàm X  X là phụ thuộc hàm hiển nhiên.

Vậy với r là quan hệ bất kỳ, F là tập phụ thuộc hàm thỏa trên r, ta luôn có F  {các phụ thuộc hàm hiển nhiên}

3. 
   Thuật toán Satifies
   

SATIFIES(r,X,Y)

1. 
   Sắp các bộ của quan hệ r theo X để các giá trị giống nhau trên X nhóm lại với nhau
   
2. 
   Nếu tập các bộ cùng giá trị trên X cho các giá trị trên Y giống nhau thì trả về true ngược lại là False
   

4. 
   Các phụ thuộc hàm có thể có
   
   1. 
      Cách tìm tất cả tập con của Q⁺
      

2. 
   Cách tìm tất cả các phụ thuộc hàm có thể có của Q