This post continues the series from the Adjoint School of Applied Category Theory 2022. It is a summary of the main ideas introduced in this paper: Filippo Bonchi, Dusko Pavlovic and Pawel Sobocinski, ...

This project consists of an Agda definition of relational algebra operations along with a means for communicating with an SQLite database. To see the examples, compile and run example.agda. This ...

The relational model for database management is an approach to managing data using a structure and language consistent with first-order predicate logic, first described in 1969 by Edgar F. Codd, where ...

As data analytics has become an important application for modern data management systems, a new category of data management system has appeared recently: the scalable linear algebra system. We argue ...