Tóm tắt:

Mô hình dữ liệu dạng khối là một mở rộng của mô hình dữ liệu quan hệ. Bài báo đưa ra các khái niệm mới về phủ của tập các phụ thuộc hàm, phủ không dư thừa, phủ tối thiểu…và vấn đề tựa chuẩn hóa một lược đồ khối trong mô hình dữ liệu dạng khối. Từ các khái niệm đưa ra, một số tính chất về phủ của tập phụ thuộc hàm và các thuật toán tựa chuẩn hóa được phát biểu và chứng minh.