172 citations · 796 across the 66 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.DB2012
Relational Foundations For Functorial Data Migration
David I. Spivak, Ryan Wisnesky
We study the data transformation capabilities associated with schemas that are presented by directed multi-graphs and path equations. Unlike most approaches which treat graph-based…
cs.DB2012★ 3 cited
Kleisli Database Instances
David I. Spivak
We use monads to relax the atomicity requirement for data in a database. Depending on the choice of monad, the database fields may contain generalized values such as lists or sets…
math.CT2012★ 13 cited
Database queries and constraints via lifting problems
David I. Spivak
Previous work has demonstrated that categories are useful and expressive models for databases. In the present paper we build on that model, showing that certain queries and constra…