Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
Pipeline Denotational Design: Correct-by-Construction Data Pipelines at Zero Cost
Nikos Karayannidis
Pipeline Denotational Design (PDD) is a design-first methodology for building data pipelines that are correct by construction. As AI agents generate pipeline code at scale, the bot…
cs.DB2026
Grain Theory: Type-Level Granularity Correctness in Data Pipelines
Nikos Karayannidis
Data pipelines fail silently when a transformation changes the grain of the data, the level of detail each element represents, without the designer intending it; fan traps and chas…