Đầu vào là lược đồ quan hệ R với tập thuộc tính U và tập phụ thuộc hàm F.
Đầu ra: Kiểm tra xem R có dạng chuẩn nào? (Hay kiểm tra xem R có thuộc 1NF? 2NF? 3NF?