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