I've determined that the /tmp partition on the server filled up and caused the MariaDB service to fail temporarily.
We recently implemented a new monitor to alert us when this happens but it did not trigger. I'll debug the monitor and correct whatever problems I find there.
Apologies for the disruption. Please let us know if you notice any further problems or if you have any other questions or concerns.