MariaDB Raises $9 Million and Appoints Michael Howard New CEO and Monty Widenius as CTO