Thuật toán kiểm tra dạng chuẩn 2
Vào: lược đồ quan hệ Q, tập phụ thuộc hàm F
Ra: khẳng định Q đạt chuẩn 2 hay không đạt chuẩn 2.
Bước 1: Tìm tất cả khóa của Q
Bước 2: Với mỗi khóa K, tìm bao đóng của tất cả tập con thật sự S của K.
Bước 3: Nếu có bao đóng S+ chứa thuộc tính không khóa thì Q không đạt chuẩn 2
Ngược lại thì Q đạt chuẩn 2
» Tin mới nhất:
» Các tin khác: