CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project develops methods to improve data consistency in cloud databases while maximizing processing parallelism. It combines formal reasoning and static analysis to help programmers ensure application correctness amidst complex data operations.
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 m…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
