Outil d'optimisation basé sur la programmation par contraintes pour analyser et réduire les ensembles fréquents de données transactionnelles. Il permet d'identifier les motifs les plus pertinents tout en éliminant les redondances, facilitant ainsi l'extraction d'informations clés dans des jeux de données volumineux.

Outil de vérification et de test pour évaluer la cohérence des bases de données relationnelles et distribuées. Il génère des historiques de transactions, les exécute sur des bases de données cibles, puis vérifie leur conformité à des modèles de cohérence comme la causalité, l'isolation instantanée ou la sérialisation. Utilisé principalement dans la recherche académique et l'optimisation des systèmes transactionnels.