4 papers · 1 filter
Generalized DBLog: A Verified Contract for Interleaving Database Rows with a Change Log
Andreas Andreakis
Change-data capture (CDC) feeds downstream systems like caches, search indexes, and data warehouses from a database's log of committed row changes. When bootstrapping, adding a tab…
Machine-Checked Dual-Write Recovery from a Commit Log
Andreas Andreakis
Applications often need to make related facts durable in two independent systems without a transaction spanning both. If the process crashes after the second system accepts an oper…
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
Andreas Andreakis
DBLog is a change-data-capture (CDC) mechanism for copying a table or selected keys from a source database while continuing to stream new changes from its commit log. It reads a ta…
DBLog: A Watermark Based Change-Data-Capture Framework
Andreas Andreakis, Ioannis Papapanagiotou
It is a commonly observed pattern for applications to utilize multiple heterogeneous databases where each is used to serve a specific need such as storing the canonical form of dat…