wisnesky

9 ms·

1. 61.▲
   by wisnesky 7y ago

   In CQL ( http://categoricaldata.net ), which generalizes relational theory with category theory, you can annotate schemas with equations and have them checked at runtime, or at compile time with an automated theorem prover (e.g.,
2. 62.▲
   by wisnesky 7y ago

   Category theory can do better than relational database theory: the open-source categorical query language CQL extends SQL with generalizations of abstractions such as schema mappings and queries while supporting automated theorem proving an
3. 63.▲
   by wisnesky 7y ago

   Sure, here is an example that uses sigma to compute an equivalence relation: http://cql.conexus.ai/quotient.php
4. 64.▲
   by wisnesky 7y ago

   Yes, for example the dual of join (called 'sigma'), which only exists for databases in categorical normal form. There are many academic papers and an open-source project ('categorical query language') here: http:/
5. 65.▲
   by wisnesky 7y ago

   David Spivak has a company, http://conexus.ai , that is applying category theory to data migration as described in 7 sketches. It will soon be expanding and soliciting proposals to fund applied category theory start-ups in many
6. 66.▲
   by wisnesky 9y ago

   This line of work has been continued in the FQL project: http://categoricaldata.net/fql.html . The SQL analogy is discussed in the Relational Foundations paper there.
7. 67.▲
   by wisnesky 10y ago

   The FQL project uses ologs for data integration. There are many papers and presentations at http://categoricaldata.net/fql.html .