Đưa ra các khái niệm mới như: phủ của các phụ htuộc hàm, phủ tương đương, phủ tối thiểu,... trong mô hình dữ liệu dạng khối. Từ các khái niệm đã được định nghĩa, một số tính chất của phụ thuộc hàm, phủ của các phụ thuộc hàm, các dạng chuẩn đã được phát biểu và chứng minh.