Di mana dalam spesifikasi yang relevan didokumentasikan bahwa beberapa komentar dalam skrip SQL, pada kenyataannya, dieksekusi sebagai SQL yang valid (oleh MySQL)?

Itu ada di manual, di bawah "Sintaks Komentar."

http://dev.mysql.com/doc/refman/5.6 /en/comments.html

/*! MySQL-specific code */ 

Dalam hal ini, Server MySQL mem-parsing dan mengeksekusi kode dalam komentar seperti halnya pernyataan SQL lainnya, tetapi server SQL lainnya akan mengabaikan ekstensi.

...

Jika Anda menambahkan nomor versi setelah “!” karakter, sintaks dalam komentar dijalankan hanya jika versi MySQL lebih besar dari atau sama dengan nomor versi yang ditentukan.

Dalam hal prosedur tersimpan, seluruh deklarasi dibungkus, sehingga jika Anda mencoba mengembalikan file dump pada versi server MySQL yang sangat lama sehingga tidak mendukung prosedur tersimpan sama sekali, definisi prosedur akan diabaikan oleh server alih-alih menyebabkan seluruh operasi pemulihan gagal.