Hallo,
das "Einbinden" der SQL-Datei, das Du machen musst, ist sie in MySQL aufrufen.
Dies erfolgt innerhalb MySQL mit
source Bibliothek.sql
siehe http://www.mysql.com/doc/en/Batch_Commands.html.
Wenn Du Dir die Datei Bibliothek.sql ansiehst (mit ganz normalem Texteditor), so wirst Du (so laesst
jedenfalls die Dateiendung vermuten) ganz ordinaere SQL-Befehle.
Gruß Ralf