Paper S38 pagesReviewed manuscript
CatDB: Toward a Compositional Semantic Data Layer
Does the combined evidence support CatDB as a semantic data layer for evolving, integrated, and distributed information systems?
Question and scope
a claim-by-claim synthesis across semantics, migration, integration, execution, distribution, provenance, formalization, and MDReader.
Research artifacts
thesis map, evidence table, dependency graph, limitations, unresolved conjectures, and staged adoption model.
Evidence and evaluation
every synthesis claim links to a paper result, source, proof, experiment, or explicit open status.
Claim boundary
CatDB removes ETL, migration cost, data movement, coordination, or distributed tradeoffs.
Dependencies
- P1: CatDB: A Categorical Semantic Model for Executable Database Schemas
- P2: From Categorical Schemas to Physical Plans
- P3: Schema Migration as a Typed Mapping
- P4: Composable Schema Mappings for Data Integration
- P5: Semantic Query Federation over Heterogeneous Databases
- P6: Incremental Semantic Materialization
- P7: Identity, Equivalence, and Reconciliation
- P8: Bidirectional Schema Mappings and Safe Update Propagation
- P9: Versioned Semantic Workspaces
- P10: Distributed CatDB
- P11: Consistency Models for Distributed Semantic Databases
- P12: Semantic Sharding and Distributed Query Planning
- P13: Provenance as First-Class Execution Semantics
- P14: Cost-Based Planning for Semantic Integration
- P15: A Rust Runtime for Categorical Data Systems
- P16: A Haskell Reference Semantics
- P17: Mechanizing CatDB
- P18: MDReader as a Reference Application