La prima sintassi è ridondante:il WITH CHECK
è l'impostazione predefinita per i nuovi vincoli e anche il vincolo è attivato per impostazione predefinita.
Questa sintassi viene generata dallo studio di gestione SQL durante la generazione di script sql:presumo che si tratti di una sorta di ridondanza aggiuntiva, possibilmente per garantire che il vincolo sia abilitato anche se il comportamento del vincolo predefinito per una tabella viene modificato.