ERC Starting Grant · 2016
A Rigorous Approach to Consistency in Cloud Databases
Modern Internet services store data in novel cloud databases, which partition and replicate the data across a large number of machines and a wide geographical span. To achieve high availability and scalability, cloud databases need to maximise the parallelism of data processing. Unfortunately, this leads them to weaken the guarantees they provide about data consistency to applications. The resulting programming models are very challenging to use correctly, and we currently do not have advanced methods and tools that would help programmers in this task. The goal of the project is to develop a synergy of novel reasoning methods, static analysis tools and database implementation techniques…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.