Cú pháp đầu tiên là thừa - WITH CHECK là mặc định cho các ràng buộc mới và ràng buộc cũng được bật theo mặc định.
Cú pháp này được tạo bởi SQL management studio khi tạo tập lệnh sql - Tôi cho rằng đó là một số kiểu dư thừa bổ sung, có thể để đảm bảo ràng buộc được bật ngay cả khi hành vi ràng buộc mặc định cho bảng bị thay đổi.
