Officially, Red Hat still isn’t saying that MariaDB, instead of Oracle’s MySQL, will be its default database management system in Red Hat Enterprise Linux 7. But off-the-record people close to Red Hat tell a different story.