Kde je v příslušné specifikaci zdokumentováno, že některé komentáře ve skriptu SQL mají být ve skutečnosti provedeny jako platné SQL (pomocí MySQL)?

Je to v příručce pod "Syntaxe komentáře."

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

/*! MySQL-specific code */ 

V tomto případě MySQL Server analyzuje a spustí kód v komentáři jako jakýkoli jiný SQL příkaz, ale ostatní SQL servery budou přípony ignorovat.

...

Pokud za „!“ přidáte číslo verze znak, syntaxe v komentáři se provede pouze v případě, že verze MySQL je větší nebo rovna zadanému číslu verze.

V případě uložených procedur je celá deklarace zabalena, takže pokud byste se pokusili obnovit soubor výpisu na verzi serveru MySQL, která je tak stará, že vůbec nepodporovala uložené procedury, server by definice procedur ignoroval. místo toho, aby způsobila selhání celé operace obnovy.