You might also want to check out Ampersand, which applies relational methods to information systems:
Code: https://github.com/AmpersandTarski/Ampersand
Documentation: https://ampersandtarski.gitbook.io/documentation/https://ampersandtarski.github.io/