On the necessity of model checking NoSQL database schemas when building SaaS applications

2013 International Workshop on Testing the Cloud, TTC 2013 - Proceedings

Volumn , Issue , 2013, Pages 1-6

  Scherzinger, Stefanie ^a   De Almeida, Eduardo Cunha ^b   Ickert, Felipe ^b   Del Fabro, Marcos Didonet ^b  

^a UNIVERSITY OF APPLIED SCIENCES REGENSBURG   (Germany)

^b FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

Model Checking; NoSQL Databases

Indexed keywords

DIRECT IMPACT; NOSQL DATABASE; SCHEMA DESIGN; TREE AUTOMATA THEORY; WEB APPLICATION;

SCALABILITY;

MODEL CHECKING;

EID: 84881260626     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2489295.2489297     Document Type: Conference Paper

References (20)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. D. Agrawal, S. Das, and A. El Abbadi. Data Management in the Cloud: Challenges and Opportunities. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2012.
3. Apache Cassandra. Available on: http://cassandra.apache. org/.
4. Apache HBase. Available on: http://hbase.apache.org/.
5. J. Baker, C. Bond, J. C. Corbett, J. Furman, et al. "Megastore: Providing Scalable, Highly Available Storage for Interactive Services". In Proc. CIDR, pages 223-234, 2011.
6. F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, et al. "Bigtable: A distributed storage system for structured data". In Proc. OSDI, pages 15-15, 2006.
7. H. Comon, M. Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. 2007.
8. C. Curino, Y. Zhang, E. P. C. Jones, and S. Madden. "Schism: a Workload-Driven Approach to Database Replication and Partitioning". PVLDB, 3(1):48-57, 2010.
9. S. Das, D. Agrawal, and A. El Abbadi. "G-Store: A scalable data store for transactional multi key access in the cloud". In Proc. SoCC, pages 163-174, 2010.
10. R. Elmasri, Y.-C. Wu, B. Hojabri, C. Li, and J. Fu. "Conceptual Modeling for Customized XML Schemas". In Proc. ER, pages 429-443, 2002.
11. A. Fuller and M. Wilder. "More 9s Please: Under The Covers of the High Replication Datastore". Google I/O Conference, presentation available on: http://www.google.com/events/io/2011/, May 2011.
12. Google AppEngine. Available on: https:// developers.google.com/appengine/ , June 2013.
13. Google AppEngine Datastore. Available on: https://developers.google.com/ appengine/docs/java/datastore/, June 2013.
14. Hypertable Inc. Available on: http://hypertable.org/.
15. E. P. C. Jones, D. J. Abadi, and S. Madden. "Low overhead concurrency control for partitioned main memory databases". In Proc. SIGMOD, pages 603-614, 2010.
16. M. T. Özsu and P. Valduriez. Principles of Distributed Database Systems, Third Edition. Springer, 2011.
17. J. M. Pujol, G. Siganos, V. Erramilli, and P. Rodriguez. "Scaling online social networks without pains". In Proc. NetDB, 2009.
18. D. Sanderson. Programming Google App Engine. O'Reilly, 2013.
19. J. Sonderman. "How the Huffington Post handles 70+ million comments a year". Article available on: http://www.poynter. org, October 2012.
20. The Huffington Post. Available on: http://www.huffingtonpost.com/theblog/ index/, June 2013.