MySQL 8.0 and Alibaba's MariaDB Bet