Algebraic Data Integration

Abstract Our approach to data integration is based on combining techniques from functional programming, category theory and database theory. We present formalism for schema mapping between databases using category-theoretic adjunctions. This leads to a query language...