Svaret viste sig at være meget enkelt. Spring Boot har en DataSource-separatoregenskab, der kan indstilles i filen application.properties:
spring.datasource.separator=^;
Derefter i schema.sql-filen alle ;
sætninger, der ikke er i den lagrede procedure, skal opdateres med den nye separator.
DROP PROCEDURE IF EXISTS `database`.FOO;
CREATE PROCEDURE `database`.FOO()
BEGIN
SELECT * from `database`.employees;
END ^;