Dead database walking: MySQL's creator on why the future belongs to MariaDB