Interesting

• ​Mentat - Persistent, relational store inspired by Datomic and DataScript.

• ​RocksDB - Persistent Key-Value Store for Flash and RAM Storage.

Links

• ​Stanford DB course​

• ​Algebraic Query Language - Schemas as categories, DB instances as functors, provable data migration as functor composition.