数オタのみなさん、
データベースの理論を代数と集合論で記述できますか?