Algebraic Model Management: A Survey

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

Patrick Schultz , David I. Spivak , Ryan Wisnesky This is my paper · ORCID

classification cs.LOcs.DBmath.CT

keywords managementmodelalgebraicsurveyapproachdescribefieldspecification

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original abstract

We survey the field of model management and describe a new model management approach based on algebraic specification.

Forward citations

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Grain Theory: Type-Level Granularity Correctness in Data Pipelines
cs.DB 2026-01 reject novelty 3.0 of 10

A formal notion of 'grain' (a minimal identifying type) is defined and used to infer the grain of join results from input grains, claiming compile-time verification of pipeline correctness.