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 algebra was originally developed by [E. F. Codd](https://en.wikipedia.org/wiki/Edgar_F._Codd) working at IBM in the late 1960s as a proposed method by ...