search

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608 stars 58 forks source link

Spin out DataMigrations.jl #842

Closed KevinDCarlson closed 1 year ago

KevinDCarlson commented 1 year ago

Insofar as data migration and chase-related stuff is the slowest part of Catlab to test by far, and insofar as the AttrMigr branch can't currently be merged without breaking Catlab compatibility with Julia 1.9, be it resolved: let's have Migrations.jl be a separate package.

Plain Kan extensions (Delta and Sigma) will stay in Catlab, so this is really talking about conjunctive, duc, and gluc migrations. I don't know Kris's stuff well enough to know whether anything around the chase can come with too, but I guess probably not since we want to be able to compute representables inside Catlab.

epatters commented 1 year ago

Agreed, though I would suggest DataMigrations.jl for a package name since it's a bit more descriptive.

KevinDCarlson commented 1 year ago

It's here, need to straighten out mysteries about the CI and write a little bit of docs before releasing 0.0.1 : https://github.com/AlgebraicJulia/AlgebraicDataMigrations.jl/actions/runs/6106046409