https://acytoo.com/ladder/database-relational-algebra/