Tài liệu trình bày về phụ thuộc hàm và các dạng chuẩn trong cơ sở dữ liệu, bao gồm khái niệm phụ thuộc hàm, kỹ thuật tìm khóa và các thuật toán chuẩn hóa lược đồ quan hệ. Nó cũng giới thiệu hệ tiên đề Armstrong và các luật suy diễn để kiểm tra và tính bao đóng của tập thuộc tính. Các ví dụ áp dụng thuật toán tìm khóa và bài tập liên quan được cung cấp để minh họa quy trình.