Show HN: modern relational algebra · HackerTrans