# Related-work ledger

Status: provisional author pass

Date: 23 July 2026

This ledger is paper-local. It records what each cited line of work already
establishes, the comparison P6 owes, and the claim boundary. It is not evidence
that CatDB implements any cited capability.

| Area and bibliography keys | Established result or capability | Required P6 comparison | Boundary enforced in the manuscript |
|---|---|---|---|
| Classical IVM: `GuptaMumickSubrahmanian1993`, `GuptaMumick1995` | Insert/delete/update maintenance, broad relational and Datalog fragments, and classification by view, resources, modification, and applicability. | Freeze an admitted CatDB query/change fragment and compare exact normalized output with independent full recomputation. | P6 does not claim to invent IVM or a universal algorithm. |
| Bag and duplicate maintenance: `GriffinLibkin1995` | Algebraic treatment of duplicates and bag changes. | Preserve multiplicity, declare set-support state, and test negative-count diagnostics. | Signed bags and counts are prior art. |
| Self-maintainability: `GuptaJagadishMumick1996` | Selected SPJ views can be maintained without base access when sufficient state and log information exist. | Derive required lookups and auxiliary state per materialization. | P6 never assumes every view is self-maintainable. |
| View adaptation: `GuptaEtAl2001Adapt` | Selected SQL view redefinitions can reuse old materializations and retained information. | Name exact schema/mapping/query adaptation rules, retained-state assumptions, and oracle tests. | Reuse across identity and provenance changes is not inherited from SQL adaptation. |
| View selection: `HarinarayanEtAl1996` | Dependency lattices and cost/space tradeoffs for aggregate materializations. | Compare strategy choices after correctness filtering and account for state/provenance cost. | Materialization selection is not new. |
| Lazy maintenance: `ZhouEtAl2007` | Durable pending tasks, row versions, ordering, recovery, and on-demand catch-up. | Compare eager, lazy, invalidation, and full treatments under the same source history. | Deferred refresh is not new. |
| Stale view cleaning: `KrishnanEtAl2015` | Models missing, incorrect, and superfluous rows and studies approximate repair. | Keep exact, stale, partial, invalid, and approximate results visibly distinct. | Approximation cannot be hidden behind “freshness.” |
| DBToaster: `AhmadEtAl2012` | Higher-order delta/viewlet transforms and costed materialization. | Match query/update fragment, state size, compile time, and batch regime. | Higher-order IVM is not a CatDB contribution. |
| Differential dataflow: `McSherryEtAl2013` | Indexed differences over partially ordered versions and incremental iteration. | State logical-time domain, frontiers, compaction, retained traces, memory, and semantic-change treatment. | Versioned timestamps do not solve schema/mapping invalidation by themselves. |
| Timely dataflow: `MurrayEtAl2013` | A low-latency iterative and incremental dataflow system. | Avoid claiming a new general dataflow substrate. | Naiad is the systems substrate precedent. |
| DBSP: `BudiuEtAl2023` | General algebraic incrementalization for rich queries, compiler/runtime, and machine-checked core theory. | Use as the strongest automatic-IVM baseline and identify the exact nonoverlapping CatDB target. | DBSP's theorem coverage is not CatDB proof evidence. |
| Noria: `GjengsetEtAl2018` | Partial state, shared computation, on-demand reconstruction, and online graph change. | Compare reconstruction, shared-state, and graph-change behavior where reproducibly buildable. | Partial state and reuse are not new. |
| Distributed snapshot: `ChandyLamport1985` | Records a distributed global state under explicit channel assumptions. | Report whether a coordinated protocol exists or expose only a vector frontier. | Independent source cursors are not a global snapshot. |
| Async checkpoints: `CarboneEtAl2015` | Lightweight barrier snapshots for distributed dataflow. | State CatDB topology, channels, durability, and external-system boundary. | Checkpointing is not new. |
| Stream fault tolerance: `AkidauEtAl2013` | Persistent per-key state, watermarks, idempotence, and framework-scoped fault tolerance. | Compare source/sink participation and external effects. | “Exactly once” remains scoped and is not claimed. |
| Kafka delivery and transactions: `KafkaDesign2026` | Atomic Kafka output-topic writes and consumer-offset updates inside participating Kafka transactions. | State whether CatDB output and cursor share that transaction. | No generic cross-system atomicity. |
| PostgreSQL logical capture: `PostgresLogicalDecoding2026`, `PostgresPublication2026`, `PostgresArchitecture2026`, `PostgresRestrictions2026` | Crash/replay behavior, replica identity, initial copy/catch-up, and DDL/relation restrictions. | Implement a version-pinned capture profile, duplicate handling, cutover, schema observation, gap detection, and crash tests. | Documentation is connector prior art, not CatDB evidence. |
| SQLite change capture: `SQLiteSession2026`, `SQLiteUpdateHook2026` | Keyed changesets and explicit limitations of ordinary update hooks. | Test the session extension as a source profile and reject incomplete update-hook capture. | Update hooks are not a general CDC contract. |
| Debezium connector and outbox: `DebeziumPostgres2026`, `DebeziumOutbox2026` | Practical snapshot/stream, offsets, transaction metadata, duplicates, and source-transaction outbox pattern. | Compare emitted evidence, cutover, gap, and downstream idempotence. | The outbox does not solve downstream semantic maintenance. |
| Provenance semirings: `GreenEtAl2007` | Compositional annotations for positive relational algebra. | Inherit P13's exact normalization, retraction, retention, and completeness profile. | Data equality does not imply provenance equality. |
| Product materialized views: `OracleMaterializedViews2026` | Mature refresh and freshness behavior. | Compare explicit modes and status semantics without treating backend documentation as CatDB output. | Product refresh behavior is a baseline, not a CatDB result. |

## Closure checks

- Every BibTeX key in `references.bib` appears in this ledger.
- Every BibTeX entry is cited in `paper.tex`.
- Every source has a corresponding row in `primary-source-bibliography.md`.
- No secondary survey is used as executable CatDB evidence.
- No knowledge-base or coordination artifact is treated as peer review.