On the Necessity of Model Checking NoSQL Database Schemas When Building SaaS Applications

Abstract : The design of the NoSQL schema has a direct impact on the scalability of web applications. Especially for developers with little experience in NoSQL stores, the risks inherent in poor schema design can be incalculable. Worse yet, the issues will only manifest once the application has been deployed, and the growing user base causes highly concurrent writes. In this paper, we present a model checking approach to reveal scalability bottlenecks in NoSQL schemas. Our approach draws on formal methods from tree automata theory to perform a conservative static analysis on both the schema and the expected write-behavior of users. We demonstrate the impact of schema-inherent bottlenecks for a popular NoSQL store, and show how concurrent writes can ultimately lead to a considerable share of failed transactions.
Type de document :
Communication dans un congrès
International Workshop on Testing the Cloud, Jul 2013, Lugano, Switzerland. ACM, 2013, 〈10.1145/2489295.2489297〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01018129
Contributeur : Eduardo Cunha de Almeida <>
Soumis le : jeudi 3 juillet 2014 - 16:29:20
Dernière modification le : jeudi 3 juillet 2014 - 16:30:58
Document(s) archivé(s) le : vendredi 3 octobre 2014 - 11:50:52

Fichier

isstaws13ttc-id2-p-18133-final...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Stefanie Scherzinger, Eduardo Cunha de Almeida, Felipe Ickert, Marcos Didonet del Fabro. On the Necessity of Model Checking NoSQL Database Schemas When Building SaaS Applications. International Workshop on Testing the Cloud, Jul 2013, Lugano, Switzerland. ACM, 2013, 〈10.1145/2489295.2489297〉. 〈hal-01018129〉

Partager

Métriques

Consultations de la notice

231

Téléchargements de fichiers

359