In this paper, we discuss a new database-centric approach to provide verifiability in shared DBMSs. The main idea is that we extend the classical ACID properties with a new V(erifiability) component which results in the ACID-V properties.
Similar to the other components in ACID such as isolation, we also specify the guarantees of Verifiability in a declarative manner and let the system decide what optimizations and concrete execution strategies are best suited to meet these guarantees.
We will present our work at POLY on Friday, August 20 around 20:00 h (UTC+2), see the workshop program at https://sites.google.com/view/poly21/program (in UTC-4).
POLY 2021 is co-hosted with VLDB 2021.
- Muhammad El-Hindi (TU Darmstadt)
- Zheguang Zhao (TU Darmstadt)
- Carsten Binnig (TU Darmstadt)