A Purely Equational Formalism for Functorial Data Migration.

David I. Spivak Patrick Schultz Ryan Wisnesky

Published in: CoRR (2015)

Keyphrases

data migration
load balancing
distributed database systems
databases
theorem proving
b tree
dynamic content
knowledge representation
equational theories
database
data management
distributed databases
data access