Functorial Data Migration Core

An (work in progress) implementation of functorial data migration as described in "Relational Foundations For Functorial Data Migration" by David I. Spivak and Ryan Wisnesky, 2015, https://math.mit.edu/~dspivak/informatics/relfound.pdf

Functorial data migration is a way to express database schemas, migrations between database schemas, and constraints on data migrations using category theory.

This repo provides a representation for schemas and mappings, and some validation checks.

Roadmap

• Represent signatures for categories/schemas and their mappings
• Check that a mapping corresponds to a valid functor (a function from objects to objects and a function from morphisms to paths that preserves source, target and composition)
• Check that a signature corresponds to a finite category (i.e. has no cycles)
• Check that a mapping's object function is a bijection (required for well-behaved Pi migrations)
• Check that a mapping is a discrete op-fibration (required for well-behaved Sigma migrations)

Quick start

You will either need NPM or Yarn installed.

NPM

npm run dev     # run development server
npm run build   # build production assets

Yarn

yarn dev        # run development server
yarn build      # build production assets

Development

We use spago to manage our Purescript dependencies. While this is installed as a dev-dependency in package.json you may want to install it directly to make it easier to manage these dependencies directly.

License

The project is licensed under the terms of the Apache License (Version 2.0).

See LICENSE or http://www.apache.org/licenses/LICENSE-2.0 for details.