Pierwsza składnia jest zbędna - WITH CHECK jest domyślnie dla nowych ograniczeń, a ograniczenie jest również domyślnie włączone.
Ta składnia jest generowana przez studio zarządzania SQL podczas generowania skryptów sql — zakładam, że jest to pewna dodatkowa nadmiarowość, prawdopodobnie w celu zapewnienia włączenia ograniczenia, nawet jeśli domyślne zachowanie ograniczenia dla tabeli zostanie zmienione.
