The mention of schemas made me wonder if David Spivak's work on functional database migration might be relevant. http://math.mit.edu/~dspivak/informatics/Funct

The mention of schemas made me wonder if David Spivak's work on functional database migration might be relevant. http://math.mit.edu/~dspivak/informatics/FunctorialDataMigration.pdf http://math.mit.edu/~dspivak/informatics/FunctorialDataMigra... Note: requires big brain