1. Phụ thuộc hàm

Công cụ để biểu diễn ràng buộc

Vd: cho Sv(masv, hoten, ngaysinh)

Masv không được trùng nhau

Masv-> hoten, ngaysinh: phụ thuộc hàm

1. Định nghĩa

Cho lược đồ Q(U), U: tập thuộc tính

X, Y íU, kí hiệu X ® Y (X xác định Y, Y phụ thuộc hàm vào X)

Nếu với mọi 2 bộ ti, tj bất kì trên quan hệ Q,

ti.X=tj.X thì ti.Y=tj.Y

VD: sv(masv, hoten, ngaysinh) U= {masv, hoten, ngaysinh}

X, Y ì{masv}, {hoten}, {ngaysinh} , {masv, hoten}, {masv, ngaysinh}, {hoten, ngaysinh}, { masv, hoten, ngaysinh}

2ⁿ-1 tập con

Masv ® hoten