Title:On The Relational Foundations Of Functorial Data Migration

Abstract:We study the data transformation capabilities associated with schemas that are presented by labeled directed graphs and path equivalence constraints. Unlike most approaches which treat graph-based schemas as abbreviations for relational schemas, we treat graph-based schemas as categories. A morphism $M$ between schemas $S$ and $T$, which can be specified graphically as a mapping between graphs, induces three adjoint data migration functors, $\Sigma_M\taking S \to T$, $\Pi_M\taking S \to T$, and $\Delta_M\taking T \to S$. We present an algebraic query language FQL based on these functors, give decidability and complexity results, and present relational query generation algorithms. We prove that FQL is a schema transformation framework in the sense of Alagic and Bernstein, and is thereby suitable for common model management tasks like data warehouse construction and schema evolution. An understanding of category theory is not required for understanding the key ideas of this paper.