7 citations · 13 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DB2022
Consensus-Free Spreadsheet Integration
Brandon Baylor, Eric Daimler, James Hansen +2
We describe a method for merging multiple spreadsheets into one sheet, and/or exchanging data among the sheets, by expressing each sheet's formulae as an algebraic (equational) the…
cs.DB2022
Fast Left Kan Extensions Using The Chase
Joshua Meyers, David I. Spivak, Ryan Wisnesky
We show how computation of left Kan extensions can be reduced to computation of free models of cartesian (finite-limit) theories. We discuss how the standard and parallel chase com…