|
I execute this SQL script with a Linux MariaDB server running with --lower-case-table-names=0:
DROP FUNCTION IF EXISTS MYSQL.f1;
|
CREATE OR REPLACE DATABASE MYSQL; -- Upper case letters
|
CREATE FUNCTION MYSQL.f1() RETURNS INT RETURN 1;
|
DROP DATABASE MYSQL;
|
SELECT db, name, body FROM mysql.proc WHERE db=BINARY 'MYSQL' AND name='f1';
|
+-------+------+----------+
|
| db | name | body |
|
+-------+------+----------+
|
| MYSQL | f1 | RETURN 1 |
|
+-------+------+----------+
|
The above is wrong: the function still exists after the database was dropped.
|