là một công cụ dùng để biểu diễn 1 cách hình thwwsccacs ràng buộc toàn vẹn phương pháp biểu diễn này có rất nhiều ưu điểm và là 1 công cụ cực kì quan trọng gắn chặt với lí thuyết thiêt kế csdl

1)DỊNH NGHĨA:cho lược đồ quan hệ Q{A1,A2,...An},X,Y là 2 tập con khác rỗng của Q*,ta nói X xác định Y(hay Y phụ thuộc hàm vào X)nếu với r là 1 quan hệ nào đó trên Q,với mọi t1,t2 thuộc r mà t1.X=t2.X =>t1Y=t2Y,khi đó ta kí hiệu X tiến đến Y

2)cách xác định phụ thuộc hàm cho lược đồ quan hệ

cách duy nhất để xd đúng các phụ thuộc thích hợp cho 1 lược đồ quan hệ là xem xét nội dungtaan từ của lược đồ quan hệ đó

3)MỘT SỐ TÍNH CHÁT CỦA PHỤ THUỘC HÀM-HỆ LUẬT DẪN Armstrong

luật phản xạ ,lụât tăng trưởng,luật bắc cầu,luật hợp ,luật bắc cầu giả ,luật phan rã