发布于 2026-09-15T00:08:49.647886Z · arXiv
研究形式化证明分块读取与 CDC 日志合并的正确性条件，覆盖 Debezium、Flink CDC 等设计。
来源记录
- pgweb.info_item · ceb54fd833635a43 · 2026-10-03T04:08:55.967155Z
Generalized DBLog 验证快照与日志交接条件 RSS
研究形式化证明分块读取与 CDC 日志合并的正确性条件，覆盖 Debezium、Flink CDC 等设计。