3 papers
cs.DB2025
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.DB2025
Algebraic Data Integration
Patrick Schultz, Ryan Wisnesky
In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, data…
math.CT2025
Algebraic Databases
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou +1
Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a categ…