MariaDB rachète Clustrix pour ajouter la technologie de base de données distribuée à son portefeuille