Functorial data migration

DOI10.1016/J.IC.2012.05.001zbMATH Open1251.68092DBLPjournals/iandc/Spivak12arXiv1009.1166OpenAlexW1620763508WikidataQ64385911 ScholiaQ64385911MaRDI QIDQ714735FDOQ714735

David I. Spivak

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Abstract: In this paper we present a simple database definition language: that of categories and functors. A database schema is a small category and an instance is a set-valued functor on it. We show that morphisms of schemas induce three "data migration functors", which translate instances from one schema to the other in canonical ways. These functors parameterize projections, unions, and joins over all tables simultaneously and can be used in place of conjunctive and disjunctive queries. We also show how to connect a database and a functional programming language by introducing a functorial connection between the schema and the category of types for that language. We begin the paper with a multitude of examples to motivate the definitions, and near the end we provide a dictionary whereby one can translate database concepts into category-theoretic concepts and vice-versa.

Full work available at URL: https://arxiv.org/abs/1009.1166

Recommendations

• scientific article
• Algebraic data integration
• scientific article; zbMATH DE number 1972792
• Publication:4490753
• Type theoretical databases

zbMATH Keywords

category theorydatabasesadjoint functorsqueriesdata migration

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A category-theoretic account of program modules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A topos foundation for theories of physics: I. Formal languages for physics
• Polynomial functors and polynomial monads
• Title not available (Why is that?)
• Cobordism of symplectic manifolds and asymptotic expansions
• Entity-relationship-attribute designs and sketches
• Polymorphic Abstract Syntax via Grothendieck Construction
• Title not available (Why is that?)
• A categorical approach to database semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Matching lenses
• Deciding type equivalence in a language with singleton kinds
• Title not available (Why is that?)
• Category-theoretic fibration as an abstraction mechanism in information systems
• Functorial data migration

Cited In (14)

• Composing Cagean silence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical foundations of gradient-based learning
• Title not available (Why is that?)
• Functorial data migration
• A database of categories.
• Algebraic Databases
• Database queries and constraints via lifting problems
• Title not available (Why is that?)
• Algebraic data integration
• Title not available (Why is that?)
• Computational category-theoretic rewriting
• Computational Category-Theoretic Rewriting

This page was built for publication: Functorial data migration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714735)