Jak się okazuje, phpMyAdmin ma pole oznaczone "delimiter:" poniżej pola zapytania SQL. Użycie go zamiast polecenia rozwiązuje problem. Dalsze badania wyjaśniają, że "DELIMITER" nie jest poleceniem SQL, ale poleceniem ogólnie implementowanym przez wszystkie interfejsy użytkownika SQL.