Database queries and constraints via lifting problems

DOI10.1017/S0960129513000479zbMath1342.68117arXiv1202.2591OpenAlexW3102550479MaRDI QIDQ5740402

David I. Spivak

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (5)

Relational lattices: from databases to universal algebra ⋮ Algebraic data integration ⋮ A diagrammatic view of differential equations in physics ⋮ Unnamed Item ⋮ Fast left Kan extensions using the chase

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized sketches as a framework for completeness theorems. I-III
• Functorial data migration
• Quasi-categories and Kan complexes
• Homotopy theoretic models of identity types
• Update semantics of relational views
• Polynomial functors and polynomial monads
• Higher Topos Theory (AM-170)
• Understanding the small object argument

This page was built for publication: Database queries and constraints via lifting problems