Sintaks pertama berlebihan - WITH CHECK
adalah default untuk batasan baru, dan batasan juga diaktifkan secara default.
Sintaks ini dibuat oleh studio manajemen SQL saat membuat skrip sql -- Saya berasumsi ini semacam redundansi ekstra, mungkin untuk memastikan batasan diaktifkan bahkan jika perilaku batasan default untuk tabel diubah.