Project R-16944

Consistente Verwerking van Transacties onder Gemengde Isolatieniveaus (Onderzoek)

Transacties zijn een belangrijk onderdeel van databank systemen en stellen applicatie ontwikkelaars in staat om een reeks bewerkingen over deze databank te groeperen tot één atomaire eenheid. Om anomalieën te voorkomen handhaven databanken de isolatie-eigenschap, die vereist dat de gehele transactie wordt uitgevoerd zonder invloed van gelijktijdige transacties. Een strikte notie van isolatie is serialiseerbaarheid, die stelt dat elke gelijktijdige uitvoering equivalent moet zijn aan een seriële uitvoering van deze transacties. Omdat serialiseerbaarheid afdwingen een nadelige impact heeft op de prestaties, bieden systemen vaak lagere isolatieniveaus aan als directe afweging tussen correctheidsgaranties en verbeterde prestaties. Hierdoor komt de verantwoordelijkheid i.v.m. de correctheid van gelijktijdige transacties weer bij de applicatie ontwikkelaar te liggen. Een opkomende onderzoekslijn onderzoekt in welke situaties specifieke lagere isolatieniveaus met betere prestaties wél serialiseerbaarheid waarborgen, bekend als het robuustheidsprobleem. Dit project onderzoekt robuustheid onder gemengde allocaties waarbij transacties onder verschillende isolatieniveaus kunnen opereren, evenals robuustheid ten opzichte van toepassingsspecifieke consistentieregels in plaats van serialiseerbaarheid als criterium. Deze scenario's zijn zeer relevant in de praktijk en effenen daarmee de weg voor een radicaal andere benadering om consistente uitvoeringen in databanken te waarborgen.

01 november 2026 - 31 oktober 2029