De eerste syntaxis is overbodig - de WITH CHECK is standaard voor nieuwe beperkingen en de beperking is ook standaard ingeschakeld.
Deze syntaxis wordt gegenereerd door de SQL-beheerstudio bij het genereren van sql-scripts - ik neem aan dat het een soort extra redundantie is, mogelijk om ervoor te zorgen dat de beperking wordt ingeschakeld, zelfs als het standaardbeperkingsgedrag voor een tabel wordt gewijzigd.