... rule) - Ký hiệu F tập phụ thuộc hàm lược đồ quan hệ Q, F = {f1,f2,…,fn}, quy ước ta không quan tâm đến phụ thuộc hàm hiển nhiên Định nghĩa : Phụ thuộc hàm suy diễn logic từ F Phụ thuộc hàm d ... niệm Phụ thuộc hàm Phụ thuộc hàm – Khái niệm • Phụ thuộc hàm công cụ để biểu diễn hình thức RBTV phụ thuộc • Các lý thuyết Phụ thuộc hàm ứng dụng nhiều toán Chuẩn Hóa CSDL • Ký hiệu : X Y : Y phụ ... Y : Y phụ thuộc hàm vào X hay X xác định Y với X, Y tập thuộc tính (trong lược đồ quan hệ) Định nghĩa Phụ thuộc hàm Phụ thuộc hàm – Định nghĩa Cho Q(A1,A2,…,An); X, Y tập Q+; q quan hệ Q; t1,...